Lines Matching defs:P
53 TYPE T IS DIGITS <>; argument
54 TYPE T1 IS DIGITS <>; argument
57 PROCEDURE P (F2 : T; STR : STRING); subprogspec
59 PROCEDURE P (F2 : T; STR : STRING) IS subprogram
60 SUBTYPE ST IS T RANGE -1.0 .. 1.0; argument
80 "WITH TYPE - " & STR); argument
124 TYPE T IS DIGITS <>; argument
125 PROCEDURE P (STR : STRING); subprogspec
127 PROCEDURE P (STR : STRING) IS subprogram
129 TYPE FIXED IS DELTA 0.1 RANGE -100.0 .. 100.0; argument
153 FAILED ( "INCORRECT RESULTS FOR IMPLICIT " & argument
240 TYPE T IS DIGITS <>; argument
243 PROCEDURE P (STR : STRING); subprogspec
245 PROCEDURE P (STR : STRING) IS subprogram
247 F1 : T;
248 A : ADDRESS := F'ADDRESS;
249 S : INTEGER := F'SIZE;
251 I : INTEGER;
252 I1 : INTEGER := T'MACHINE_RADIX;
276 END P; argument