Package org.ek9lang.compiler.support.operators

package org.ek9lang.compiler.support.operators
  • Classes
    Class
    Description
    AllOperatorsAbove
    EVERY operator of one name declared ABOVE an aggregate - each level's own overloads, nearest level first, never Any's.
    AlwaysSetWhenPresent
    THE "is a value of EXACTLY this type always set - its '?' the one synthesised for a field-less type (IsSynthesisedIsSet, Q-COMPONENT-?), answering true?" Read by phase 5's value tracker (F3, Steve 2026-10-07): s <- FieldlessType() then if s? is provably true (E08088), as Integer() is provably unset.
    CallableWithArgumentsOf
    THE "can the existing operator be called with the candidate default's arguments?" - each candidate parameter type assignable to the existing one's, same count.
    DeclaredOperator
    THE operator of one name a type declares in its OWN scope, preferring the overload that takes the type itself when there are several (ExactSingleParameter) - and otherwise ANY overload (a zero-argument $ or ? has no parameter to match).
    DeclaredReturnType
    The type a callable declares it returns, if it returns one - what NarrowedReturnTypes and NarrowedFunctionReturnTypes compare.
    HasAuthoredIsSet
    THE "does the author's source give this type its OWN '?'" - hand-written, default operator ? or the bare default operator - for tools that edit source (adding a type's first field must also add a '?', E07235).
    InequalityAsDiamond
    THE spelling of inequality the compiler resolves: a developer's != is the operator <> (method _neq); everything else is returned as written.
    IsSynthesisedIsSet
    THE "is this '?' the one synthesised for a field-less type (FIELDLESS_IS_SET)?" of Q-COMPONENT-? (FieldlessIsSet).
    KeepsUnset
    THE "does this RESOLVED operator keep an unset receiver unset, whatever its argument?" - the KEEPS_UNSET squirrel the bootstrap reads from @Ek9Operator(keepsUnset = true) (see UnsetKeepingOperator).
    MirroredRelationalOperator
    THE mirror of a relational operator glyph, for re-expressing a OP b as b OP' a: 5 > x is x < 5.
    NarrowedFunctionReturnTypes
    THE covariant return of a function: its super function's return type, when this function narrows it - the function form of NarrowedReturnTypes (N07, phase 7's covariant bridges).
    NarrowedReturnTypes
    THE return types of the (non-private) parent declarations a method overrides (OverriddenDeclarations) with a NARROWER - covariant - return, one per distinct type (N07, phase 7's covariant bridges).
    NearestAbove
    THE nearest declaration above an aggregate that a level test finds - asked of each super class in turn, nearest first (SuperClassChain).
    NearestOperatorAbove
    THE nearest operator ABOVE a type: the declaration a type would inherit, found by walking its super CLASS chain (never its traits) and stopping at the first level that declares it.
    NearestSelfComparisonAbove
    THE nearest SAMENESS operator above an aggregate (D19, Steve 2026-10-20): the nearest operatorName (== or <=>) declared above it that compares the level declaring it with ITSELF (IsSelfComparison) - matched by SIGNATURE, never by name, never Any's.
    NormalisedRelationalOperator
    THE normalisation of a relational operator glyph, shared by every analysis that reads one - the symbolic engine's guards and constraints, require preconditions, and the flow analysis's symbolic path conditions.
    OperatorDeclarationSite
    THE place a missing operator belongs when NOTHING above an aggregate declares it (Q4, Steve 2026-10-08): the nearest super class that HAS fields of its own - the root of the data decides whether its fields are exposed (R4) - or, when no super class has fields, the topmost one (the hierarchy's root below Any).
    OperatorOwner
    THE type that declares an operator - its OWNER, which a generated super call names (Contract 19, NearestOperatorAbove).
    OperatorResolvedOn
    THE operator an in-place operator resolves to on a receiver type: the search phase 3 made when it resolved it (LhsAndRhsAssignmentOrError, StatementOrError) - the operator by its written name, with the argument's type when it has one.
    OtherSpellingIn
    THE first of several operators that is a different spelling of the same runtime operator as another (D59, SameRuntimeOperator).
    SingleParameterType
    THE type of a method's single parameter, when it has exactly one - e.g.
    SuperClassChain
    The super CLASS chain above an aggregate, nearest first - the walk every "operator above" question shares (NearestOperatorAbove).