IVF Project Documentation < Back

Packages

package root

Definition Classes
root
package IVF
This project is built over the following components
This project is built over the following components
- IVF.Model : contains abstract syntax trees and control flow graphs, enables to execute code
- IVF.Criterion : defines criterion and coverage, useful to test a given program on predefined states set with a criterion
- IVF.TestGenerator : enables to generate automatically tests from criteria
Definition Classes
root
package Model
Contains models necessary to run tests
Contains models necessary to run tests
- IVF.Model.AST contains abstract syntax trees
- IVF.Model.CFG contains control flow graphs
- IVF.Model.State models a state (valuation for algorithm)
Definition Classes
IVF
package AST
Contains abstract syntax tree definitions
Contains abstract syntax tree definitions

Definition Classes
Model
See also
IVF.Model.AST
package B
Contains binary expression ASTs and Operators
Contains binary expression ASTs and Operators

Definition Classes
AST
See also
IVF.Model.AST.B.Expression
package Expression
Contains binary expressions
Contains binary expressions

Definition Classes
B
Binary
Comparator
Unary
Value
package Operator

Definition Classes
B

IVF.Model.AST.B

Expression

package Expression

Contains binary expressions

Linear Supertypes

AnyRef, Any

Type Members

case class Binary(op: Operator.Binary, a: Expression, b: Expression) extends Expression with Product with Serializable
Binary binary expression
Binary binary expression
op
binary binary operator
a
left binary expression
b
right binary expression
case class Comparator(op: A.Comparator, a: A.Expression, b: A.Expression) extends Expression with Product with Serializable
Binary comparison expression
Binary comparison expression
op
comparator
a
left arithmetic expression
b
right arithmetic expression
case class Unary(op: Operator.Unary, a: Expression) extends Expression with Product with Serializable
Unary binary expression
Unary binary expression
op
unary binary operator
a
binary expression
case class Value(tValue: Boolean) extends Expression with Product with Serializable
Constant value expression
Constant value expression
tValue
value

Inherited from AnyRef

Inherited from Any

Ungrouped