+
Point of view
All features
expanded class PLATFORM
- Direct parents
- insert list: ANY
- Known children
- insert list: BENCHMARK, BINARY_FILE_READ, BIT_STRING, CHARACTER, DECORATION, EVENTS_SET, HASH_TABLE_SIZE, HIERARCHIC_GRAPH_NODE, INTEGER_GENERAL, JOB, LOOP_ITEM, MUTABLE_BIG_INTEGER, NUMBER, PROCESS_GROUP_POSIX, STRING, STRING_RECYCLING_POOL
ensure
-
meaningful: Result >= 127
ensure
-
meaningful: Result <= 0.0
ensure
-
integer_definition: Result = 32