源码文件
-- { dg-do run } with dispatch2_p; use dispatch2_p; procedure dispatch2 is Obj : Object_Ptr := new Object; begin if Obj.Ge…
ADB 源代码
ADB（Android Debug Bridge）是安卓开发与调试不可或缺的强大工具，支持设备与电脑间的数据传输、命令执行及系统管理。广泛应用于软件测试、应用安装、日志读取等场景，极大提升了开发效率。掌握ADB技术，不仅能够帮助工程师快速定位问题，还能实现复杂操作自动化。本页面汇…
收录资源 410 份
全站深度检索
共匹配 410 份工程资源
· 第 9 / 41 页
源码文件
-- { dg-do compile } -- { dg-options "-O3" } package body Loop_Optimization1 is procedure Create (A : in out D; Val : Integer…
源码文件
-- { dg-do compile } with controlled1; use controlled1; package body controlled2 is procedure Test_Suite is begin Ad…
源码文件
-- { dg-do run } procedure interface2 is package Types is type Iface is synchronized interface; type Any_Iface is ac…
源码文件
-- { dg-do run } -- { dg-options "-gnatws" } pragma Assertion_Policy (Check); with Text_IO; use Text_IO; procedure assert1 is …
源码文件
-- { dg-do run } procedure interface3 is -- package Pkg is type Foo is interface; subtype Element_Type is Foo'Cl…
源码文件
-- { dg-do run } -- { dg-options "-O2 -gnatp" } procedure Bit_Packed_Array3 is type Bitmap_T is array (1 .. 10) of Boolean; …
源码文件
-- { dg-do run } procedure Slice4 is type Varray is array (1 .. 1) of Natural; -- SImode type Rec is record Values…
源码文件
-- { dg-do run } -- { dg-options "-gnatws" } procedure alignment1 is type My_Integer is record Element : Integer; end re…
源码文件
with System; package body addr1 is task type T is entry Send (Location : System.Address); end; task body T is be…