deferred class CREATE_SUPPORT
Summary
Class invariant
Overview
exported features
  • specialize_2_checks (type: TYPE)
    Check the validity of the CREATION_INSTRUCTION / CREATION_EXPRESSION where type is the specialize_2 argument.
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
specialize_2_checks (type: TYPE)
effective procedure
Check the validity of the CREATION_INSTRUCTION / CREATION_EXPRESSION where type is the specialize_2 argument.