+
Point of view
All features
deferred class SINGLETON
- Direct parents
- Insert list: ANY
- Known children
- Insert list: CGI, EDC_FIELD_OPTION_MANDATORY, EDC_FIELD_OPTION_PRIMARY_KEY, EDC_QUERY_OPTION_DEFAULT, EDC_QUERY_OPTION_FOR_UPDATE, GNU_GET_TEXT, LOG_INTERNAL_CONF, NCURSES, PERL, STANDARD_STREAMS, WAITPID_INPUT, WAITPID_JOB, WEB_TEMPLATE_PARSER, XML_DTD_PARSER
is_equal (other: SINGLETON):
BOOLEAN
effective function
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
{}