Uses of Class
escjava.vcGeneration.TypeInfo

Packages that use TypeInfo

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

Uses of TypeInfo in escjava.vcGeneration

Fields in escjava.vcGeneration declared as TypeInfo

TypeInfo	VariableInfo.type
private TypeInfo	VariableInfo.secondType This last field wasn't planned intially.
TypeInfo	TNode.type
static TypeInfo	TNode._Reference We add some types that we know will be used to avoid looking at the map typesName when we want to add it.
static TypeInfo	TNode._Type
static TypeInfo	TNode._DOUBLETYPE
static TypeInfo	TNode._boolean
static TypeInfo	TNode._char
static TypeInfo	TNode._double
static TypeInfo	TNode._Field
static TypeInfo	TNode._INTTYPE
static TypeInfo	TNode._integer
static TypeInfo	TNode._float
static TypeInfo	TNode._String
static TypeInfo	TNode._Time
static TypeInfo	TNode._Path

Methods in escjava.vcGeneration that return TypeInfo

TypeInfo	VariableInfo.getSecondType()
static TypeInfo	TNode.addType(java.lang.String oldType, java.lang.String def) This function add type to the global map .
static TypeInfo	TNode.addType(java.lang.String oldType)
TypeInfo	TNode.getTypeInfo() Return the typeInfo associated with this node.

Methods in escjava.vcGeneration with parameters of type TypeInfo

void	VariableInfo.setSecondType(TypeInfo type)
protected void	TNode.setType(TypeInfo type, boolean sure)
protected void	TName.setType(TypeInfo type, boolean sure)
protected void	TMethodCall.setType(TypeInfo type, boolean sure)
abstract java.lang.String	ProverType.getTypeInfo(TypeInfo caller) TypeInfo represents a single translation/mapping between an old type name and the targeted prover type name.

Constructors in escjava.vcGeneration with parameters of type TypeInfo

VariableInfo(java.lang.String old, TypeInfo type)
When we call this constructor, we know the old type, so we give it.

VariableInfo(java.lang.String old, TypeInfo type, java.lang.String def, ProverType prover)
Constructor for specifying the renaming of the variable.

Uses of TypeInfo in escjava.vcGeneration.coq

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

void	TProofTyperVisitor.setAllTypesTo(TFunction f, TypeInfo ti)
java.lang.String	CoqProver.getTypeInfo(TypeInfo caller)
private void	CoqProver.coqRename(TypeInfo t) Rename the type, ie. the name old to a proper Coq name in the variable def

Uses of TypeInfo in escjava.vcGeneration.pvs

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

java.lang.String	PvsProver.getTypeInfo(TypeInfo caller)
private void	PvsProver.pvsRename(TypeInfo caller)

Uses of TypeInfo in escjava.vcGeneration.sammy

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

java.lang.String	SammyProver.getTypeInfo(TypeInfo caller)
private void	SammyProver.sammyRename(TypeInfo caller)

Uses of TypeInfo in escjava.vcGeneration.simplify

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

java.lang.String

SimplifyProver.getTypeInfo(TypeInfo caller)

Uses of TypeInfo in escjava.vcGeneration.xml

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

java.lang.String

XmlProver.getTypeInfo(TypeInfo caller) Since our XML mapping of type names is the identity one, we may simply return the old type name here.