+
Point of view
ASSERTION_LIST
class CHECK_INVARIANT
Summary
top
Class invariant
top
Overview
top
creation features
exported features
compile_to_c (type: TYPE)
effective procedure
top
accept (visitor: CHECK_INVARIANT_VISITOR)
effective procedure
top
Accept to be visited by the visitor.
pretty (indent_level: INTEGER_32)
effective procedure
top
start_position: POSITION
writable attribute
top
The position of the first letter of name.
header_comment: COMMENT
writable attribute
top
specialize_in (type: TYPE): CHECK_INVARIANT
frozen
effective function
top
specialize_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): CHECK_INVARIANT
frozen
effective function
top
specialize_2 (type: TYPE): CHECK_INVARIANT
frozen
effective function
top
has_been_specialized: BOOLEAN
frozen
effective function
top
side_effect_free (type: TYPE): BOOLEAN
frozen
effective function
top
is_always_true: BOOLEAN
frozen
effective function
top
collect (type: TYPE)
frozen
effective procedure
top
safety_check (type: TYPE)
frozen
effective procedure
top
simplify (type: TYPE): CHECK_INVARIANT
frozen
effective function
top
This function should never be called (compile_to_* never gets called for assertions that are not used in the current check mode, and assertions that are usedothers should not get simplified).
adapt_for (type: TYPE): CHECK_INVARIANT
frozen
effective function
top
compile_to_jvm (type: TYPE, last_chance: BOOLEAN)
frozen
effective procedure
top
If last_chance is True, an error message is printed at run-time.
use_current (type: TYPE): BOOLEAN
frozen
effective function
top
is_empty: BOOLEAN
effective function
top
set_header_comment (hc: COMMENT)
effective procedure
top
writable attribute
top
has_assertion_located_at (sp: POSITION): BOOLEAN
effective function
top
Is there already the source code of the assertion located at sp ?
set_list (l: FAST_ARRAY[ASSERTION])
effective procedure
top
append (other: ASSERTION_LIST)
effective procedure
top