+
Point of view
ANONYMOUS_FEATURE_MIXER
class E_REQUIRE
Summary
top
Overview
top
creation features
exported features
start_position: POSITION
effective function
top
header_comment: COMMENT
effective function
top
is_require_else: BOOLEAN
writable attribute
top
Is it a "require else" assertion?
pretty_print
effective procedure
top
short (type: TYPE, client: CLASS_NAME, hide_current: BOOLEAN)
effective procedure
top
collect (type: TYPE)
effective procedure
top
adapt_for (type: TYPE): E_REQUIRE
effective function
top
accept (visitor: E_REQUIRE_VISITOR)
effective procedure
top
Accept to be visited by the visitor.
specialize_in (type: TYPE): E_REQUIRE
effective function
top
specialize_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): E_REQUIRE
effective function
top
specialize_2 (type: TYPE): E_REQUIRE
effective function
top
is_always_true: BOOLEAN
effective function
top
side_effect_free (type: TYPE): BOOLEAN
effective function
top
compile_to_c (type: TYPE)
effective procedure
top
compile_to_jvm (type: TYPE)
effective procedure
top
use_current (type: TYPE): BOOLEAN
effective function
top
has_been_specialized: BOOLEAN
effective function
top
add_parent_require (parent_require: E_REQUIRE): E_REQUIRE
effective function
top
Add parent_require to Current only if it is really new code (i.e. using start_position to decide.).