Uses of Class
escjava.vcGeneration.VariableInfo

Packages that use VariableInfo

escjava.vcGeneration
escjava.vcGeneration.coq
escjava.vcGeneration.pvs
escjava.vcGeneration.sammy
escjava.vcGeneration.simplify
escjava.vcGeneration.xml

Uses of VariableInfo in escjava.vcGeneration

Fields in escjava.vcGeneration declared as VariableInfo

private VariableInfo

TMethodCall.name

Methods in escjava.vcGeneration that return VariableInfo

static VariableInfo	TNode.addName(java.lang.String oldName, java.lang.String type, java.lang.String def) This function add variable to the global map name.
static VariableInfo	TNode.addName(java.lang.String oldName, java.lang.String type)
static VariableInfo	TNode.getVariableInfo(java.lang.String name) return the VariableInfo object associated with this name
(package private) VariableInfo	TNode.getVariableInfo() return the VariableInfo object associated of the caller which must be an instance of TName.
VariableInfo	TMethodCall.getName() return the VariableInfo associated with the method name, of interest for the return type of the method.

Methods in escjava.vcGeneration with parameters of type VariableInfo

abstract java.lang.String

ProverType.getVariableInfo(VariableInfo caller) VariableInfo represents a single translation/mapping between an old variable name and the targeted prover variable name.

Uses of VariableInfo in escjava.vcGeneration.coq

Methods in escjava.vcGeneration.coq with parameters of type VariableInfo

java.lang.String	CoqProver.getVariableInfo(VariableInfo vi) Returns a valid Coq name corresponding to the given VariableInfo.
private void	CoqProver.coqRename(VariableInfo vi) Rename the variable, ie. the name old to a proper Coq name in the variable def.

Uses of VariableInfo in escjava.vcGeneration.pvs

Methods in escjava.vcGeneration.pvs with parameters of type VariableInfo

java.lang.String	PvsProver.getVariableInfo(VariableInfo caller)
private void	PvsProver.pvsRename(VariableInfo caller)

Uses of VariableInfo in escjava.vcGeneration.sammy

Methods in escjava.vcGeneration.sammy with parameters of type VariableInfo

java.lang.String	SammyProver.getVariableInfo(VariableInfo caller)
private void	SammyProver.sammyRename(VariableInfo caller)

Uses of VariableInfo in escjava.vcGeneration.simplify

Methods in escjava.vcGeneration.simplify with parameters of type VariableInfo

java.lang.String

SimplifyProver.getVariableInfo(VariableInfo caller)

Uses of VariableInfo in escjava.vcGeneration.xml

Methods in escjava.vcGeneration.xml with parameters of type VariableInfo

java.lang.String

XmlProver.getVariableInfo(VariableInfo caller) Since our XML mapping of variable names is the identity one, we may simply return the old variable name here.