Lines Matching defs:P
57 TYPE T IS DELTA <>; argument
58 TYPE T1 IS DELTA <>; argument
61 PROCEDURE P (F2 : T; STR : STRING); subprogspec
63 PROCEDURE P (F2 : T; STR : STRING) IS subprogram
64 SUBTYPE ST IS T RANGE -1.0 .. 1.0; argument
84 "WITH TYPE - " & STR); argument
128 TYPE T IS DELTA <>; argument
129 PROCEDURE P (STR : STRING); subprogspec
131 PROCEDURE P (STR : STRING) IS subprogram
156 FAILED ( "INCORRECT RESULTS FOR IMPLICIT " & argument
243 TYPE T IS DELTA <>; argument
245 PROCEDURE P (STR : STRING); subprogspec
247 PROCEDURE P (STR : STRING) IS subprogram
249 F1 : T;
250 A : ADDRESS := F'ADDRESS;
251 S : INTEGER := F'SIZE;
253 I : INTEGER;
255 B1 : BOOLEAN := T'MACHINE_ROUNDS;
256 B2 : BOOLEAN := T'MACHINE_OVERFLOWS;