Packages

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

    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])

    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
    HasPriorJobInhabitationBatchJob

Abstract Value Members

  1. abstract val priorJob: AuxWithResult[P]

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

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

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

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

    Definition Classes
    InhabitationBatchJob
  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.

    Collects subtype information about RequestType.

    Definition Classes
    HasPriorJobInhabitationBatchJob
  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.

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

    Definition Classes
    InhabitationBatchJob
  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.

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

    Definition Classes
    HasPriorJobInhabitationBatchJob
  20. 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.

    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.

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

Inherited from InhabitationBatchJob

Inherited from AnyRef

Inherited from Any

Ungrouped