ARM+ADS 源代码

with controlled3; use controlled3; package controlled4 is procedure Test_Suite; end;

with Discr8_Pkg1; use Discr8_Pkg1; package Discr8 is type Tag_T is (Tag_One, Tag_Two); type Local_T (Tag : Tag_T := Tag_One…

package Check1 is type Arr is array (Integer range ) of Integer; type P2 is access all Arr; type R (Disc : access Arr) is…

function sort1 (S : String) return String; pragma Pure (sort1);

with controlled1; use controlled1; package controlled2 is procedure Test_Suite; end controlled2;

with Text_IO; package renaming1 is procedure Fo (A : Text_IO.File_Access); end;

package discr2 is procedure Dummy; end discr2;

with System; package NAT1 is Nat_One_Storage : constant Natural := 1; One_Address : constant System.Address := Nat_…

package Discr8_Pkg3 is function Value return Natural; end Discr8_Pkg3;

package prefix1 is type Arr is array (1..10) of Natural; type T is tagged null record; function Func (Object : T) return …