源码文件
-- { dg-do compile } package body Check1 is function FD (X : access R) return P2 is begin return P2 (X.Disc); end …
ADB 源代码
ADB（Android Debug Bridge）是安卓开发与调试不可或缺的强大工具，支持设备与电脑间的数据传输、命令执行及系统管理。广泛应用于软件测试、应用安装、日志读取等场景，极大提升了开发效率。掌握ADB技术，不仅能够帮助工程师快速定位问题，还能实现复杂操作自动化。本页面汇…
收录资源 410 份
全站深度检索
共匹配 410 份工程资源
· 第 13 / 41 页
源码文件
-- { dg-do compile } -- { dg-options "-gnatwa" } package body return1 is function X_Func (O : access Child) return access Bas…
源码文件
-- { dg-do compile } procedure access1 is protected Objet is procedure p; end Objet; protected body Objet is …
源码文件
-- { dg-do run } with Ada.Containers.Vectors; with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; procedure array3 is ty…
源码文件
-- { dg-do compile } -- { dg-options "-O" } package body Slice2 is function F (I : R1) return R2 is Val : R2; beg…
源码文件
-- { dg-do compile } package body Rep_Clause2 is procedure Assign (From : Data; Offset : Positive; I : Index; To : out Bi…
源码文件
with GNAT.Heap_Sort_G; function sort1 (S : String) return String is Result : String (1 .. S'Length) := S; Temp : Character; …
源码文件
package body prefix1 is Counter : Integer := 2; Table : Arr := (2, 4, 8, 16, 32, 64, 128, 256, 512, 1024); function Func …
源码文件
-- { dg-do compile } with System, Ada.Unchecked_Conversion; procedure alignment3 is type Value_Type (Is_Short : Boolean) i…
源码文件
-- { dg-do compile } -- { dg-options "-O2" } function slice1 (Offset : Integer) return String is Convert : constant String…