Home
last modified time | relevance | path

Searched refs:Is_Past_Scope_Entity (Results 1 – 5 of 5) sorted by last modified time

/dports/lang/gnat_util/gcc-6-20180516/gcc/ada/
H A Dlib-xref-spark_specific.adb476 function Is_Past_Scope_Entity return Boolean; subprogspec
484 function Is_Past_Scope_Entity return Boolean is subprogram
493 end Is_Past_Scope_Entity;
508 pragma Assert (not Is_Past_Scope_Entity);
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/
H A Dlib-xref-spark_specific.adb476 function Is_Past_Scope_Entity return Boolean; subprogspec
484 function Is_Past_Scope_Entity return Boolean is subprogram
493 end Is_Past_Scope_Entity;
508 pragma Assert (not Is_Past_Scope_Entity);
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/
H A Dlib-xref-spark_specific.adb474 function Is_Past_Scope_Entity return Boolean; subprogspec
482 function Is_Past_Scope_Entity return Boolean is subprogram
497 end Is_Past_Scope_Entity;
512 pragma Assert (not Is_Past_Scope_Entity);
/dports/lang/gcc48/gcc-4.8.5/gcc/ada/
H A Dlib-xref-alfa.adb486 function Is_Past_Scope_Entity return Boolean; subprogspec
494 function Is_Past_Scope_Entity return Boolean is subprogram
509 end Is_Past_Scope_Entity;
524 pragma Assert (not Is_Past_Scope_Entity);
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/ada/
H A Dlib-xref-alfa.adb486 function Is_Past_Scope_Entity return Boolean; subprogspec
494 function Is_Past_Scope_Entity return Boolean is subprogram
509 end Is_Past_Scope_Entity;
524 pragma Assert (not Is_Past_Scope_Entity);