源码文件
-- { dg-do compile } -- { dg-options "-gnatws" } with elab1; procedure elab2 is A : elab1.My_Rec; begin null; end;
ADB 源代码
ADB（Android Debug Bridge）是安卓开发与调试不可或缺的强大工具，支持设备与电脑间的数据传输、命令执行及系统管理。广泛应用于软件测试、应用安装、日志读取等场景，极大提升了开发效率。掌握ADB技术，不仅能够帮助工程师快速定位问题，还能实现复杂操作自动化。本页面汇…
收录资源 410 份
全站深度检索
共匹配 410 份工程资源
· 第 8 / 41 页
源码文件
-- { dg-do compile } -- { dg-options "-O -gnatws" } package body Opt1 is function De_Linear_Index (Index : Natural…
源码文件
-- { dg-do compile } -- { dg-options "-O" } with System, Ada.Unchecked_Conversion; with System.Storage_Elements; use System.S…
源码文件
-- { dg-do compile } -- { dg-options "-gnatwu" } with Ada.Command_Line; use Ada.Command_Line; with Text_IO; use Text_IO; proced…
源码文件
-- { dg-do run } with GNAT.Sockets; use GNAT.Sockets; procedure socket1 is X : Character; begin X := 'x'; GNAT.Sockets.I…
源码文件
-- { dg-do run } procedure mutable1 is type Object (Valid : Boolean := False) is record case Valid is …
源码文件
-- { dg-do run } -- { dg-options "-gnatws" } with Text_IO; procedure renaming2 is type RealNodeData; type RefRealNodeDa…
源码文件
-- { dg-do compile } with Unchecked_Conversion; procedure warn2 is type R1 is record X : Integer; end record; type R2 is r…
源码文件
-- { dg-do compile } -- { dg-options "-gnatws" } procedure aggr4 is type Byte is range 0 .. 2**8 - 1; for Byte'Size use 8…
源码文件
-- { dg-do compile } procedure str1 is Str : constant string := "--"; generic package Gen is procedure P; end …