escjava.vcGeneration
Class TypeInfo

java.lang.Object
  escjava.vcGeneration.TypeInfo

public class TypeInfo

extends java.lang.Object

Field Summary

java.lang.String	def
java.lang.String	old README : This class is used to store old types and corresponding new types.
private ProverType	prover

Constructor Summary

TypeInfo(java.lang.String old)

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

Method Summary

java.lang.String

getTypeInfo()

Methods inherited from class java.lang.Object

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

Field Detail

old

public java.lang.String old

README : This class is used to store old types and corresponding new types. If you want to change the way types are renamed, just change pvsRename or sammyRename or add a function at the end.

def

public java.lang.String def

prover

private ProverType prover

Constructor Detail

TypeInfo

public TypeInfo(java.lang.String old)

TypeInfo

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

Constructor for specifying the renaming of the type.

Method Detail

getTypeInfo

public java.lang.String getTypeInfo()