+
Point of view
All features
class PERL
- current_is_not_an_expanded_type
- is_real_singleton
read_variable (variable_name:
STRING)
effective procedure
require
ensure
-
commutative: generating_type = other.generating_type implies Result = other.is_equal(Current)
ensure
-
assertion_check_only: Result
current_is_not_an_expanded_type:
BOOLEAN
effective function
{}