deferred class PRECURSOR_CALL
Summary
Class invariant
Overview
exported features
start_position: POSITION
writable attribute
Of the "Precursor" keyword.
arguments: EFFECTIVE_ARG_LIST
writable attribute
specialized_anonymous_feature: ANONYMOUS_FEATURE
writable attribute
The specialized version of the precursor feature
specialized_parent: CLASS_TEXT
writable attribute
The parent the feature effectively comes from
parent: TYPE_MARK
writable attribute
Used when only when the call looks like: {TYPE_MARK} Precursor...
use_current (type: TYPE): BOOLEAN
frozen
effective function
safety_check (type: TYPE)
frozen
effective procedure
compile_to_c (type: TYPE)
frozen
effective procedure
compile_to_jvm (type: TYPE)
frozen
effective procedure
specialize_in (new_type: TYPE): PRECURSOR_CALL
frozen
effective function
specialize_thru (parent_type: TYPE, parent_edge: PARENT_EDGE, new_type: TYPE): PRECURSOR_CALL
frozen
effective function
has_been_specialized: BOOLEAN
frozen
effective function
adapt_for (t: TYPE): PRECURSOR_CALL
effective function