-- { dg-do run } with GNAT.Sockets; use GNAT.Sockets; procedure socket2 is X : Character; begin X := 'x'; GNAT.Sockets.…
ADB 源代码
ADB(Android Debug Bridge)是安卓开发与调试不可或缺的强大工具,支持设备与电脑间的数据传输、命令执行及系统管理。广泛应用于软件测试、应用安装、日志读取等场景,极大提升了开发效率。掌握ADB技术,不仅能够帮助工程师快速定位问题,还能实现复杂操作自动化。本页面汇…
-- { dg-do run } -- { dg-options "-gnatws" } with Ada.Unchecked_Conversion; procedure Unchecked_Convert1 is type Byte is mod 2…
-- { dg-do compile } -- { dg-options "-gnatws" } package body volatile2 is procedure Copy is R : Result; M : Integer…
-- { dg-do compile } procedure Discr7 is subtype Index is Natural range 0..5; type BitString is array(Index range ) of Boole…
-- { dg-do compile } procedure Discr_Test2 is type Ptr is access all integer; type Ar is array (Integer range ) of Ptr; …
-- { dg-do compile } with System; with Unchecked_Conversion; procedure Warn5 is type Digit_Type is range 0..15; type Frequ…
-- { dg-do compile } with equal1; procedure test_equal1 is subtype Boolean_T is Boolean; function "=" (L, R : in equal1.Basic…
-- { dg-do run } procedure alignment2 is pragma COMPONENT_ALIGNMENT(STORAGE_UNIT); MAX_LIST_SIZE : constant INTEGER…
-- { dg-do run } -- { dg-options "-gnatws" } procedure discr4 is package Pkg is type Rec_Comp (D : access Integer) is …
-- { dg-do run } -- { dg-options "-gnatVi" } procedure valid1 is type m is range 0 .. 10; for m'size use 8; type r…