Searched refs:Is_Off_Or_Not_Specified (Results 1 – 7 of 7) sorted by relevance
1470 Is_Off_Or_Not_Specified); literal10212 SM : Extended_SPARK_Mode := Is_Off_Or_Not_Specified;10254 SM : Extended_SPARK_Mode := Is_Off_Or_Not_Specified;10761 Rec.SM := Is_Off_Or_Not_Specified;11464 return Is_Off_Or_Not_Specified;
1470 Is_Off_Or_Not_Specified); literal10254 SM : Extended_SPARK_Mode := Is_Off_Or_Not_Specified;10296 SM : Extended_SPARK_Mode := Is_Off_Or_Not_Specified;10803 Rec.SM := Is_Off_Or_Not_Specified;11503 return Is_Off_Or_Not_Specified;
1470 Is_Off_Or_Not_Specified); literal10263 SM : Extended_SPARK_Mode := Is_Off_Or_Not_Specified;10305 SM : Extended_SPARK_Mode := Is_Off_Or_Not_Specified;10812 Rec.SM := Is_Off_Or_Not_Specified;11512 return Is_Off_Or_Not_Specified;