escjava.vcGeneration
Class VariableInfo

java.lang.Object
  escjava.vcGeneration.VariableInfo

public class VariableInfo

extends java.lang.Object

Field Summary

java.lang.String	def
java.lang.String	old README : This class is used to contain renaming of variables.
private ProverType	prover
private TypeInfo	secondType This last field wasn't planned intially.
TypeInfo	type
boolean	typeSure

Constructor Summary

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.

Method Summary

boolean	equals(java.lang.Object o)
TypeInfo	getSecondType()
java.lang.String	getVariableInfo()
void	setSecondType(TypeInfo type)

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

old

public java.lang.String old

README : This class is used to contain renaming of variables. For each variable a VariableInfo object is created. If you want to change the way variables are renamed, just change pvsRename or sammyRename or add a function at the end.

type

public TypeInfo type

def

public java.lang.String def

prover

private ProverType prover

typeSure

public boolean typeSure

secondType

private TypeInfo secondType

This last field wasn't planned intially. But it is necessary when some variables have two types like for a class like : class A { int i1; } Then the variable i1 must have as first type "%Field" and "integer" two.

Constructor Detail

VariableInfo

public VariableInfo(java.lang.String old,
                    TypeInfo type)

When we call this constructor, we know the old type, so we give it.

VariableInfo

public VariableInfo(java.lang.String old,
                    TypeInfo type,
                    java.lang.String def,
                    ProverType prover)

Constructor for specifying the renaming of the variable.

Method Detail

setSecondType

public void setSecondType(TypeInfo type)

getSecondType

public TypeInfo getSecondType()

getVariableInfo

public java.lang.String getVariableInfo()

equals

public boolean equals(java.lang.Object o)