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 allRefToDefPaths(cfg: CFG, maxLoopDepth: Int): Map[Variable, Map[Int, Set[Vector[Int]]]]

   Extends firstDefFromRefPaths enabling to get all reference to definition paths

   Extends firstDefFromRefPaths enabling to get all reference to definition paths

   cfg

   control flow graph

   maxLoopDepth

   max loop execution during test generation

   returns

   map of variables to a map of usages to a set of paths going up from the reference until the matching definition is found

5.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

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 equals(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

9.  def finalize(): Unit

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( classOf[java.lang.Throwable] )

10.  def firstDefFromRefPaths(cfg: CFG, label: Int, variable: Variable, maxLoopExec: Int): Set[Vector[Int]]

    Returns paths to the first definition from a given reference (going up)

    Returns paths to the first definition from a given reference (going up)

    cfg

    control flow graph

    label

    start point (reference)

    variable

    referenced variable

    maxLoopExec

    max loop execution during test generation

11.  def firstRefFromDefPaths(cfg: CFG, label: Int, variable: Variable, maxLoopExec: Int): Set[Vector[Int]]

    Returns paths to the first reference from a given definition (going down)

    Returns paths to the first reference from a given definition (going down)

    cfg

    control flow graph

    label

    start label (reference)

    variable

    defined variable

    maxLoopExec

    max loop execution during test generation

12.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

13.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

14.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

15.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

16.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

17.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

18.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

19.  def testGeneratorFromRequiredNodes(cfg: CFG, maxLoopExec: Int, requiredNodes: Set[Int]): TestGenerator

    Returns a test generator associated to a list of nodes

    Returns a test generator associated to a list of nodes

    cfg

    control flow graph

    maxLoopExec

    max loop execution during test generation

    requiredNodes

    required nodes

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