Home
last modified time | relevance | path

Searched refs:Corresponding_Aspect (Results 1 – 25 of 204) sorted by relevance

123456789

/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/
H A Dlib-xref-spark_specific.adb237 Context := Corresponding_Aspect (Context);
H A Dcontracts.adb615 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 Dlib-xref-spark_specific.adb237 Context := Corresponding_Aspect (Context);
H A Dsem_prag.adb4800 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 Dlib-xref-spark_specific.adb237 Context := Corresponding_Aspect (Context);
H A Dcontracts.adb615 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 Dlib-xref-spark_specific.adb241 Context := Corresponding_Aspect (Context);
H A Dgen_il-fields.ads122 Corresponding_Aspect,
H A Dsem_prag.adb4928 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 Dlib-xref-spark_specific.adb237 Context := Corresponding_Aspect (Context);
/dports/lang/gcc10/gcc-10.3.0/gcc/ada/
H A Dlib-xref-spark_specific.adb237 Context := Corresponding_Aspect (Context);
H A Dcontracts.adb615 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 Dlib-xref-spark_specific.adb237 Context := Corresponding_Aspect (Context);
/dports/lang/gcc9/gcc-9.4.0/gcc/ada/
H A Dlib-xref-spark_specific.adb237 Context := Corresponding_Aspect (Context);
H A Dcontracts.adb624 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 Dlib-xref-spark_specific.adb237 Context := Corresponding_Aspect (Context);
H A Dcontracts.adb624 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 Dlib-xref-spark_specific.adb237 Context := Corresponding_Aspect (Context);
H A Dcontracts.adb624 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 Dsem_prag.adb295 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 Dsem_prag.adb295 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 Dsem_prag.adb5281 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 Da4g-encl_el.adb2249 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 Dcontracts.adb1976 if Present (Corresponding_Aspect (Prag)) then
1977 Nam := Chars (Identifier (Corresponding_Aspect (Prag)));
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/
H A Dcontracts.adb1976 if Present (Corresponding_Aspect (Prag)) then
1977 Nam := Chars (Identifier (Corresponding_Aspect (Prag)));

123456789