public class BasicAssumptionClass extends Class
inferencelog, isFirstLocalVarDecl, modifiers, name, pkgName, superclassid, typinferenzLog
Constructor and Description |
---|
BasicAssumptionClass(java.lang.String name) |
BasicAssumptionClass(java.lang.String name,
Modifiers mod) |
addField, does_Class_extend, equals, get_class_block, get_ParaHash, get_ParaList, get_Superclass_Name, getAccessFlags, getChildren, getContainedTypes, getDescription, getFields, getGenericParameter, getGenericVarDeclarationOffset, getGenericVarDeclarationString, getModifiers, getName, getOffset, getPackageName, getParent, getPublicFieldAssumptions, getSimpleName, getSuperClass, getSuperInterfaces, getType, getTypeInformation, getUsedIdsToCheck, getVariableLength, isClass, parserPostProcessing, printJavaCode, set_class_block, set_ClassBody, set_ParaHash, set_UsedId, setContainedTypes, setGenericParameter, setModifiers, setName, setPackageName, setSuperInterfaces, toString, typeReconstruction, wandleRefTypeAttributes2GenericAttributes
getGTVDeclarationContext
addTypeInsertPoints, getMatchingParentNode, getParentClass, seesType
public BasicAssumptionClass(java.lang.String name)
public BasicAssumptionClass(java.lang.String name, Modifiers mod)