Trait/Object

org.combinators.cls.interpreter.ReflectedRepository

InhabitationBatchJob

Related Docs: object InhabitationBatchJob | package ReflectedRepository

Permalink

sealed trait InhabitationBatchJob extends AnyRef

Combines multiple inhabitation requests into one more efficient batch job. Reuses shared intermediate results. Create new batch jobs using [InhabitationBatchJob.apply[R](Type*)] and [InhabitationBatchJob.addJob[R](Type*)].

Self Type
InhabitationBatchJob
Linear Supertypes
AnyRef, Any
Known Subclasses
HasPriorJob
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. InhabitationBatchJob
  2. AnyRef
  3. 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.

  2. abstract type ResultType

    Permalink

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

Abstract Value Members

  1. 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.

  2. abstract 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.

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

    Permalink

    Reflected type information about the native Scala request type.

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.

  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.

  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.

  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.

  19. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

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

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

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

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

  22. 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 AnyRef

Inherited from Any

Ungrouped