Package org.ek9lang.compiler.support.copy

package org.ek9lang.compiler.support.copy
  • Classes
    Class
    Description
    CopyNeedsRuntimeCheck
    THE "can a copy into this owner meet an object of a different class?" - only when the owner may have sub-types.
    CopyOwnerGenus
    Is the aggregate of a genus that can own a copy: the extensible data-carrying aggregates (a trait is an interface, and has no fields to copy).
    HasGeneratedSelfCopy
    THE "is the aggregate's self copy GENERATED" (SelfCopy, IsGeneratedCopy).
    InheritedCopySignatures
    THE inherited :=:(Super) signatures a GENERATED copy owner overrides (Q5b, PolymorphicCopy): every :=: declared up its super CLASS chain (AllOperatorsAbove) whose single parameter is a super type of the owner - one per distinct parameter type, nearest first - unless the owner itself already declares that signature.
    IsCopyOwner
    THE "is this aggregate a copy OWNER" - does it declare its own :=: taking itself (SelfCopy)? E07238 guarantees a class adding fields is one (PolymorphicCopy).
    IsGeneratedCopy
    THE "is this :=: generated rather than written by hand" (default operator :=:, or the bare default operator, and not abstract).
    NeedsCopyAccepts
    THE "does the owner get a _copyAccepts?" (PolymorphicCopy).
    SelfCopy
    THE self copy of an aggregate: the :=: it declares in its OWN scope that takes the aggregate itself (PolymorphicCopy).