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

    See also

    IVF.Model.AST.A.Expression

  • package B

    Contains binary expression ASTs and Operators

    Contains binary expression ASTs and Operators

    See also

    IVF.Model.AST.B.Expression

  • Assign
  • Command
  • If
  • Sequence
  • Skip
  • While

package AST

Contains abstract syntax tree definitions

See also

IVF.Model.AST

Linear Supertypes
AnyRef, Any

Type Members

  1. case class Assign(tVariable: Variable, tValue: Expression) extends AST with Command with Product with Serializable

    Assigns a right value to a variable

    Assigns a right value to a variable

    tVariable

    variable

    tValue

    arithmetic expression

  2. sealed trait Command extends AST

    Base class for command ASTs

  3. case class If(tCondition: Expression, tThen: Command, tElse: Command) extends AST with Command with Product with Serializable

    If condition

    If condition

    tCondition

    binary expression condition

    tThen

    the command to apply if condition is true

    tElse

    the command to apply if condition is false

  4. case class Sequence(tExpressions: List[Command]) extends AST with Command with Product with Serializable

    A sequence of commands

    A sequence of commands

    tExpressions

    list of commands

  5. case class Skip() extends AST with Command with Product with Serializable

    Do nothing

  6. case class While(tCondition: Expression, tExpression: Command) extends AST with Command with Product with Serializable

    While loop

    While loop

    tCondition

    the condition to keep running the loop

    tExpression

    what to do in every iteration

Inherited from AnyRef

Inherited from Any

Ungrouped