Home
last modified time | relevance | path

Searched refs:GS_Node_Kind (Results 1 – 6 of 6) sorted by relevance

/dports/lang/asis/asis-gpl-2016-src/tools/gnatelim/
H A Dasis_ul-global_state-cg-gnatelim.adb116 pragma Assert (Present (N) and then GS_Node_Kind (N) in Callable_Nodes);
167 GS_Node_Kind (J) in
170 GS_Node_Kind (J) in A_Task | A_Task_Entry | A_Protected_Entry
/dports/lang/asis/asis-gpl-2016-src/tools/tool_utils/
H A Dasis_ul-global_state.adb707 return GS_Node_Kind (N) in Callable_Nodes;
742 if GS_Node_Kind (N) = Required_Kins
761 return GS_Node_Kind (N) in Subprogram_Nodes
884 if GS_Node_Kind (N) in Callable_Nodes then
898 if GS_Node_Kind (N) in Subprogram_Nodes
906 if GS_Node_Kind (N) in Subprogram_Nodes then
933 if GS_Node_Kind (N) in Subprogram_Nodes
1369 end GS_Node_Kind;
1395 if GS_Node_Kind (N) in Subprogram_Nodes then
1407 if GS_Node_Kind (N) in Subprogram_Nodes then
[all …]
H A Dasis_ul-global_state-cg.adb626 pragma Assert (GS_Node_Kind (N) in Callable_Nodes);
951 pragma Assert (GS_Node_Kind (N) in Callable_Nodes);
961 pragma Assert (GS_Node_Kind (N) in Callable_Nodes);
963 return GS_Node_Kind (N) = A_Task
994 GS_Node_Kind (N) in Subprogram_Nodes
2010 pragma Assert (GS_Node_Kind (N) in Callable_Nodes);
2043 pragma Assert (GS_Node_Kind (N) in Callable_Nodes);
2053 pragma Assert (GS_Node_Kind (N) = A_Task);
H A Dasis_ul-global_state.ads291 function GS_Node_Kind (N : GS_Node_Id) return GS_Node_Kinds; subprogspec
H A Dasis_ul-global_state-data.adb65 if GS_Node_Kind (Node_Encl_Scope) in Global_Nodes then
/dports/lang/asis/asis-gpl-2016-src/tools/gnatcheck/
H A Dgnatcheck-rules-global.adb344 GS_Node_Kind (SLOC_Node_Lists.Element (Next_Call).Node) in
431 (ASIS_UL.Global_State.GS_Node_Kind (N) = A_Procedure
433 ASIS_UL.Global_State.GS_Node_Kind (N) = A_Function)