deferred class CREATE_SUPPORT
Summary
Class invariant
Overview
exported features
start_position: POSITION
writable attribute
explicit_type: TYPE_MARK
writable attribute
Explicit created one (optional for the CREATE_INSTRUCTION and mandatory for the CREATE_EXPRESSION).
writable: EXPRESSION
writable attribute
The target of the creation call (mandatory for the CREATE_INSTRUCTION and forbidden for the CREATE_EXPRESSION ).
call: PROC_CALL
writable attribute
Optional initialisation call if any.
default_create_call: BOOLEAN
writable attribute
side_effect_free (type: TYPE): BOOLEAN
frozen
effective function
safety_check (type: TYPE)
frozen
effective procedure
created_type (type: TYPE): TYPE
deferred function