Uses of Class
org.jmlspecs.jmlrac.PreValueVars.Entry

Packages that use PreValueVars.Entry

org.jmlspecs.jmlrac

Generates Java classes from JML specifications that check assertions at runtime.

Uses of PreValueVars.Entry in org.jmlspecs.jmlrac

Fields in org.jmlspecs.jmlrac declared as PreValueVars.Entry

private PreValueVars.Entry	RacParser.RacMethodDeclaration.varDecl The variable declaration to be piggyback with this code.
private PreValueVars.Entry	RacParser.RacStatement.varDecl The variable declaration to be piggyback with this code.
private PreValueVars.Entry	RacParser.RacBlock.varDecl The variable declaration to be piggyback with this code.

Methods in org.jmlspecs.jmlrac that return PreValueVars.Entry

abstract PreValueVars.Entry	RacNode.varDecl() Returns the variable declaration associated with this code.
(package private) static PreValueVars.Entry	PreValueVars.createJmlValueVar(boolean isStatic, String name) Returns a new JMLValue variable declaration.
(package private) static PreValueVars.Entry	PreValueVars.createBooleanVar(boolean isStatic, String name) Returns a new boolean variable declaration.
(package private) static PreValueVars.Entry	PreValueVars.createVar(boolean isStatic, String type, String name, String value) Returns a new variable declaration.
PreValueVars.Entry	RacParser.RacMethodDeclaration.varDecl() Returns the variable declaration associated with this code.
PreValueVars.Entry	RacParser.RacStatement.varDecl() Returns the variable declaration associated with this code.
PreValueVars.Entry	RacParser.RacBlock.varDecl() Returns the variable declaration associated with this code.
PreValueVars.Entry[]	TransConstraint.oldExprFields(boolean forStatic) Returns field declarations for the old expressions appearing in the constraint clause.

Methods in org.jmlspecs.jmlrac with parameters of type PreValueVars.Entry

abstract void	RacNode.setVarDecl(PreValueVars.Entry varDecl) Sets the variable declaration to be piggyback with this code.
(package private) void	PreValueVars.addAll(PreValueVars.Entry[] decls) Adds all the given field declarations.
(package private) void	PreValueVars.add(PreValueVars.Entry decl) Adds the given field declaration.
void	RacParser.RacMethodDeclaration.setVarDecl(PreValueVars.Entry varDecl) Sets the variable declaration to be piggyback with this code.
void	RacParser.RacStatement.setVarDecl(PreValueVars.Entry varDecl) Sets the variable declaration to be piggyback with this code.
void	RacParser.RacBlock.setVarDecl(PreValueVars.Entry varDecl) Sets the variable declaration to be piggyback with this code.