Searched refs:Save_SPARK_Mode (Results 1 – 25 of 60) sorted by last modified time
123
9188 SPARK_Mode := SST.Save_SPARK_Mode;9284 Save_SPARK_Mode => SPARK_Mode,
513 Save_SPARK_Mode : SPARK_Mode_Type; component
15204 * sem.ads (Scope_Stack_Entry): Add Save_SPARK_Mode field
510 Save_SPARK_Mode : SPARK_Mode_Type; component
8925 SPARK_Mode := SST.Save_SPARK_Mode;9000 SST.Save_SPARK_Mode := SPARK_Mode;
8809 SPARK_Mode := SST.Save_SPARK_Mode;8884 SST.Save_SPARK_Mode := SPARK_Mode;
503 Save_SPARK_Mode : SPARK_Mode_Type; component
8621 SPARK_Mode := SST.Save_SPARK_Mode;8696 SST.Save_SPARK_Mode := SPARK_Mode;
504 Save_SPARK_Mode : SPARK_Mode_Type; component
499 Save_SPARK_Mode : SPARK_Mode_Type; component
8588 SPARK_Mode := SST.Save_SPARK_Mode;8663 SST.Save_SPARK_Mode := SPARK_Mode;