Home
last modified time | relevance | path

Searched refs:Expanded_Code (Results 1 – 2 of 2) sorted by relevance

/dports/lang/asis/asis-gpl-2016-src/tools/gnatcheck/
H A Dgnatcheck-rules-traversing.adb74 Expanded_Code : Asis.Element; variable
303 Expanded_Code := Corresponding_Declaration (Element);
306 (Element => Expanded_Code,
310 Expanded_Code := Corresponding_Body (Element);
312 if not Is_Nil (Expanded_Code) then
314 (Element => Expanded_Code,
/dports/lang/asis/asis-gpl-2016-src/tools/tool_utils/
H A Dasis_ul-global_state-cg.adb500 Expanded_Code : Asis.Element; variable
567 Expanded_Code := Corresponding_Declaration (Element);
570 (Element => Expanded_Code,
574 Expanded_Code := Corresponding_Body (Element);
576 if not Is_Nil (Expanded_Code) then
578 (Element => Expanded_Code,
2231 Expanded_Code : Asis.Element; variable
2243 (Element => Expanded_Code,
2247 Expanded_Code := Corresponding_Body (Element);
2249 if not Is_Nil (Expanded_Code) then
[all …]