deferred class IF_SUPPORT
Summary
Class invariant
Overview
exported features
start_position: POSITION
writable attribute
Of the "if" keyword or start_position of the "elseif" keyword.
expression: EXPRESSION
writable attribute
Which must be a boolean expression.
then_compound: INSTRUCTION
writable attribute
Not Void if any.
side_effect_free (type: TYPE): BOOLEAN
effective function
end_mark_comment: BOOLEAN
constant attribute