Packages

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

    The native Scala type of the last request.

  2. abstract type ResultType

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

Abstract Value Members

  1. abstract val semanticTypes: Seq[Type]

    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(resultGrammar: TreeGrammar): ResultType

    Interpretes the tree grammar 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]

    Reflected type information about the native Scala request type.

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def addJob[R](semanticTypes: Type*)(implicit tag: scala.reflect.api.JavaUniverse.WeakTypeTag[R]): AuxWithPrior[R, ResultType]

    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
    Definition Classes
    Any
  6. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  7. def enrichTaxonomyWithTargets(taxonomy: NativeTaxonomyBuilder): NativeTaxonomyBuilder

    Collects subtype information about RequestType.

  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  10. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  11. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  12. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  13. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  14. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  15. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  16. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  17. def run(): ResultType

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

  18. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  19. def targets: Seq[Type]

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

  20. def toString(): String
    Definition Classes
    AnyRef → Any
  21. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  22. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  23. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped