A B C D E F G H I J K L M N O P Q R S T U V W Z

V

VarDeclParser - class jml2b.structure.java.VarDeclParser.

Parser used for parsing VAR_DECL clauses.

VarDeclParser() - Constructor for class jml2b.structure.java.VarDeclParser

Creates a VarDeclParser initialised with the given AST.

VarDeclParser(Modifiers) - Constructor for class jml2b.structure.java.VarDeclParser

Creates a new instance using the given modifier for the parsed variables.

VarStack - class jml2b.link.VarStack.

This class implements a stack containing sets of fields.

VarStack() - Constructor for class jml2b.link.VarStack

Creates a new empty stack.

VariantLemma - class jml2b.pog.lemma.VariantLemma.

VariantLemma(IJml2bConfiguration, Expression) - Constructor for class jml2b.pog.lemma.VariantLemma

VerifySourceAction - class jack.plugin.compile.VerifySourceAction.

Popup action that allows to generate .jpo files when a java file is selected.

VerifySourceAction() - Constructor for class jack.plugin.compile.VerifySourceAction

Constructor for Action1.

VirtualFormula - class jml2b.pog.lemma.VirtualFormula.

This class implements a formula with its set of colored informations.

VirtualFormula() - Constructor for class jml2b.pog.lemma.VirtualFormula

VirtualFormula(byte, Formula, ColoredInfo) - Constructor for class jml2b.pog.lemma.VirtualFormula

Constructs a virtual formula

VirtualFormula(byte, Formula, Vector) - Constructor for class jml2b.pog.lemma.VirtualFormula

Constructs a virtual formula

VirtualFormula - class jpov.structure.VirtualFormula.

This class implements a formula with its corresponding set of boxes.