Package org.ek9lang.compiler.support.conceptual

package org.ek9lang.compiler.support.conceptual
  • Classes
    Class
    Description
    IsAccessedByRange
    THE "is the member the copy constructor of a for range over T" (NoteRangeCopyConstructor).
    IsAccessedInPureScope
    THE "did the body use the member from a pure scope" (NoteConceptualAccess).
    IsBuiltOnTypeParameters
    THE "is the type built on conceptual type parameters without being one": a parameterisation with a bare T among its leaves (DictEntry of (K, Integer), List of (OrderedBox of T)), or a generic template named in its own body (this < other inside OrderedBox of type T, which is OrderedBox of T) (TypeParametersUnder).
    IsComparedByCoalescing
    THE "does the generic's body select between values of this conceptual T with a comparison coalescing operator" (NoteCoalescingComparison).
    IsConceptuallyAccessed
    THE "does the generic's body use this member of T" (NoteConceptualAccess).
    NoteCoalescingComparison
    THE note that the generic's body selects between values of its conceptual T with <? or >? (D24 Q4 REVISED).
    NoteConceptualAccess
    THE note that the generic's body uses this member of its conceptual T (ConceptualAccess), and - when the body is in a pure scope - that too: the concrete member must then be pure (a conceptual constructor's own purity is meaningless - it is synthetic on T).
    NoteIfConceptual
    THE note of an operator the body used on owner, but only when owner IS a conceptual type parameter - a concrete type needs no deferred check.
    NoteNaturalOrderQueue
    THE note of a natural-order PriorityQueue of this element type, when it is built on a conceptual parameter without being one (PriorityQueue of (OrderedBox of T)).
    NoteOrderingUse
    THE note, where a resolved ordering operator (<=> < <= > >=) is used on a type that is built on a conceptual parameter without being one (DictEntry of (K, Integer)).
    NoteRangeCopyConstructor
    THE note of the copy constructor a for range over T will use (NoteConceptualAccess, and marked as the range's): which one runs, and whether it is pure, is only known at parameterisation.
    OrderingUsesOf
    THE orderings of types built on any of these conceptual parameters that the generic's body uses, each once (a type built on several parameters is recorded on each) - what NoteOrderingUse and NoteNaturalOrderQueue recorded, judged in phase4/ParameterisedTypeOrError where the parameters are replaced.
    RecordOrderingUse
    Records an ordering use on each conceptual parameter the type is built on (TypeParametersUnder) - the shared step of NoteOrderingUse and NoteNaturalOrderQueue; read back by OrderingUsesOf.
    TypeParametersUnder
    THE conceptual parameters a (non-bare) parameterisation is built on, each once; for a generic template (named in its own body) its own type parameters.