Lines Matching refs:SYSTEM
37 WITH SYSTEM;
42 CHECK_ADDRESS : SYSTEM.ADDRESS;
43 CHECK_NAME : SYSTEM.NAME := SYSTEM.SYSTEM_NAME;
44 CHECK_PRIORITY : SYSTEM.PRIORITY;
47 SMALL : CONSTANT := SYSTEM.MIN_INT;
48 LARGE : CONSTANT := SYSTEM.MAX_INT;
49 MEM : CONSTANT := SYSTEM.MEMORY_SIZE;
58 I := SYSTEM.STORAGE_UNIT;
59 I := SYSTEM.MAX_DIGITS;
60 I := SYSTEM.MAX_MANTISSA;
61 F := SYSTEM.FINE_DELTA;
62 F := SYSTEM.TICK;