mycompiler.myclass

Class BasicAssumptionClass

java.lang.Object

mycompiler.AClassOrInterface

mycompiler.myclass.Class

mycompiler.myclass.BasicAssumptionClass

public class BasicAssumptionClass
extends Class

Field Summary

Fields inherited from class mycompiler.myclass.Class

isFirstLocalVarDecl, superclassid

Constructor Summary

Constructors

Constructor and Description
BasicAssumptionClass(java.lang.String name)
BasicAssumptionClass(java.lang.String name, Modifiers mod)

Method Summary

Methods inherited from class mycompiler.myclass.Class

addOffsetsToAssumption, addOffsetsToExpression, addOffsetsToStatement, codegen, complete_paralist, createGenericTypeVars, does_Class_extend, get_class_block, get_ClassBody, get_ParaHash, get_ParaList, get_Superclass_Name, getContainedTypes, getPublicFieldAssumptions, getSimpleName, getType, getTypeInformation, getUsedIdsToCheck, is_member, para_check, printJavaCode, sc_check_for_extended_classes, sc_check, set_class_block, set_ClassBody, set_ParaHash, set_ParaList, set_UsedId, setContainedTypes, toString, TRProg, TYPE, wandleRefTypeAttributes2GenericAttributes

Methods inherited from class mycompiler.AClassOrInterface

getAccessFlags, getModifiers, getName, getPackageName, getSuperInterfaces, setModifiers, setName, setPackageName, setSuperInterfaces

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

BasicAssumptionClass

public BasicAssumptionClass(java.lang.String name)

BasicAssumptionClass

public BasicAssumptionClass(java.lang.String name,
                    Modifiers mod)