Packages

c

IVF.TestGenerator

PathTestGenerator

case class PathTestGenerator(cfg: CFG, name: String, path: Path) extends TestGenerator with Product with Serializable

Generate a state from a path with constraint solver

cfg

control flow graph

name

name of this generator (used in error messages)

path

path

Linear Supertypes
Serializable, Serializable, Product, Equals, TestGenerator, AnyRef, scala.Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PathTestGenerator
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. TestGenerator
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new PathTestGenerator(cfg: CFG, name: String, path: Path)

    cfg

    control flow graph

    name

    name of this generator (used in error messages)

    path

    path

Value Members

  1. final def !=(arg0: scala.Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: scala.Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. val cfg: CFG
    Definition Classes
    PathTestGenerator → TestGenerator
  6. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  7. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  8. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  9. def generateTests(): GeneratedTestSet

    Generate tests for a given Generator

    Generate tests for a given Generator

    returns

    a generated test set

    Definition Classes
    PathTestGenerator → TestGenerator
  10. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  11. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  12. val name: String
    Definition Classes
    PathTestGenerator → TestGenerator
  13. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  14. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  15. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  16. val path: Path
  17. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  18. def toString(): String
    Definition Classes
    TestGenerator → AnyRef → Any
  19. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  20. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  21. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from TestGenerator

Inherited from AnyRef

Inherited from scala.Any

Ungrouped