Searched defs:Get_SPARK_Xrefs (Results 1 – 6 of 6) sorted by relevance
31 procedure Get_SPARK_Xrefs is subprogram32 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 …]
50 procedure Get_SPARK_Xrefs; argument
50 procedure Get_SPARK_Xrefs; subprogspec