Home
last modified time | relevance | path

Searched defs:Get_SPARK_Xrefs (Results 1 – 6 of 6) sorted by relevance

/dports/lang/gnat_util/gcc-6-20180516/gcc/ada/
H A Dget_spark_xrefs.adb31 procedure Get_SPARK_Xrefs is subprogram
32 C : Character;
37 Cur_File : Nat;
40 Cur_Scope : Nat;
50 Name_Len : Natural := 0;
54 File_Name : String_Ptr;
75 procedure Get_Name;
80 procedure Skip_EOL;
85 procedure Skip_Spaces;
154 procedure Get_Name is
[all …]
H A Dget_spark_xrefs.ads50 procedure Get_SPARK_Xrefs; argument
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/
H A Dget_spark_xrefs.adb31 procedure Get_SPARK_Xrefs is subprogram
32 C : Character;
37 Cur_File : Nat;
40 Cur_Scope : Nat;
50 Name_Len : Natural := 0;
54 File_Name : String_Ptr;
75 procedure Get_Name;
80 procedure Skip_EOL;
85 procedure Skip_Spaces;
154 procedure Get_Name is
[all …]
H A Dget_spark_xrefs.ads50 procedure Get_SPARK_Xrefs; argument
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/
H A Dget_spark_xrefs.adb31 procedure Get_SPARK_Xrefs is subprogram
32 C : Character;
37 Cur_File : Nat;
40 Cur_Scope : Nat;
50 Name_Len : Natural := 0;
54 File_Name : String_Ptr;
75 procedure Get_Name;
80 procedure Skip_EOL;
85 procedure Skip_Spaces;
154 procedure Get_Name is
[all …]
H A Dget_spark_xrefs.ads50 procedure Get_SPARK_Xrefs; subprogspec