/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/ |
H A D | lib-xref-spark_specific.adb | 237 Context := Corresponding_Aspect (Context);
|
H A D | contracts.adb | 615 and then Present (Corresponding_Aspect (Prag)) 620 Expr => Expression (Corresponding_Aspect (Prag)), 2405 and then Present (Corresponding_Aspect (Prag)) 2410 Expr => Expression (Corresponding_Aspect (Prag)),
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/ |
H A D | lib-xref-spark_specific.adb | 237 Context := Corresponding_Aspect (Context);
|
H A D | sem_prag.adb | 4800 Corresponding_Aspect (N)); 18939 (Entity (Corresponding_Aspect (N)), N); 29481 if Present (Corresponding_Aspect (Prag)) then 29482 Nam := Chars (Identifier (Corresponding_Aspect (Prag))); 29925 Corresponding_Aspect (Prag), Spec_Id); 30713 elsif Present (Corresponding_Aspect (Prag)) then 30714 return Parent (Corresponding_Aspect (Prag)); 30801 elsif Present (Corresponding_Aspect (Prag)) then 30802 return Parent (Corresponding_Aspect (Prag)); 30829 return Corresponding_Aspect (Prag); [all …]
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/ |
H A D | lib-xref-spark_specific.adb | 237 Context := Corresponding_Aspect (Context);
|
H A D | contracts.adb | 615 and then Present (Corresponding_Aspect (Prag)) 620 Expr => Expression (Corresponding_Aspect (Prag)), 2405 and then Present (Corresponding_Aspect (Prag)) 2410 Expr => Expression (Corresponding_Aspect (Prag)),
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/ |
H A D | lib-xref-spark_specific.adb | 241 Context := Corresponding_Aspect (Context);
|
H A D | gen_il-fields.ads | 122 Corresponding_Aspect,
|
H A D | sem_prag.adb | 4928 Corresponding_Aspect (N)); 19232 (Entity (Corresponding_Aspect (N)), N); 29803 if Present (Corresponding_Aspect (Prag)) then 29804 Nam := Chars (Identifier (Corresponding_Aspect (Prag))); 30247 Corresponding_Aspect (Prag), Spec_Id); 31051 elsif Present (Corresponding_Aspect (Prag)) then 31052 return Parent (Corresponding_Aspect (Prag)); 31139 elsif Present (Corresponding_Aspect (Prag)) then 31140 return Parent (Corresponding_Aspect (Prag)); 31167 return Corresponding_Aspect (Prag); [all …]
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/ |
H A D | lib-xref-spark_specific.adb | 237 Context := Corresponding_Aspect (Context);
|
/dports/lang/gcc10/gcc-10.3.0/gcc/ada/ |
H A D | lib-xref-spark_specific.adb | 237 Context := Corresponding_Aspect (Context);
|
H A D | contracts.adb | 615 and then Present (Corresponding_Aspect (Prag)) 620 Expr => Expression (Corresponding_Aspect (Prag)), 2405 and then Present (Corresponding_Aspect (Prag)) 2410 Expr => Expression (Corresponding_Aspect (Prag)),
|
/dports/lang/gcc11/gcc-11.2.0/gcc/ada/ |
H A D | lib-xref-spark_specific.adb | 237 Context := Corresponding_Aspect (Context);
|
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/ |
H A D | lib-xref-spark_specific.adb | 237 Context := Corresponding_Aspect (Context);
|
H A D | contracts.adb | 624 and then Present (Corresponding_Aspect (Prag)) 629 Expr => Expression (Corresponding_Aspect (Prag)), 2889 and then Present (Corresponding_Aspect (Prag)) 2894 Expr => Expression (Corresponding_Aspect (Prag)),
|
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/ada/ |
H A D | lib-xref-spark_specific.adb | 237 Context := Corresponding_Aspect (Context);
|
H A D | contracts.adb | 624 and then Present (Corresponding_Aspect (Prag)) 629 Expr => Expression (Corresponding_Aspect (Prag)), 2889 and then Present (Corresponding_Aspect (Prag)) 2894 Expr => Expression (Corresponding_Aspect (Prag)),
|
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/ada/ |
H A D | lib-xref-spark_specific.adb | 237 Context := Corresponding_Aspect (Context);
|
H A D | contracts.adb | 624 and then Present (Corresponding_Aspect (Prag)) 629 Expr => Expression (Corresponding_Aspect (Prag)), 2889 and then Present (Corresponding_Aspect (Prag)) 2894 Expr => Expression (Corresponding_Aspect (Prag)),
|
/dports/lang/gcc48/gcc-4.8.5/gcc/ada/ |
H A D | sem_prag.adb | 295 and then Present (Corresponding_Aspect (N)) 298 (Expression (Corresponding_Aspect (N)), Standard_Boolean); 399 Chars (Identifier (Corresponding_Aspect (N))); 406 Corresponding_Aspect (N)); 1560 and then Present (Corresponding_Aspect (N)) 2341 and then Present (Corresponding_Aspect (N)) 6657 if Present (Corresponding_Aspect (N)) then 6658 Pname := Chars (Identifier (Corresponding_Aspect (N))); 6968 Par := Parent (Corresponding_Aspect (N)); 10367 Subp := Parent (Corresponding_Aspect (N)); [all …]
|
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/ada/ |
H A D | sem_prag.adb | 295 and then Present (Corresponding_Aspect (N)) 298 (Expression (Corresponding_Aspect (N)), Standard_Boolean); 399 Chars (Identifier (Corresponding_Aspect (N))); 406 Corresponding_Aspect (N)); 1560 and then Present (Corresponding_Aspect (N)) 2341 and then Present (Corresponding_Aspect (N)) 6657 if Present (Corresponding_Aspect (N)) then 6658 Pname := Chars (Identifier (Corresponding_Aspect (N))); 6968 Par := Parent (Corresponding_Aspect (N)); 10367 Subp := Parent (Corresponding_Aspect (N)); [all …]
|
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ada/ |
H A D | sem_prag.adb | 5281 if Present (Corresponding_Aspect (Prag)) then 5283 (Expression (Corresponding_Aspect (Prag)), 5474 if ASIS_Mode and then Present (Corresponding_Aspect (N)) then 16365 (Entity (Corresponding_Aspect (N)), N); 21667 if ASIS_Mode and then Present (Corresponding_Aspect (Prag)) then 21668 Expr := Expression (Corresponding_Aspect (Prag)); 21793 Corresponding_Aspect (Prag)); 21807 Corresponding_Aspect (Prag)); 24916 Expr := Expression (Corresponding_Aspect (N)); 25383 if Present (Corresponding_Aspect (Prag)) then [all …]
|
/dports/lang/asis/asis-gpl-2016-src/asis/ |
H A D | a4g-encl_el.adb | 2249 Tmp := Corresponding_Aspect (Tmp); 4182 Result_Node := Corresponding_Aspect (Result_Node); 4208 Result_Node := Corresponding_Aspect (Result_Node);
|
/dports/lang/gnat_util/gcc-6-20180516/gcc/ada/ |
H A D | contracts.adb | 1976 if Present (Corresponding_Aspect (Prag)) then 1977 Nam := Chars (Identifier (Corresponding_Aspect (Prag)));
|
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/ |
H A D | contracts.adb | 1976 if Present (Corresponding_Aspect (Prag)) then 1977 Nam := Chars (Identifier (Corresponding_Aspect (Prag)));
|