EmptyResults

Instance Constructors

new EmptyResults()(implicit resultLocation: ResultLocation)

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def add[T](inhabitationResult: InhabitationResult[T])(implicit persistable: Aux[T]): Results

Adds a Persistable result to the collection.
Adds a Persistable result to the collection. Persistance actions will be performed relative to storeRelativeTo.
inhabitationResult
the result to store.
returns
a new collection including inhabitationResult.

Definition Classes
Results
def add[R](inhabitationResult: InhabitationResult[R], repositoryPath: Path): Results

Adds an inhabitation result to the collection.
Adds an inhabitation result to the collection. Create a default persistable using inhabitationResult.toString for serialization and repositoryPath.
inhabitationResult
the result to store.
repositoryPath
where to store inhabitationResult relative to storeRelativeTo.
returns
a new collection including inhabitationResult.

Definition Classes
Results
def addAll[R](results: R)(implicit canAddAll: InhabitationResultVector[R]): Results

Adds all results of an InhabitationResultVector.
Adds all results of an InhabitationResultVector. *

Definition Classes
Results
def addExternalArtifact[T](inhabitationResult: T)(implicit persistable: Aux[T]): Results

Adds an external (non-inhabitation generated) artifact to the result repository.
Adds an external (non-inhabitation generated) artifact to the result repository.

Definition Classes
Results
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
val incomplete: Boolean

Did any target not produce an inhabitant?
Did any target not produce an inhabitant?

Definition Classes
EmptyResults → Results
val infinite: Boolean

Are there infinitely many inhabitants?
Are there infinitely many inhabitants?

Definition Classes
EmptyResults → Results
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
val persistenceActions: Enumeration[Seq[() ⇒ Unit]]

Actions to perform with each inhabitant (e.g.
Actions to perform with each inhabitant (e.g. store to disk).

Definition Classes
EmptyResults → Results
val raw: Enumeration[Seq[Tree]]

Raw inhabitant terms without any interpretation.
Raw inhabitant terms without any interpretation.

Definition Classes
EmptyResults → Results
val storeRelativeTo: Path

Location which results are stored relative to.
Location which results are stored relative to.

Definition Classes
EmptyResults → Results
def storeToDisk(number: Long): Unit

Runs the action associated with the number-th inhabitant.
Runs the action associated with the number-th inhabitant. Most actions will just store the inhabitants to disk/Git (hence the method name).
number
index of the action to run.

Definition Classes
Results
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
val targets: Seq[(Type, Option[BigInt])]

Targets for this result collection.
Targets for this result collection.

Definition Classes
EmptyResults → Results
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package git

case class EmptyResults()(implicit resultLocation: ResultLocation) extends Results with Product with Serializable

Instance Constructors

new EmptyResults()(implicit resultLocation: ResultLocation)

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def add[T](inhabitationResult: InhabitationResult[T])(implicit persistable: Aux[T]): Results

def add[R](inhabitationResult: InhabitationResult[R], repositoryPath: Path): Results

def addAll[R](results: R)(implicit canAddAll: InhabitationResultVector[R]): Results

def addExternalArtifact[T](inhabitationResult: T)(implicit persistable: Aux[T]): Results

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def finalize(): Unit

final def getClass(): Class[_]

val incomplete: Boolean

val infinite: Boolean

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

val persistenceActions: Enumeration[Seq[() ⇒ Unit]]

val raw: Enumeration[Seq[Tree]]

val storeRelativeTo: Path

def storeToDisk(number: Long): Unit

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

val targets: Seq[(Type, Option[BigInt])]

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from Results

Inherited from AnyRef

Inherited from Any

Ungrouped