Searched defs:Check_SPARK_Restriction (Results 1 – 6 of 6) sorted by relevance
141 procedure Check_SPARK_Restriction subprogram169 end Check_SPARK_Restriction; argument171 procedure Check_SPARK_Restriction (Msg1, Msg2 : String; N : Node_Id) is subprogram172 Msg_Issued : Boolean;173 Save_Error_Msg_Sloc : Source_Ptr;
271 procedure Check_SPARK_Restriction subprogspec280 procedure Check_SPARK_Restriction (Msg1, Msg2 : String; N : Node_Id); subprogspec
1408 procedure Check_SPARK_Restriction subprogram1413 Msg_Issued : Boolean;1414 Save_Error_Msg_Sloc : Source_Ptr;1415 Onode : constant Node_Id := Original_Node (N);1459 procedure Check_SPARK_Restriction (Msg1, Msg2 : String; N : Node_Id) is subprogram1460 Msg_Issued : Boolean;1461 Save_Error_Msg_Sloc : Source_Ptr;
253 procedure Check_SPARK_Restriction subprogspec262 procedure Check_SPARK_Restriction (Msg1, Msg2 : String; N : Node_Id); subprogspec