Searched refs:Is_Subprogram_Contract_Annotation (Results 1 – 25 of 94) sorted by path
1234
7372 (Is_Subprogram_Contract_Annotation): New routine.7377 (Is_Subprogram_Contract_Annotation): New routine.
15709 pragma Assert (Is_Subprogram_Contract_Annotation (Prag));
2531 if Is_Subprogram_Contract_Annotation (Item) then2545 and then Is_Subprogram_Contract_Annotation (Item)
13216 Is_Subprogram_Contract_Annotation (Item);16642 function Is_Subprogram_Contract_Annotation subprogram16669 end Is_Subprogram_Contract_Annotation;
1914 function Is_Subprogram_Contract_Annotation (Item : Node_Id) return Boolean; subprogspec
16159 pragma Assert (Is_Subprogram_Contract_Annotation (Prag));
2543 if Is_Subprogram_Contract_Annotation (Item) then2557 and then Is_Subprogram_Contract_Annotation (Item)
14265 Is_Subprogram_Contract_Annotation (Item);17953 function Is_Subprogram_Contract_Annotation subprogram17980 end Is_Subprogram_Contract_Annotation;
2001 function Is_Subprogram_Contract_Annotation (Item : Node_Id) return Boolean; subprogspec
13241 Is_Subprogram_Contract_Annotation (Item);16667 function Is_Subprogram_Contract_Annotation subprogram16694 end Is_Subprogram_Contract_Annotation;
1933 function Is_Subprogram_Contract_Annotation (Item : Node_Id) return Boolean; subprogspec