Trait

org.combinators.cls.interpreter.ReflectedRepository

HasPriorJob

Related Doc: package ReflectedRepository

Permalink

sealed trait HasPriorJob[P] extends InhabitationBatchJob

An InhabitationBatchJob with more than one recorded job.

P

the combined native Scala type of prior requests.

Linear Supertypes
InhabitationBatchJob, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. HasPriorJob
  2. InhabitationBatchJob
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. abstract type RequestType

    Permalink

    The native Scala type of the last request.

    The native Scala type of the last request.

    Definition Classes
    InhabitationBatchJob

  2. type ResultType = (P, InhabitationResult[RequestType])

    Permalink

    A combination of all native Scala inhabitation result types of this batch job.

    A combination of all native Scala inhabitation result types of this batch job.

    Definition Classes
    HasPriorJob → InhabitationBatchJob

Abstract Value Members

  1. abstract val priorJob: AuxWithResult[P]

    Permalink

    The rest of the batch job, for requests made before the request for type P.

  2. abstract val semanticTypes: Seq[Type]

    Permalink

    All semantic types of the last request.

    All semantic types of the last request. These are be joined in a big intersection as in inhabit.

    Definition Classes
    InhabitationBatchJob

  3. abstract val typeTag: scala.reflect.api.JavaUniverse.WeakTypeTag[RequestType]

    Permalink

    Reflected type information about the native Scala request type.

    Reflected type information about the native Scala request type.

    Definition Classes
    InhabitationBatchJob

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. def addJob[R](semanticTypes: Type*)(implicit tag: scala.reflect.api.JavaUniverse.WeakTypeTag[R]): AuxWithPrior[R, ResultType]

    Permalink

    Creates a new batch job, adding the request specified via R and semanticTypes to the requests in this job.

    Creates a new batch job, adding the request specified via R and semanticTypes to the requests in this job. The result type is composed by creating a tuple of the current result type and the newly requested type R, where ResultType is the first component and R is the second component.

    Definition Classes
    InhabitationBatchJob

  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  6. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @throws( ... )

  7. def enrichTaxonomyWithTargets(taxonomy: NativeTaxonomyBuilder): NativeTaxonomyBuilder

    Permalink

    Collects subtype information about RequestType.

    Collects subtype information about RequestType.

    Definition Classes
    HasPriorJob → InhabitationBatchJob

  8. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  9. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  10. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()

  11. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()

  12. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  13. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  14. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

  15. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

  16. def run(): ResultType

    Permalink

    Runs this batch job, returning the current native scala ResultType.

    Runs this batch job, returning the current native scala ResultType.

    Definition Classes
    InhabitationBatchJob

  17. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  18. def targets: Seq[Type]

    Permalink

    Computes a sequence of all requested target types of this batch job.

    Computes a sequence of all requested target types of this batch job.

    Definition Classes
    HasPriorJob → InhabitationBatchJob

  19. def toResult(resultRules: Set[Rule]): ResultType

    Permalink

    Interpretes the tree grammar rules returned by the algorithm as the computed ResultType, that is a combination of all requested native Scala types in this job.

    Interpretes the tree grammar rules returned by the algorithm as the computed ResultType, that is a combination of all requested native Scala types in this job.

    Definition Classes
    HasPriorJob → InhabitationBatchJob

  20. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  21. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  22. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  23. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from InhabitationBatchJob

Inherited from AnyRef

Inherited from Any

Ungrouped