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

    Definition Classes
    IVF
  • package AST

    Contains abstract syntax tree definitions

    Contains abstract syntax tree definitions

    Definition Classes
    Model
    See also

    IVF.Model.AST

  • package A

    Contains arithmetic expression ASTs and Operators

    Contains arithmetic expression ASTs and Operators

    Definition Classes
    AST
    See also

    IVF.Model.AST.A.Expression

  • package Comparator
    Definition Classes
    A
  • package Expression

    Contains arithmetic expressions

    Contains arithmetic expressions

    Definition Classes
    A
  • Binary
  • Unary
  • Value
  • Variable
  • package Operator
    Definition Classes
    A

package Expression

Contains arithmetic expressions

Linear Supertypes
AnyRef, Any

Type Members

  1. case class Binary(op: Operator.Binary, a: Expression, b: Expression) extends Expression with Product with Serializable

    Binary arithmetic expression

    Binary arithmetic expression

    op

    binary arithmetic operator

    a

    left arithmetic expression

    b

    right arithmetic expression

  2. case class Unary(op: Operator.Unary, a: Expression) extends Expression with Product with Serializable

    Unary arithmetic expression

    Unary arithmetic expression

    op

    unary arithmetic operator

    a

    arithmetic expression

  3. case class Value(tValue: Int) extends Expression with Product with Serializable

    Constant value expression

    Constant value expression

    tValue

    value

  4. case class Variable(tName: String) extends Expression with Product with Serializable

    Variable expression

    Variable expression

    tName

    name of variable

Inherited from AnyRef

Inherited from Any

Ungrouped