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, wandleRefTypeAttributes2GenericAttributesgetGTVDeclarationContextaddTypeInsertPoints, getMatchingParentNode, getParentClass, seesTypepublic BasicAssumptionClass(java.lang.String name)
public BasicAssumptionClass(java.lang.String name,
Modifiers mod)