TypeDecl (Soot - a J*va Optimization Framework 4.2.1 API)

java.lang.Object
- beaver.Symbol
- - soot.JastAddJ.ASTNode<ASTNode>
  - - soot.JastAddJ.TypeDecl

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>, Iterator, SimpleSet, VariableScope

Direct Known Subclasses:

AbstractWildcardType, NullType, PrimitiveType, ReferenceType, VoidType
```
public abstract class TypeDecl
extends ASTNode<ASTNode>
implements Cloneable, SimpleSet, Iterator, VariableScope
```

Nested Class Summary
- Nested classes/interfaces inherited from interface soot.JastAddJ.SimpleSet
  SimpleSet.SimpleSetImpl

Field Summary

Fields
Modifier and Type	Field and Description
`protected Map`	`accessibleFrom_TypeDecl_values`
`protected Map`	`accessibleFromExtend_TypeDecl_values`
`protected Map`	`accessibleFromPackage_String_values`
`int`	`accessorCounter`
`protected Map`	`ancestorMethods_String_values`
`int`	`anonymousIndex`
`protected boolean`	`arrayType_computed`
`protected TypeDecl`	`arrayType_value`
`protected boolean`	`boxed_computed`
`protected TypeDecl`	`boxed_value`
`protected Map`	`castingConversionTo_TypeDecl_values`
`SootMethod`	`clinit`
`protected boolean`	`componentType_computed`
`protected TypeDecl`	`componentType_value`
`protected boolean`	`constructors_computed`
`protected Collection`	`constructors_value`
`protected Map`	`containedIn_TypeDecl_values`
`protected Map`	`createEnumArray_TypeDecl_values`
`protected Map`	`createEnumIndex_EnumConstant_values`
`protected Map`	`createEnumMethod_TypeDecl_values`
`protected boolean`	`dimension_computed`
`protected int`	`dimension_value`
`protected boolean`	`elementType_computed`
`protected TypeDecl`	`elementType_value`
`protected boolean`	`enclosingVariables_computed`
`protected Collection`	`enclosingVariables_value`
`protected boolean`	`erasure_computed`
`protected TypeDecl`	`erasure_value`
`protected boolean`	`fullName_computed`
`protected String`	`fullName_value`
`protected boolean`	`getSootClassDecl_computed`
`protected SootClass`	`getSootClassDecl_value`
`protected Map`	`getSootField_String_TypeDecl_values`
`protected boolean`	`getSootType_computed`
`protected Type`	`getSootType_value`
`protected boolean`	`hasAbstract_computed`
`protected boolean`	`hasAbstract_value`
`int`	`IDend`
`int`	`IDstart`
`protected boolean`	`implementedInterfaces_computed`
`protected HashSet`	`implementedInterfaces_value`
`protected boolean`	`inExplicitConstructorInvocation_computed`
`protected boolean`	`inExplicitConstructorInvocation_value`
`protected boolean`	`innerClassesAttributeEntries_computed`
`protected Collection`	`innerClassesAttributeEntries_value`
`protected Map`	`instanceOf_TypeDecl_values`
`protected boolean`	`inStaticContext_computed`
`protected boolean`	`inStaticContext_value`
`protected boolean`	`involvesTypeParameters_computed`
`protected boolean`	`involvesTypeParameters_initialized`
`protected boolean`	`involvesTypeParameters_value`
`protected int`	`involvesTypeParameters_visited`
`protected boolean`	`isAnonymous_computed`
`protected boolean`	`isAnonymous_value`
`protected boolean`	`isCheckedException_computed`
`protected boolean`	`isCheckedException_value`
`protected boolean`	`isCircular_computed`
`protected boolean`	`isCircular_initialized`
`protected boolean`	`isCircular_value`
`protected int`	`isCircular_visited`
`protected Map`	`isDAbefore_Variable_values`
`protected Map`	`isDUbefore_Variable_values`
`protected boolean`	`isException_computed`
`protected boolean`	`isException_value`
`protected boolean`	`isIterable_computed`
`protected boolean`	`isIterable_value`
`protected boolean`	`isObject_computed`
`protected boolean`	`isObject_value`
`protected boolean`	`isPublic_computed`
`protected boolean`	`isPublic_value`
`protected boolean`	`isStatic_computed`
`protected boolean`	`isStatic_value`
`protected boolean`	`isString_computed`
`protected boolean`	`isString_value`
`protected boolean`	`isUncheckedException_computed`
`protected boolean`	`isUncheckedException_value`
`protected boolean`	`jvmName_computed`
`protected String`	`jvmName_value`
`protected Map`	`localFields_String_values`
`protected boolean`	`localFieldsMap_computed`
`protected HashMap`	`localFieldsMap_value`
`protected boolean`	`localMethodsSignatureMap_computed`
`protected HashMap`	`localMethodsSignatureMap_value`
`protected Map`	`localTypeDecls_String_values`
`protected Map`	`lookupMethod_String_values`
`protected Map`	`lookupType_String_values`
`protected Map`	`lookupVariable_String_values`
`protected Map`	`mayCatch_TypeDecl_values`
`protected Map`	`memberFields_String_values`
`protected boolean`	`memberFieldsMap_computed`
`protected HashMap`	`memberFieldsMap_value`
`protected Map`	`memberTypes_String_values`
`protected Map`	`methodInvocationConversionTo_TypeDecl_values`
`protected boolean`	`methodsNameMap_computed`
`protected HashMap`	`methodsNameMap_value`
`protected boolean`	`methodsSignatureMap_computed`
`protected HashMap`	`methodsSignatureMap_value`
`protected Map`	`narrowingConversionTo_TypeDecl_values`
`protected boolean`	`needsClinit_computed`
`protected boolean`	`needsClinit_value`
`protected boolean`	`packageName_computed`
`protected String`	`packageName_value`
`protected Map`	`sameStructure_TypeDecl_values`
`protected boolean`	`sootClass_computed`
`protected SootClass`	`sootClass_value`
`protected boolean`	`sourceTypeDecl_computed`
`protected TypeDecl`	`sourceTypeDecl_value`
`protected Map`	`subtype_TypeDecl_values`
`protected String`	`tokenString_ID`
`protected boolean`	`typeError_computed`
`protected TypeDecl`	`typeError_value`
`protected boolean`	`typeException_computed`
`protected TypeDecl`	`typeException_value`
`protected boolean`	`typeName_computed`
`protected String`	`typeName_value`
`protected boolean`	`typeObject_computed`
`protected TypeDecl`	`typeObject_value`
`protected boolean`	`typeRuntimeException_computed`
`protected TypeDecl`	`typeRuntimeException_value`
`protected boolean`	`unboxed_computed`
`protected TypeDecl`	`unboxed_value`
`protected boolean`	`unimplementedMethods_computed`
`protected Collection`	`unimplementedMethods_value`
`protected boolean`	`uniqueIndex_computed`
`protected int`	`uniqueIndex_value`
`protected boolean`	`unknownType_computed`
`protected TypeDecl`	`unknownType_value`
`protected Map`	`unqualifiedLookupMethod_String_values`
`protected boolean`	`usesTypeVariable_computed`
`protected boolean`	`usesTypeVariable_initialized`
`protected boolean`	`usesTypeVariable_value`
`protected int`	`usesTypeVariable_visited`

Fields inherited from class soot.JastAddJ.ASTNode
children, generatedWithCacheCycle, generatedWithCircularEnabled, generatedWithComponentCheck, in$Circle, is$Final, numChildren, parent, PRIMITIVE_PACKAGE_NAME, state

Fields inherited from class beaver.Symbol
end, id, start, value

Fields inherited from interface soot.JastAddJ.SimpleSet
emptySet, fullSet

Constructor Summary

Constructors
Constructor and Description
`TypeDecl()`
`TypeDecl(Modifiers p0, String p1, List<BodyDecl> p2)`
`TypeDecl(Modifiers p0, Symbol p1, List<BodyDecl> p2)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`boolean`	`accessibleFrom(TypeDecl type)`
`boolean`	`accessibleFromExtend(TypeDecl type)`
`boolean`	`accessibleFromPackage(String packageName)`
`Constant`	`add(Constant c1, Constant c2)`
`SimpleSet`	`add(Object o)`
`void`	`addAccessor(ASTNode source, String name, ASTNode accessor)`
`void`	`addAttributes()`
`void`	`addBodyDecl(BodyDecl node)` Append an element to the BodyDecl list.
`void`	`addBodyDeclNoTransform(BodyDecl node)`
`ConstructorDecl`	`addConstructor(ConstructorDecl c)`
`void`	`addEnclosingVariables()`
`ClassDecl`	`addMemberClass(ClassDecl c)`
`FieldDeclaration`	`addMemberField(FieldDeclaration f)`
`MethodDecl`	`addMemberMethod(MethodDecl m)`
`void`	`addNestedType(TypeDecl typeDecl)`
`boolean`	`addsIndentationLevel()`
`void`	`addUsedNestedType(TypeDecl typeDecl)`
`protected boolean`	`allMethodsAbstract(SimpleSet set)`
`SimpleSet`	`ancestorMethods(String signature)`
`Constant`	`andBitwise(Constant c1, Constant c2)`
`Annotation`	`annotation(TypeDecl typeDecl)`
`TypeDecl`	`arrayType()`
`boolean`	`assignableToInt()`
`boolean`	`assignConversionTo(TypeDecl type, Expr expr)`
`TypeDecl`	`asWildcardExtends()`
`TypeDecl`	`asWildcardSuper()`
`TypeDecl`	`binaryNumericPromotion(TypeDecl type)`
`Constant`	`bitNot(Constant c)`
`TypeDecl`	`boxed()`
`boolean`	`boxingConversionTo(TypeDecl typeDecl)`
`SimpleSet`	`bridgeCandidates(String signature)`
`Constant`	`cast(Constant c)`
`boolean`	`castingConversionTo(TypeDecl type)`
`void`	`checkModifiers()`
`TypeDecl`	`clone()`
`boolean`	`commensurateWith(ElementValue value)`
`CompilationUnit`	`compilationUnit()` Fetches the immediately enclosing compilation unit.
`TypeDecl`	`componentType()`
`Collection`	`constructors()`
`boolean`	`containedIn(TypeDecl type)`
`boolean`	`contains(Object o)`
`FieldDeclaration`	`createAssertionsDisabled()`
`TypeAccess`	`createBoundAccess()`
`FieldDeclaration`	`createEnumArray(TypeDecl enumDecl)`
`int`	`createEnumIndex(EnumConstant e)`
`MethodDecl`	`createEnumMethod(TypeDecl enumDecl)`
`Access`	`createQualifiedAccess()`
`FieldDeclaration`	`createStaticClassField(String name)`
`MethodDecl`	`createStaticClassMethod()`
`boolean`	`declaredBeforeUse(Variable decl, ASTNode use)`
`boolean`	`declaredBeforeUse(Variable decl, int indexUse)`
`boolean`	`Define_boolean_enclosedByExceptionHandler(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_insideLoop(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_insideSwitch(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_inStaticContext(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_isAnonymous(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)`
`boolean`	`Define_boolean_isDest(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)`
`boolean`	`Define_boolean_isLocalClass(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_isNestedType(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_isSource(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBeAbstract(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBeFinal(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBeNative(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBePrivate(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBeProtected(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBePublic(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBeStatic(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBeStrictfp(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBeSynchronized(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBeTransient(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBeVolatile(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayUseAnnotationTarget(ASTNode caller, ASTNode child, String name)`
`boolean`	`Define_boolean_reportUnreachable(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_withinDeprecatedAnnotation(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_withinSuppressWarnings(ASTNode caller, ASTNode child, String s)`
`Collection`	`Define_Collection_lookupConstructor(ASTNode caller, ASTNode child)`
`Collection`	`Define_Collection_lookupMethod(ASTNode caller, ASTNode child, String name)`
`Collection`	`Define_Collection_lookupSuperConstructor(ASTNode caller, ASTNode child)`
`NameType`	`Define_NameType_nameType(ASTNode caller, ASTNode child)`
`SimpleSet`	`Define_SimpleSet_lookupType(ASTNode caller, ASTNode child, String name)`
`SimpleSet`	`Define_SimpleSet_lookupVariable(ASTNode caller, ASTNode child, String name)`
`String`	`Define_String_methodHost(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_componentType(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_enclosingInstance(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_enclosingType(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_hostType(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_returnType(ASTNode caller, ASTNode child)`
`VariableScope`	`Define_VariableScope_outerScope(ASTNode caller, ASTNode child)`
`int`	`dimension()`
`Constant`	`div(Constant c1, Constant c2)`
`String`	`dumpString()`
`TypeDecl`	`elementType()`
`protected Value`	`emitBoxingOperation(Body b, Value v, ASTNode location)`
`Value`	`emitCastTo(Body b, Expr expr, TypeDecl type)`
`Value`	`emitCastTo(Body b, Value v, TypeDecl type, ASTNode location)`
`protected Value`	`emitUnboxingOperation(Body b, Value v, ASTNode location)`
`boolean`	`enclosedBy(TypeDecl type)`
`boolean`	`encloses(TypeDecl type)`
`TypeDecl`	`enclosing()`
`ASTNode`	`enclosingBlock()`
`BodyDecl`	`enclosingBodyDecl()`
`TypeDecl`	`enclosingInstance()`
`TypeDecl`	`enclosingType()`
`Collection`	`enclosingVariables()`
`boolean`	`eqIsTrue(Expr left, Expr right)`
`TypeDecl`	`erasure()`
`Iterator`	`fieldsIterator()`
`FieldDeclaration`	`findSingleVariable(String name)`
`void`	`flushCache()`
`void`	`flushCollectionCache()`
`String`	`fullName()`
`ASTNode`	`getAccessor(ASTNode source, String name)`
`ASTNode`	`getAccessorSource(ASTNode accessor)`
`BodyDecl`	`getBodyDecl(int i)` Retrieves the element at index `i` in the BodyDecl list..
`List<BodyDecl>`	`getBodyDeclList()` Retrieves the BodyDecl list.
`List<BodyDecl>`	`getBodyDeclListNoTransform()` Retrieves the BodyDecl list.
`List<BodyDecl>`	`getBodyDecls()` Retrieves the BodyDecl list.
`List<BodyDecl>`	`getBodyDeclsNoTransform()` Retrieves the BodyDecl list.
`String`	`getID()` Retrieves the value for the lexeme ID.
`Modifiers`	`getModifiers()` Retrieves the Modifiers child.
`Modifiers`	`getModifiersNoTransform()` Retrieves the Modifiers child.
`int`	`getNumBodyDecl()` Retrieves the number of children in the BodyDecl list.
`int`	`getNumBodyDeclNoTransform()` Retrieves the number of children in the BodyDecl list.
`SootClass`	`getSootClassDecl()`
`SootField`	`getSootField(String name, TypeDecl type)`
`Type`	`getSootType()`
`boolean`	`hasAbstract()`
`boolean`	`hasAnnotationSafeVarargs()`
`boolean`	`hasAnnotationSuppressWarnings(String s)`
`boolean`	`hasEnclosingTypeDecl(String name)`
`boolean`	`hasField(String name)`
`boolean`	`hasMethod(String id)`
`boolean`	`hasNext()`
`boolean`	`hasPackage(String packageName)`
`boolean`	`hasType(String name)`
`String`	`hostPackage()`
`TypeDecl`	`hostType()`
`boolean`	`identityConversionTo(TypeDecl type)`
`HashSet`	`implementedInterfaces()`
`boolean`	`inExplicitConstructorInvocation()`
`void`	`init$Children()` Initializes the child array to the correct size.
`Collection`	`innerClassesAttributeEntries()`
`boolean`	`instanceOf(TypeDecl type)`
`boolean`	`inStaticContext()`
`boolean`	`involvesTypeParameters()`
`boolean`	`isAbstract()`
`boolean`	`isAnnotationDecl()`
`boolean`	`isAnonymous()`
`boolean`	`isAnonymousInNonStaticContext()`
`boolean`	`isArrayDecl()`
`boolean`	`isBoolean()`
`boolean`	`isByte()`
`boolean`	`isChar()`
`boolean`	`isCheckedException()` Unfortunately the concept of checked vs.
`boolean`	`isCircular()`
`boolean`	`isClassDecl()`
`boolean`	`isDAbefore(Variable v)`
`boolean`	`isDeprecated()`
`boolean`	`isDouble()`
`boolean`	`isDUbefore(Variable v)`
`boolean`	`isEmpty()`
`boolean`	`isEnumDecl()`
`boolean`	`isException()`
`boolean`	`isFinal()`
`boolean`	`isFloat()`
`boolean`	`isGenericType()`
`boolean`	`isInnerClass()`
`boolean`	`isInnerType()`
`boolean`	`isInnerTypeOf(TypeDecl typeDecl)`
`boolean`	`isInt()`
`boolean`	`isIntegralType()`
`boolean`	`isInterfaceDecl()`
`boolean`	`isIterable()` True if type is java.lang.Iterable or subtype As long as we use the 1.4 API we check for java.util.Collection instead.
`boolean`	`isLocalClass()`
`boolean`	`isLong()`
`boolean`	`isMemberType()`
`boolean`	`isNestedType()`
`boolean`	`isNull()`
`boolean`	`isNumericType()`
`boolean`	`isObject()`
`boolean`	`isParameterizedType()`
`boolean`	`isPrimitive()`
`boolean`	`isPrimitiveType()`
`boolean`	`isPrivate()`
`boolean`	`isProtected()`
`boolean`	`isPublic()`
`boolean`	`isRawType()`
`boolean`	`isReferenceType()`
`boolean`	`isReifiable()` A type is reifiable if it either refers to a non-parameterized type, is a raw type, is a parameterized type with only unbound wildcard parameters or is an array type with a reifiable type parameter.
`boolean`	`isShort()`
`boolean`	`isSingleton()`
`boolean`	`isSingleton(Object o)`
`boolean`	`isStatic()`
`boolean`	`isStrictfp()`
`boolean`	`isString()`
`boolean`	`isSupertypeOfArrayDecl(ArrayDecl type)`
`boolean`	`isSupertypeOfClassDecl(ClassDecl type)`
`boolean`	`isSupertypeOfInterfaceDecl(InterfaceDecl type)`
`boolean`	`isSupertypeOfNullType(NullType type)`
`boolean`	`isSupertypeOfPrimitiveType(PrimitiveType type)`
`boolean`	`isSupertypeOfVoidType(VoidType type)`
`boolean`	`isSynthetic()`
`boolean`	`isTopLevelType()`
`boolean`	`isTypeVariable()`
`boolean`	`isUnboxedPrimitive()`
`boolean`	`isUncheckedConversionTo(TypeDecl dest)` An unchecked conversion occurs when converting from a raw type G to a generic type G.
`boolean`	`isUncheckedException()` Unfortunately the concept of checked vs.
`boolean`	`isUnknown()`
`boolean`	`isValidAnnotationMethodReturnType()`
`boolean`	`isVoid()`
`boolean`	`isWildcard()`
`Iterator`	`iterator()`
`void`	`jimplify1phase2()`
`void`	`jimplify2()`
`void`	`jimplify2clinit()`
`String`	`jvmName()`
`boolean`	`leIsTrue(Expr left, Expr right)`
`SimpleSet`	`localFields(String name)`
`HashMap`	`localFieldsMap()`
`Iterator`	`localMethodsIterator()`
`SimpleSet`	`localMethodsSignature(String signature)`
`HashMap`	`localMethodsSignatureMap()`
`SimpleSet`	`localTypeDecls(String name)`
`ConstructorDecl`	`lookupConstructor(ConstructorDecl signature)`
`GLBType`	`lookupGLBType(ArrayList bounds)`
`LUBType`	`lookupLUBType(Collection bounds)`
`Collection`	`lookupMethod(String name)`
`Collection`	`lookupSuperConstructor()`
`SimpleSet`	`lookupType(String name)`
`TypeDecl`	`lookupType(String packageName, String typeName)`
`SimpleSet`	`lookupVariable(String name)`
`TypeDecl`	`lookupWildcardExtends(TypeDecl typeDecl)`
`TypeDecl`	`lookupWildcardSuper(TypeDecl typeDecl)`
`Constant`	`lshift(Constant c1, Constant c2)`
`boolean`	`ltIsTrue(Expr left, Expr right)`
`TypeDecl`	`makeGeneric(Signatures.ClassSignature s)`
`boolean`	`mayAccess(Expr expr, FieldDeclaration field)`
`boolean`	`mayAccess(MethodAccess access, MethodDecl method)`
`boolean`	`mayCatch(TypeDecl thrownType)`
`boolean`	`mayHaveRewrite()`
`SimpleSet`	`memberFields(String name)`
`HashMap`	`memberFieldsMap()`
`Collection`	`memberMethods(String name)`
`SimpleSet`	`memberTypes(String name)`
`boolean`	`methodInvocationConversionTo(TypeDecl type)`
`Iterator`	`methodsIterator()`
`HashMap`	`methodsNameMap()`
`SimpleSet`	`methodsSignature(String signature)`
`HashMap`	`methodsSignatureMap()`
`MethodDecl`	`methodWithArgs(String name, TypeDecl[] args)`
`Constant`	`minus(Constant c)`
`Constant`	`mod(Constant c1, Constant c2)`
`Constant`	`mul(Constant c1, Constant c2)`
`String`	`name()`
`void`	`nameCheck()`
`boolean`	`narrowingConversionTo(TypeDecl type)`
`boolean`	`needsClinit()`
`boolean`	`needsEnclosing()`
`boolean`	`needsSuperEnclosing()`
`Collection`	`nestedTypes()`
`Object`	`next()`
`int`	`nextAnonymousIndex()`
`protected int`	`numChildren()`
`Constant`	`orBitwise(Constant c1, Constant c2)`
`TypeDecl`	`original()`
`String`	`packageName()`
`Constant`	`plus(Constant c)`
`protected void`	`ppBodyDecls(StringBuffer s)`
`String`	`primitiveClassName()`
`Constant`	`questionColon(Constant cond, Constant c1, Constant c2)`
`String`	`referenceClassFieldName()`
`void`	`refined_TypeHierarchyCheck_TypeDecl_typeCheck()`
`void`	`remove()`
`ASTNode`	`rewriteTo()`
`Constant`	`rshift(Constant c1, Constant c2)`
`boolean`	`sameSignature(Access a)`
`boolean`	`sameStructure(TypeDecl t)`
`void`	`setBodyDecl(BodyDecl node, int i)` Replaces the BodyDecl list element at index `i` with the new node `node`.
`void`	`setBodyDeclList(List<BodyDecl> list)` Replaces the BodyDecl list.
`void`	`setID(String value)` Replaces the lexeme ID.
`void`	`setID(Symbol symbol)` JastAdd-internal setter for lexeme ID using the Beaver parser.
`void`	`setModifiers(Modifiers node)` Replaces the Modifiers child.
`int`	`size()`
`SootClass`	`sootClass()`
`RefType`	`sootRef()`
`int`	`sootTypeModifiers()`
`String`	`sourceNameWithoutPath()`
`TypeDecl`	`sourceTypeDecl()`
`boolean`	`stringConversion()`
`TypeDecl`	`stringPromotion()`
`Constant`	`sub(Constant c1, Constant c2)`
`Access`	`substitute(Parameterization parTypeDecl)`
`TypeDecl`	`substitute(TypeVariable typeVariable)`
`Access`	`substituteParameterType(Parameterization parTypeDecl)`
`Access`	`substituteReturnType(Parameterization parTypeDecl)`
`boolean`	`subtype(TypeDecl type)`
`TypeDecl`	`superEnclosing()`
`boolean`	`supertypeArrayDecl(ArrayDecl type)`
`boolean`	`supertypeClassDecl(ClassDecl type)`
`boolean`	`supertypeClassDeclSubstituted(ClassDeclSubstituted type)`
`boolean`	`supertypeGenericClassDecl(GenericClassDecl type)`
`boolean`	`supertypeGenericClassDeclSubstituted(GenericClassDeclSubstituted type)`
`boolean`	`supertypeGenericInterfaceDecl(GenericInterfaceDecl type)`
`boolean`	`supertypeGenericInterfaceDeclSubstituted(GenericInterfaceDeclSubstituted type)`
`boolean`	`supertypeGLBType(GLBType type)`
`boolean`	`supertypeInterfaceDecl(InterfaceDecl type)`
`boolean`	`supertypeInterfaceDeclSubstituted(InterfaceDeclSubstituted type)`
`boolean`	`supertypeLUBType(LUBType type)`
`boolean`	`supertypeNullType(NullType type)`
`boolean`	`supertypeParClassDecl(ParClassDecl type)`
`boolean`	`supertypeParInterfaceDecl(ParInterfaceDecl type)`
`boolean`	`supertypePrimitiveType(PrimitiveType type)`
`boolean`	`supertypeRawClassDecl(RawClassDecl type)`
`boolean`	`supertypeRawInterfaceDecl(RawInterfaceDecl type)`
`boolean`	`supertypeTypeVariable(TypeVariable type)`
`boolean`	`supertypeVoidType(VoidType type)`
`boolean`	`supertypeWildcard(WildcardType type)`
`boolean`	`supertypeWildcardExtends(WildcardExtendsType type)`
`boolean`	`supertypeWildcardSuper(WildcardSuperType type)`
`TypeDecl`	`topLevelType()`
`void`	`transformation()`
`void`	`typeCheck()`
`TypeDecl`	`typeCloneable()`
`String`	`typeDescriptor()`
`TypeDecl`	`typeError()`
`TypeDecl`	`typeException()`
`TypeDecl`	`typeInt()`
`String`	`typeName()`
`TypeDecl`	`typeObject()`
`TypeDecl`	`typeRuntimeException()`
`TypeDecl`	`typeSerializable()`
`TypeDecl`	`typeVoid()`
`TypeDecl`	`typeWildcard()`
`TypeDecl`	`unaryNumericPromotion()`
`TypeDecl`	`unboxed()`
`boolean`	`unboxingConversionTo(TypeDecl typeDecl)`
`Collection`	`unimplementedMethods()`
`int`	`uniqueIndex()`
`TypeDecl`	`unknownType()`
`Collection`	`unqualifiedLookupMethod(String name)`
`Constant`	`urshift(Constant c1, Constant c2)`
`Collection`	`usedNestedTypes()`
`boolean`	`usesTypeVariable()`
`int`	`variableSize()`
`boolean`	`wideningConversionTo(TypeDecl type)`
`TypeDecl`	`withinBodyThatSubclasses(TypeDecl type)`
`boolean`	`withinDeprecatedAnnotation()`
`boolean`	`withinSuppressWarnings(String s)`
`Constant`	`xorBitwise(Constant c1, Constant c2)`

Methods inherited from class soot.JastAddJ.ASTNode
accessControl, addChild, asImmediate, asLocal, asLocal, asRValue, beginExceptionRange, branchTarget, checkDUeverywhere, checkEnum, checkUncheckedConversion, checkWarnings, clearLocations, cloneSubtree, collectBranches, collectEnclosingVariables, collectErrors, collectExceptions, collectFinally, collectTypesToHierarchy, collectTypesToSignatures, copy, Define_Annotation_lookupAnnotation, Define_ArrayList_exceptionRanges, Define_ASTNode_enclosingBlock, Define_BodyDecl_enclosingBodyDecl, Define_boolean_handlesException, Define_boolean_hasPackage, Define_boolean_inExplicitConstructorInvocation, Define_boolean_inExtendsOrImplements, Define_boolean_inhModifiedInScope, Define_boolean_isAnonymousDecl, Define_boolean_isCatchParam, Define_boolean_isConstructorParameter, Define_boolean_isExceptionHandlerParameter, Define_boolean_isExplicitGenericConstructorAccess, Define_boolean_isIncOrDec, Define_boolean_isMemberType, Define_boolean_isMethodParameter, Define_boolean_reachable, Define_boolean_reachableCatchClause, Define_boolean_resourcePreviouslyDeclared, Define_boolean_variableArityValid, Define_Case_bind, Define_CatchClause_catchClause, Define_ClassInstanceExpr_getClassInstanceExpr, Define_Collection_TypeDecl__caughtExceptions, Define_CompilationUnit_compilationUnit, Define_ConstructorDecl_constructorDecl, Define_ConstructorDecl_unknownConstructor, Define_ElementValue_lookupElementTypeValue, Define_Expr_nestedScope, Define_GLBType_lookupGLBType, Define_int_localNum, Define_LabeledStmt_lookupLabel, Define_LUBType_lookupLUBType, Define_MethodDecl_unknownMethod, Define_SimpleSet_allImportedTypes, Define_soot_jimple_Stmt_condition_false_label, Define_soot_jimple_Stmt_condition_true_label, Define_String_hostPackage, Define_String_packageName, Define_String_typeDeclIndent, Define_TypeDecl_assignConvertedType, Define_TypeDecl_declType, Define_TypeDecl_enclosingAnnotationDecl, Define_TypeDecl_expectedType, Define_TypeDecl_genericDecl, Define_TypeDecl_lookupType, Define_TypeDecl_lookupWildcardExtends, Define_TypeDecl_lookupWildcardSuper, Define_TypeDecl_superType, Define_TypeDecl_switchType, Define_TypeDecl_typeBoolean, Define_TypeDecl_typeByte, Define_TypeDecl_typeChar, Define_TypeDecl_typeCloneable, Define_TypeDecl_typeDouble, Define_TypeDecl_typeError, Define_TypeDecl_typeException, Define_TypeDecl_typeFloat, Define_TypeDecl_typeInt, Define_TypeDecl_typeLong, Define_TypeDecl_typeNull, Define_TypeDecl_typeNullPointerException, Define_TypeDecl_typeObject, Define_TypeDecl_typeRuntimeException, Define_TypeDecl_typeSerializable, Define_TypeDecl_typeShort, Define_TypeDecl_typeString, Define_TypeDecl_typeThrowable, Define_TypeDecl_typeVoid, Define_TypeDecl_typeWildcard, Define_TypeDecl_unknownType, Define_Variable_unknownField, definesLabel, definiteAssignment, dumpTree, dumpTree, dumpTreeNoRewrite, dumpTreeNoRewrite, duringAnnotations, duringAnonymousClasses, duringBoundNames, duringDU, duringEnums, duringGenericTypeVariables, duringImplicitConstructor, duringLiterals, duringNameResolution, duringSyntacticClassification, duringVariableDeclarationTransformation, emitConstant, end, endExceptionRange, error, errorPrefix, exceptionHandling, extractIndent, extractSingleType, flushCaches, fullCopy, getChild, getChildNoTransform, getIndexOfChild, getNumChild, getNumChildNoTransform, getParent, in$Circle, in$Circle, indent, insertChild, is$Final, is$Final, isDescendantTo, isStringAdd, jimplify1phase1, jimplify2, lineNumber, location, newLabel, options, putSimpleSetElement, reachedException, removeChild, removeInstanceMethods, removeInstanceVariables, replace, setChild, setEnd, setLocation, setParent, setStart, sourceFile, start, state, toString, toString, transformEnumConstructors, unassignedEverywhere, varChildIndex, varChildIndex, warning, warningPrefix, with

Methods inherited from class beaver.Symbol
getColumn, getEnd, getId, getLine, getStart, makePosition

Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Iterator
forEachRemaining

Methods inherited from interface java.lang.Iterable
forEach, spliterator

Field Detail

anonymousIndex
```
public int anonymousIndex
```

accessorCounter
```
public int accessorCounter
```

clinit
```
public SootMethod clinit
```

tokenString_ID
```
protected String tokenString_ID
```

IDstart
```
public int IDstart
```

IDend
```
public int IDend
```

accessibleFromPackage_String_values

protected Map accessibleFromPackage_String_values

accessibleFromExtend_TypeDecl_values

protected Map accessibleFromExtend_TypeDecl_values

accessibleFrom_TypeDecl_values

protected Map accessibleFrom_TypeDecl_values

dimension_computed
```
protected boolean dimension_computed
```

dimension_value
```
protected int dimension_value
```

elementType_computed
```
protected boolean elementType_computed
```

elementType_value
```
protected TypeDecl elementType_value
```

arrayType_computed
```
protected boolean arrayType_computed
```

arrayType_value
```
protected TypeDecl arrayType_value
```

isException_computed
```
protected boolean isException_computed
```

isException_value
```
protected boolean isException_value
```

isCheckedException_computed

protected boolean isCheckedException_computed

isCheckedException_value

protected boolean isCheckedException_value

isUncheckedException_computed

protected boolean isUncheckedException_computed

isUncheckedException_value

protected boolean isUncheckedException_value

mayCatch_TypeDecl_values
```
protected Map mayCatch_TypeDecl_values
```

constructors_computed

protected boolean constructors_computed

constructors_value

protected Collection constructors_value

unqualifiedLookupMethod_String_values

protected Map unqualifiedLookupMethod_String_values

methodsNameMap_computed

protected boolean methodsNameMap_computed

methodsNameMap_value
```
protected HashMap methodsNameMap_value
```

localMethodsSignatureMap_computed

protected boolean localMethodsSignatureMap_computed

localMethodsSignatureMap_value

protected HashMap localMethodsSignatureMap_value

methodsSignatureMap_computed

protected boolean methodsSignatureMap_computed

methodsSignatureMap_value

protected HashMap methodsSignatureMap_value

ancestorMethods_String_values

protected Map ancestorMethods_String_values

localTypeDecls_String_values

protected Map localTypeDecls_String_values

memberTypes_String_values

protected Map memberTypes_String_values

localFields_String_values

protected Map localFields_String_values

localFieldsMap_computed

protected boolean localFieldsMap_computed

localFieldsMap_value
```
protected HashMap localFieldsMap_value
```

memberFieldsMap_computed

protected boolean memberFieldsMap_computed

memberFieldsMap_value

protected HashMap memberFieldsMap_value

memberFields_String_values

protected Map memberFields_String_values

hasAbstract_computed
```
protected boolean hasAbstract_computed
```

hasAbstract_value
```
protected boolean hasAbstract_value
```

unimplementedMethods_computed

protected boolean unimplementedMethods_computed

unimplementedMethods_value

protected Collection unimplementedMethods_value

isPublic_computed
```
protected boolean isPublic_computed
```

isPublic_value
```
protected boolean isPublic_value
```

isStatic_computed
```
protected boolean isStatic_computed
```

isStatic_value
```
protected boolean isStatic_value
```

fullName_computed
```
protected boolean fullName_computed
```

fullName_value
```
protected String fullName_value
```

typeName_computed
```
protected boolean typeName_computed
```

typeName_value
```
protected String typeName_value
```

narrowingConversionTo_TypeDecl_values

protected Map narrowingConversionTo_TypeDecl_values

methodInvocationConversionTo_TypeDecl_values

protected Map methodInvocationConversionTo_TypeDecl_values

castingConversionTo_TypeDecl_values

protected Map castingConversionTo_TypeDecl_values

isString_computed
```
protected boolean isString_computed
```

isString_value
```
protected boolean isString_value
```

isObject_computed
```
protected boolean isObject_computed
```

isObject_value
```
protected boolean isObject_value
```

instanceOf_TypeDecl_values

protected Map instanceOf_TypeDecl_values

isCircular_visited
```
protected int isCircular_visited
```

isCircular_computed
```
protected boolean isCircular_computed
```

isCircular_initialized

protected boolean isCircular_initialized

isCircular_value
```
protected boolean isCircular_value
```

boxed_computed
```
protected boolean boxed_computed
```

boxed_value
```
protected TypeDecl boxed_value
```

unboxed_computed
```
protected boolean unboxed_computed
```

unboxed_value
```
protected TypeDecl unboxed_value
```

isIterable_computed
```
protected boolean isIterable_computed
```

isIterable_value
```
protected boolean isIterable_value
```

involvesTypeParameters_visited

protected int involvesTypeParameters_visited

involvesTypeParameters_computed

protected boolean involvesTypeParameters_computed

involvesTypeParameters_initialized

protected boolean involvesTypeParameters_initialized

involvesTypeParameters_value

protected boolean involvesTypeParameters_value

erasure_computed
```
protected boolean erasure_computed
```

erasure_value
```
protected TypeDecl erasure_value
```

implementedInterfaces_computed

protected boolean implementedInterfaces_computed

implementedInterfaces_value

protected HashSet implementedInterfaces_value

usesTypeVariable_visited
```
protected int usesTypeVariable_visited
```

usesTypeVariable_computed

protected boolean usesTypeVariable_computed

usesTypeVariable_initialized

protected boolean usesTypeVariable_initialized

usesTypeVariable_value

protected boolean usesTypeVariable_value

sourceTypeDecl_computed

protected boolean sourceTypeDecl_computed

sourceTypeDecl_value

protected TypeDecl sourceTypeDecl_value

containedIn_TypeDecl_values

protected Map containedIn_TypeDecl_values

sameStructure_TypeDecl_values

protected Map sameStructure_TypeDecl_values

subtype_TypeDecl_values
```
protected Map subtype_TypeDecl_values
```

enclosingVariables_computed

protected boolean enclosingVariables_computed

enclosingVariables_value

protected Collection enclosingVariables_value

uniqueIndex_computed
```
protected boolean uniqueIndex_computed
```

uniqueIndex_value
```
protected int uniqueIndex_value
```

jvmName_computed
```
protected boolean jvmName_computed
```

jvmName_value
```
protected String jvmName_value
```

getSootClassDecl_computed

protected boolean getSootClassDecl_computed

getSootClassDecl_value

protected SootClass getSootClassDecl_value

getSootType_computed
```
protected boolean getSootType_computed
```

getSootType_value
```
protected Type getSootType_value
```

sootClass_computed
```
protected boolean sootClass_computed
```

sootClass_value
```
protected SootClass sootClass_value
```

needsClinit_computed
```
protected boolean needsClinit_computed
```

needsClinit_value
```
protected boolean needsClinit_value
```

innerClassesAttributeEntries_computed

protected boolean innerClassesAttributeEntries_computed

innerClassesAttributeEntries_value

protected Collection innerClassesAttributeEntries_value

getSootField_String_TypeDecl_values

protected Map getSootField_String_TypeDecl_values

createEnumMethod_TypeDecl_values

protected Map createEnumMethod_TypeDecl_values

createEnumIndex_EnumConstant_values

protected Map createEnumIndex_EnumConstant_values

createEnumArray_TypeDecl_values

protected Map createEnumArray_TypeDecl_values

componentType_computed

protected boolean componentType_computed

componentType_value
```
protected TypeDecl componentType_value
```

isDAbefore_Variable_values

protected Map isDAbefore_Variable_values

isDUbefore_Variable_values

protected Map isDUbefore_Variable_values

typeException_computed

protected boolean typeException_computed

typeException_value
```
protected TypeDecl typeException_value
```

typeRuntimeException_computed

protected boolean typeRuntimeException_computed

typeRuntimeException_value

protected TypeDecl typeRuntimeException_value

typeError_computed
```
protected boolean typeError_computed
```

typeError_value
```
protected TypeDecl typeError_value
```

lookupMethod_String_values

protected Map lookupMethod_String_values

typeObject_computed
```
protected boolean typeObject_computed
```

typeObject_value
```
protected TypeDecl typeObject_value
```

lookupType_String_values
```
protected Map lookupType_String_values
```

lookupVariable_String_values

protected Map lookupVariable_String_values

packageName_computed
```
protected boolean packageName_computed
```

packageName_value
```
protected String packageName_value
```

isAnonymous_computed
```
protected boolean isAnonymous_computed
```

isAnonymous_value
```
protected boolean isAnonymous_value
```

unknownType_computed
```
protected boolean unknownType_computed
```

unknownType_value
```
protected TypeDecl unknownType_value
```

inExplicitConstructorInvocation_computed

protected boolean inExplicitConstructorInvocation_computed

inExplicitConstructorInvocation_value

protected boolean inExplicitConstructorInvocation_value

inStaticContext_computed

protected boolean inStaticContext_computed

inStaticContext_value

protected boolean inStaticContext_value

Constructor Detail

TypeDecl
```
public TypeDecl()
```

TypeDecl

public TypeDecl(Modifiers p0,
                String p1,
                List<BodyDecl> p2)

TypeDecl

public TypeDecl(Modifiers p0,
                Symbol p1,
                List<BodyDecl> p2)

Method Detail

flushCache
```
public void flushCache()
```
Overrides:

flushCache in class ASTNode<ASTNode>

flushCollectionCache
```
public void flushCollectionCache()
```
Overrides:

flushCollectionCache in class ASTNode<ASTNode>

clone

public TypeDecl clone()
               throws CloneNotSupportedException

Overrides:: clone in class ASTNode<ASTNode>
Throws:: CloneNotSupportedException

nextAnonymousIndex
```
public int nextAnonymousIndex()
```

addMemberMethod

public MethodDecl addMemberMethod(MethodDecl m)

addConstructor

public ConstructorDecl addConstructor(ConstructorDecl c)

addMemberClass

public ClassDecl addMemberClass(ClassDecl c)

addMemberField

public FieldDeclaration addMemberField(FieldDeclaration f)

createBoundAccess
```
public TypeAccess createBoundAccess()
```

add
```
public SimpleSet add(Object o)
```
Specified by:

add in interface SimpleSet

isSingleton
```
public boolean isSingleton()
```
Specified by:

isSingleton in interface SimpleSet

isSingleton
```
public boolean isSingleton(Object o)
```
Specified by:

isSingleton in interface SimpleSet

iterator
```
public Iterator iterator()
```
Specified by:

iterator in interface Iterable<ASTNode>

Specified by:

iterator in interface SimpleSet

Overrides:

iterator in class ASTNode<ASTNode>

hasNext
```
public boolean hasNext()
```
Specified by:

hasNext in interface Iterator

next
```
public Object next()
```
Specified by:

next in interface Iterator

remove
```
public void remove()
```
Specified by:

remove in interface Iterator

declaredBeforeUse

public boolean declaredBeforeUse(Variable decl,
                                 ASTNode use)

declaredBeforeUse

public boolean declaredBeforeUse(Variable decl,
                                 int indexUse)

lookupConstructor

public ConstructorDecl lookupConstructor(ConstructorDecl signature)

mayAccess

public boolean mayAccess(MethodAccess access,
                         MethodDecl method)

Returns:: true if the method access may access the method

localMethodsIterator

public Iterator localMethodsIterator()

methodsIterator
```
public Iterator methodsIterator()
```

allMethodsAbstract

protected boolean allMethodsAbstract(SimpleSet set)

mayAccess

public boolean mayAccess(Expr expr,
                         FieldDeclaration field)

Returns:: true if the expression may access the field

fieldsIterator
```
public Iterator fieldsIterator()
```

checkModifiers
```
public void checkModifiers()
```

nameCheck
```
public void nameCheck()
```
Overrides:

nameCheck in class ASTNode<ASTNode>

ppBodyDecls

protected void ppBodyDecls(StringBuffer s)

createQualifiedAccess
```
public Access createQualifiedAccess()
```

findSingleVariable

public FieldDeclaration findSingleVariable(String name)

refined_TypeHierarchyCheck_TypeDecl_typeCheck

public void refined_TypeHierarchyCheck_TypeDecl_typeCheck()

makeGeneric

public TypeDecl makeGeneric(Signatures.ClassSignature s)

substitute

public TypeDecl substitute(TypeVariable typeVariable)

substitute

public Access substitute(Parameterization parTypeDecl)

substituteReturnType

public Access substituteReturnType(Parameterization parTypeDecl)

substituteParameterType

public Access substituteParameterType(Parameterization parTypeDecl)

hasField
```
public boolean hasField(String name)
```

hasMethod
```
public boolean hasMethod(String id)
```

nestedTypes
```
public Collection nestedTypes()
```

addNestedType

public void addNestedType(TypeDecl typeDecl)

usedNestedTypes
```
public Collection usedNestedTypes()
```

addUsedNestedType

public void addUsedNestedType(TypeDecl typeDecl)

getAccessor

public ASTNode getAccessor(ASTNode source,
                           String name)

addAccessor

public void addAccessor(ASTNode source,
                        String name,
                        ASTNode accessor)

getAccessorSource

public ASTNode getAccessorSource(ASTNode accessor)

addEnclosingVariables
```
public void addEnclosingVariables()
```

createAssertionsDisabled

public FieldDeclaration createAssertionsDisabled()

createStaticClassField

public FieldDeclaration createStaticClassField(String name)

createStaticClassMethod

public MethodDecl createStaticClassMethod()

transformation
```
public void transformation()
```
Overrides:

transformation in class ASTNode<ASTNode>

jimplify1phase2
```
public void jimplify1phase2()
```
Overrides:

jimplify1phase2 in class ASTNode<ASTNode>

emitCastTo

public Value emitCastTo(Body b,
                        Value v,
                        TypeDecl type,
                        ASTNode location)

jimplify2clinit
```
public void jimplify2clinit()
```

jimplify2
```
public void jimplify2()
```
Overrides:

jimplify2 in class ASTNode<ASTNode>

addAttributes
```
public void addAttributes()
```
Overrides:

addAttributes in class ASTNode<ASTNode>

emitBoxingOperation

protected Value emitBoxingOperation(Body b,
                                    Value v,
                                    ASTNode location)

emitUnboxingOperation

protected Value emitUnboxingOperation(Body b,
                                      Value v,
                                      ASTNode location)

init$Children
```
public void init$Children()
```
Initializes the child array to the correct size. Initializes List and Opt nta children.

Overrides:

init$Children in class ASTNode<ASTNode>

numChildren
```
protected int numChildren()
```
Overrides:

numChildren in class ASTNode<ASTNode>

mayHaveRewrite
```
public boolean mayHaveRewrite()
```
Overrides:

mayHaveRewrite in class ASTNode<ASTNode>

setModifiers
```
public void setModifiers(Modifiers node)
```
Replaces the Modifiers child.

Parameters:

node - The new node to replace the Modifiers child.

getModifiers
```
public Modifiers getModifiers()
```
Retrieves the Modifiers child.

Returns:

The current node used as the Modifiers child.

getModifiersNoTransform
```
public Modifiers getModifiersNoTransform()
```
Retrieves the Modifiers child.
This method does not invoke AST transformations.

Returns:

The current node used as the Modifiers child.

setID
```
public void setID(String value)
```
Replaces the lexeme ID.

Parameters:

value - The new value for the lexeme ID.

setID
```
public void setID(Symbol symbol)
```
JastAdd-internal setter for lexeme ID using the Beaver parser.

getID
```
public String getID()
```
Retrieves the value for the lexeme ID.

Returns:

The value for the lexeme ID.

setBodyDeclList
```
public void setBodyDeclList(List<BodyDecl> list)
```
Replaces the BodyDecl list.

Parameters:

list - The new list node to be used as the BodyDecl list.

getNumBodyDecl
```
public int getNumBodyDecl()
```
Retrieves the number of children in the BodyDecl list.

Returns:

Number of children in the BodyDecl list.

getNumBodyDeclNoTransform
```
public int getNumBodyDeclNoTransform()
```
Retrieves the number of children in the BodyDecl list. Calling this method will not trigger rewrites..

Returns:

Number of children in the BodyDecl list.

getBodyDecl
```
public BodyDecl getBodyDecl(int i)
```
Retrieves the element at index i in the BodyDecl list..

Parameters:

i - Index of the element to return.

Returns:

The element at position i in the BodyDecl list.

addBodyDecl
```
public void addBodyDecl(BodyDecl node)
```
Append an element to the BodyDecl list.

Parameters:

node - The element to append to the BodyDecl list.

addBodyDeclNoTransform

public void addBodyDeclNoTransform(BodyDecl node)

setBodyDecl
```
public void setBodyDecl(BodyDecl node,
                        int i)
```
Replaces the BodyDecl list element at index i with the new node node.

Parameters:

node - The new node to replace the old list element.

i - The list index of the node to be replaced.

getBodyDecls
```
public List<BodyDecl> getBodyDecls()
```
Retrieves the BodyDecl list.

Returns:

The node representing the BodyDecl list.

getBodyDeclsNoTransform
```
public List<BodyDecl> getBodyDeclsNoTransform()
```
Retrieves the BodyDecl list.
This method does not invoke AST transformations.

Returns:

The node representing the BodyDecl list.

getBodyDeclList
```
public List<BodyDecl> getBodyDeclList()
```
Retrieves the BodyDecl list.

Returns:

The node representing the BodyDecl list.

getBodyDeclListNoTransform
```
public List<BodyDecl> getBodyDeclListNoTransform()
```
Retrieves the BodyDecl list.
This method does not invoke AST transformations.

Returns:

The node representing the BodyDecl list.

typeCheck
```
public void typeCheck()
```
Overrides:

typeCheck in class ASTNode<ASTNode>

emitCastTo

public Value emitCastTo(Body b,
                        Expr expr,
                        TypeDecl type)

cast
```
public Constant cast(Constant c)
```

plus
```
public Constant plus(Constant c)
```

minus
```
public Constant minus(Constant c)
```

bitNot
```
public Constant bitNot(Constant c)
```

mul

public Constant mul(Constant c1,
                    Constant c2)

div

public Constant div(Constant c1,
                    Constant c2)

mod

public Constant mod(Constant c1,
                    Constant c2)

add

public Constant add(Constant c1,
                    Constant c2)

sub

public Constant sub(Constant c1,
                    Constant c2)

lshift

public Constant lshift(Constant c1,
                       Constant c2)

rshift

public Constant rshift(Constant c1,
                       Constant c2)

urshift

public Constant urshift(Constant c1,
                        Constant c2)

andBitwise

public Constant andBitwise(Constant c1,
                           Constant c2)

xorBitwise

public Constant xorBitwise(Constant c1,
                           Constant c2)

orBitwise

public Constant orBitwise(Constant c1,
                          Constant c2)

questionColon

public Constant questionColon(Constant cond,
                              Constant c1,
                              Constant c2)

eqIsTrue

public boolean eqIsTrue(Expr left,
                        Expr right)

ltIsTrue

public boolean ltIsTrue(Expr left,
                        Expr right)

leIsTrue

public boolean leIsTrue(Expr left,
                        Expr right)

accessibleFromPackage

public boolean accessibleFromPackage(String packageName)

accessibleFromExtend

public boolean accessibleFromExtend(TypeDecl type)

accessibleFrom

public boolean accessibleFrom(TypeDecl type)

dimension
```
public int dimension()
```

elementType
```
public TypeDecl elementType()
```

arrayType
```
public TypeDecl arrayType()
```

size
```
public int size()
```
Specified by:

size in interface SimpleSet

isEmpty
```
public boolean isEmpty()
```
Specified by:

isEmpty in interface SimpleSet

contains
```
public boolean contains(Object o)
```
Specified by:

contains in interface SimpleSet

isException
```
public boolean isException()
```

isCheckedException
```
public boolean isCheckedException()
```
Unfortunately the concept of checked vs. unchecked exceptions has been inverted in JastAddJ compared to the Java specification. This is a slightly unfortunate design flaw which we cannot change at this time.

isUncheckedException
```
public boolean isUncheckedException()
```
Unfortunately the concept of checked vs. unchecked exceptions has been inverted in JastAddJ compared to the Java specification. This is a slightly unfortunate design flaw which we cannot change at this time.

mayCatch

public boolean mayCatch(TypeDecl thrownType)

lookupSuperConstructor

public Collection lookupSuperConstructor()

constructors
```
public Collection constructors()
```

unqualifiedLookupMethod

public Collection unqualifiedLookupMethod(String name)

memberMethods

public Collection memberMethods(String name)

methodsNameMap
```
public HashMap methodsNameMap()
```

localMethodsSignature

public SimpleSet localMethodsSignature(String signature)

localMethodsSignatureMap

public HashMap localMethodsSignatureMap()

methodsSignature

public SimpleSet methodsSignature(String signature)

methodsSignatureMap
```
public HashMap methodsSignatureMap()
```

ancestorMethods

public SimpleSet ancestorMethods(String signature)

hasType
```
public boolean hasType(String name)
```

localTypeDecls

public SimpleSet localTypeDecls(String name)

memberTypes

public SimpleSet memberTypes(String name)

localFields

public SimpleSet localFields(String name)

localFieldsMap
```
public HashMap localFieldsMap()
```

memberFieldsMap
```
public HashMap memberFieldsMap()
```

memberFields

public SimpleSet memberFields(String name)

hasAbstract
```
public boolean hasAbstract()
```

unimplementedMethods

public Collection unimplementedMethods()

isPublic
```
public boolean isPublic()
```

isPrivate
```
public boolean isPrivate()
```

isProtected
```
public boolean isProtected()
```

isAbstract
```
public boolean isAbstract()
```

isStatic
```
public boolean isStatic()
```

isFinal
```
public boolean isFinal()
```

isStrictfp
```
public boolean isStrictfp()
```

isSynthetic
```
public boolean isSynthetic()
```

hasEnclosingTypeDecl

public boolean hasEnclosingTypeDecl(String name)

assignableToInt
```
public boolean assignableToInt()
```

addsIndentationLevel
```
public boolean addsIndentationLevel()
```
Overrides:

addsIndentationLevel in class ASTNode<ASTNode>

dumpString
```
public String dumpString()
```
Overrides:

dumpString in class ASTNode<ASTNode>

name
```
public String name()
```

fullName
```
public String fullName()
```

typeName
```
public String typeName()
```

identityConversionTo

public boolean identityConversionTo(TypeDecl type)

wideningConversionTo

public boolean wideningConversionTo(TypeDecl type)

narrowingConversionTo

public boolean narrowingConversionTo(TypeDecl type)

stringConversion
```
public boolean stringConversion()
```

assignConversionTo

public boolean assignConversionTo(TypeDecl type,
                                  Expr expr)

methodInvocationConversionTo

public boolean methodInvocationConversionTo(TypeDecl type)

castingConversionTo

public boolean castingConversionTo(TypeDecl type)

unaryNumericPromotion

public TypeDecl unaryNumericPromotion()

binaryNumericPromotion

public TypeDecl binaryNumericPromotion(TypeDecl type)

isReferenceType
```
public boolean isReferenceType()
```

isPrimitiveType
```
public boolean isPrimitiveType()
```

isNumericType
```
public boolean isNumericType()
```

isIntegralType
```
public boolean isIntegralType()
```

isBoolean
```
public boolean isBoolean()
```

isByte
```
public boolean isByte()
```

isChar
```
public boolean isChar()
```

isShort
```
public boolean isShort()
```

isInt
```
public boolean isInt()
```

isFloat
```
public boolean isFloat()
```

isLong
```
public boolean isLong()
```

isDouble
```
public boolean isDouble()
```

isVoid
```
public boolean isVoid()
```

isNull
```
public boolean isNull()
```

isClassDecl
```
public boolean isClassDecl()
```

isInterfaceDecl
```
public boolean isInterfaceDecl()
```

isArrayDecl
```
public boolean isArrayDecl()
```

isPrimitive
```
public boolean isPrimitive()
```

isString
```
public boolean isString()
```

isObject
```
public boolean isObject()
```

isUnknown
```
public boolean isUnknown()
```

instanceOf

public boolean instanceOf(TypeDecl type)

isSupertypeOfClassDecl

public boolean isSupertypeOfClassDecl(ClassDecl type)

isSupertypeOfInterfaceDecl

public boolean isSupertypeOfInterfaceDecl(InterfaceDecl type)

isSupertypeOfArrayDecl

public boolean isSupertypeOfArrayDecl(ArrayDecl type)

isSupertypeOfPrimitiveType

public boolean isSupertypeOfPrimitiveType(PrimitiveType type)

isSupertypeOfNullType

public boolean isSupertypeOfNullType(NullType type)

isSupertypeOfVoidType

public boolean isSupertypeOfVoidType(VoidType type)

topLevelType
```
public TypeDecl topLevelType()
```

isTopLevelType
```
public boolean isTopLevelType()
```

isInnerClass
```
public boolean isInnerClass()
```

isInnerType
```
public boolean isInnerType()
```

isInnerTypeOf

public boolean isInnerTypeOf(TypeDecl typeDecl)

withinBodyThatSubclasses

public TypeDecl withinBodyThatSubclasses(TypeDecl type)

encloses

public boolean encloses(TypeDecl type)

enclosedBy

public boolean enclosedBy(TypeDecl type)

hostType
```
public TypeDecl hostType()
```

isCircular
```
public boolean isCircular()
```

isValidAnnotationMethodReturnType

public boolean isValidAnnotationMethodReturnType()

annotation

public Annotation annotation(TypeDecl typeDecl)

hasAnnotationSuppressWarnings

public boolean hasAnnotationSuppressWarnings(String s)

isDeprecated
```
public boolean isDeprecated()
```

commensurateWith

public boolean commensurateWith(ElementValue value)

isAnnotationDecl
```
public boolean isAnnotationDecl()
```

boxingConversionTo

public boolean boxingConversionTo(TypeDecl typeDecl)

boxed
```
public TypeDecl boxed()
```

unboxingConversionTo

public boolean unboxingConversionTo(TypeDecl typeDecl)

unboxed
```
public TypeDecl unboxed()
```

isIterable
```
public boolean isIterable()
```
True if type is java.lang.Iterable or subtype As long as we use the 1.4 API we check for java.util.Collection instead.

isEnumDecl
```
public boolean isEnumDecl()
```

isUnboxedPrimitive
```
public boolean isUnboxedPrimitive()
```

involvesTypeParameters

public boolean involvesTypeParameters()

isGenericType
```
public boolean isGenericType()
```

isParameterizedType
```
public boolean isParameterizedType()
```

isRawType
```
public boolean isRawType()
```

erasure
```
public TypeDecl erasure()
```

implementedInterfaces

public HashSet implementedInterfaces()

sameSignature

public boolean sameSignature(Access a)

usesTypeVariable
```
public boolean usesTypeVariable()
```
Overrides:

usesTypeVariable in class ASTNode<ASTNode>

original
```
public TypeDecl original()
```

asWildcardExtends
```
public TypeDecl asWildcardExtends()
```

asWildcardSuper
```
public TypeDecl asWildcardSuper()
```

sourceTypeDecl
```
public TypeDecl sourceTypeDecl()
```

isTypeVariable
```
public boolean isTypeVariable()
```

supertypeGenericClassDecl

public boolean supertypeGenericClassDecl(GenericClassDecl type)

supertypeGenericInterfaceDecl

public boolean supertypeGenericInterfaceDecl(GenericInterfaceDecl type)

supertypeRawClassDecl

public boolean supertypeRawClassDecl(RawClassDecl type)

supertypeRawInterfaceDecl

public boolean supertypeRawInterfaceDecl(RawInterfaceDecl type)

supertypeWildcard

public boolean supertypeWildcard(WildcardType type)

supertypeWildcardExtends

public boolean supertypeWildcardExtends(WildcardExtendsType type)

supertypeWildcardSuper

public boolean supertypeWildcardSuper(WildcardSuperType type)

isWildcard
```
public boolean isWildcard()
```

supertypeParClassDecl

public boolean supertypeParClassDecl(ParClassDecl type)

supertypeParInterfaceDecl

public boolean supertypeParInterfaceDecl(ParInterfaceDecl type)

containedIn

public boolean containedIn(TypeDecl type)

sameStructure

public boolean sameStructure(TypeDecl t)

supertypeTypeVariable

public boolean supertypeTypeVariable(TypeVariable type)

supertypeLUBType

public boolean supertypeLUBType(LUBType type)

supertypeGLBType

public boolean supertypeGLBType(GLBType type)

subtype

public boolean subtype(TypeDecl type)

supertypeClassDecl

public boolean supertypeClassDecl(ClassDecl type)

supertypeInterfaceDecl

public boolean supertypeInterfaceDecl(InterfaceDecl type)

supertypeArrayDecl

public boolean supertypeArrayDecl(ArrayDecl type)

supertypePrimitiveType

public boolean supertypePrimitiveType(PrimitiveType type)

supertypeNullType

public boolean supertypeNullType(NullType type)

supertypeVoidType

public boolean supertypeVoidType(VoidType type)

supertypeClassDeclSubstituted

public boolean supertypeClassDeclSubstituted(ClassDeclSubstituted type)

supertypeInterfaceDeclSubstituted

public boolean supertypeInterfaceDeclSubstituted(InterfaceDeclSubstituted type)

supertypeGenericClassDeclSubstituted

public boolean supertypeGenericClassDeclSubstituted(GenericClassDeclSubstituted type)

supertypeGenericInterfaceDeclSubstituted

public boolean supertypeGenericInterfaceDeclSubstituted(GenericInterfaceDeclSubstituted type)

stringPromotion
```
public TypeDecl stringPromotion()
```

methodWithArgs

public MethodDecl methodWithArgs(String name,
                                 TypeDecl[] args)

enclosingVariables

public Collection enclosingVariables()

isAnonymousInNonStaticContext

public boolean isAnonymousInNonStaticContext()

needsEnclosing
```
public boolean needsEnclosing()
```

needsSuperEnclosing
```
public boolean needsSuperEnclosing()
```

enclosing
```
public TypeDecl enclosing()
```

superEnclosing
```
public TypeDecl superEnclosing()
```

uniqueIndex
```
public int uniqueIndex()
```

jvmName
```
public String jvmName()
```

primitiveClassName
```
public String primitiveClassName()
```

referenceClassFieldName

public String referenceClassFieldName()

getSootClassDecl
```
public SootClass getSootClassDecl()
```

getSootType
```
public Type getSootType()
```

sootRef
```
public RefType sootRef()
```

sootClass
```
public SootClass sootClass()
```

sourceNameWithoutPath
```
public String sourceNameWithoutPath()
```

sootTypeModifiers
```
public int sootTypeModifiers()
```

needsClinit
```
public boolean needsClinit()
```

innerClassesAttributeEntries

public Collection innerClassesAttributeEntries()

getSootField

public SootField getSootField(String name,
                              TypeDecl type)

variableSize
```
public int variableSize()
```

typeDescriptor
```
public String typeDescriptor()
```

createEnumMethod

public MethodDecl createEnumMethod(TypeDecl enumDecl)

createEnumIndex

public int createEnumIndex(EnumConstant e)

createEnumArray

public FieldDeclaration createEnumArray(TypeDecl enumDecl)

bridgeCandidates

public SimpleSet bridgeCandidates(String signature)

hasAnnotationSafeVarargs
```
public boolean hasAnnotationSafeVarargs()
```
Returns:

true if the modifier list includes the SafeVarargs annotation

isReifiable
```
public boolean isReifiable()
```
A type is reifiable if it either refers to a non-parameterized type, is a raw type, is a parameterized type with only unbound wildcard parameters or is an array type with a reifiable type parameter.

See Also:

"JLSv3 §4.7"

isUncheckedConversionTo
```
public boolean isUncheckedConversionTo(TypeDecl dest)
```
An unchecked conversion occurs when converting from a raw type G to a generic type G.

componentType
```
public TypeDecl componentType()
```

typeCloneable
```
public TypeDecl typeCloneable()
```

typeSerializable
```
public TypeDecl typeSerializable()
```

compilationUnit
```
public CompilationUnit compilationUnit()
```
Description copied from class: ASTNode

Fetches the immediately enclosing compilation unit.

Overrides:

compilationUnit in class ASTNode<ASTNode>

isDAbefore

public boolean isDAbefore(Variable v)

isDUbefore

public boolean isDUbefore(Variable v)

typeException
```
public TypeDecl typeException()
```

typeRuntimeException

public TypeDecl typeRuntimeException()

typeError
```
public TypeDecl typeError()
```

lookupMethod

public Collection lookupMethod(String name)

typeInt
```
public TypeDecl typeInt()
```

typeObject
```
public TypeDecl typeObject()
```

lookupType

public TypeDecl lookupType(String packageName,
                           String typeName)

lookupType

public SimpleSet lookupType(String name)

lookupVariable
```
public SimpleSet lookupVariable(String name)
```
Specified by:

lookupVariable in interface VariableScope

hasPackage

public boolean hasPackage(String packageName)

enclosingBlock
```
public ASTNode enclosingBlock()
```

packageName
```
public String packageName()
```

isAnonymous
```
public boolean isAnonymous()
```

enclosingType
```
public TypeDecl enclosingType()
```

enclosingBodyDecl
```
public BodyDecl enclosingBodyDecl()
```

isNestedType
```
public boolean isNestedType()
```

isMemberType
```
public boolean isMemberType()
```

isLocalClass
```
public boolean isLocalClass()
```

hostPackage
```
public String hostPackage()
```

unknownType
```
public TypeDecl unknownType()
```

typeVoid
```
public TypeDecl typeVoid()
```

enclosingInstance
```
public TypeDecl enclosingInstance()
```

inExplicitConstructorInvocation

public boolean inExplicitConstructorInvocation()

inStaticContext
```
public boolean inStaticContext()
```

withinSuppressWarnings

public boolean withinSuppressWarnings(String s)

withinDeprecatedAnnotation

public boolean withinDeprecatedAnnotation()

typeWildcard
```
public TypeDecl typeWildcard()
```

lookupWildcardExtends

public TypeDecl lookupWildcardExtends(TypeDecl typeDecl)

lookupWildcardSuper

public TypeDecl lookupWildcardSuper(TypeDecl typeDecl)

lookupLUBType

public LUBType lookupLUBType(Collection bounds)

lookupGLBType

public GLBType lookupGLBType(ArrayList bounds)

Define_TypeDecl_componentType

public TypeDecl Define_TypeDecl_componentType(ASTNode caller,
                                              ASTNode child)

Overrides:: Define_TypeDecl_componentType in class ASTNode<ASTNode>

Define_boolean_isDest

public boolean Define_boolean_isDest(ASTNode caller,
                                     ASTNode child)

Overrides:: Define_boolean_isDest in class ASTNode<ASTNode>

Define_boolean_isSource

public boolean Define_boolean_isSource(ASTNode caller,
                                       ASTNode child)

Overrides:: Define_boolean_isSource in class ASTNode<ASTNode>

Define_boolean_isDAbefore

public boolean Define_boolean_isDAbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)

Overrides:: Define_boolean_isDAbefore in class ASTNode<ASTNode>

Define_boolean_isDUbefore

public boolean Define_boolean_isDUbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)

Overrides:: Define_boolean_isDUbefore in class ASTNode<ASTNode>

Define_Collection_lookupConstructor

public Collection Define_Collection_lookupConstructor(ASTNode caller,
                                                      ASTNode child)

Overrides:: Define_Collection_lookupConstructor in class ASTNode<ASTNode>

Define_Collection_lookupSuperConstructor

public Collection Define_Collection_lookupSuperConstructor(ASTNode caller,
                                                           ASTNode child)

Overrides:: Define_Collection_lookupSuperConstructor in class ASTNode<ASTNode>

Define_Collection_lookupMethod

public Collection Define_Collection_lookupMethod(ASTNode caller,
                                                 ASTNode child,
                                                 String name)

Overrides:: Define_Collection_lookupMethod in class ASTNode<ASTNode>

Define_SimpleSet_lookupType

public SimpleSet Define_SimpleSet_lookupType(ASTNode caller,
                                             ASTNode child,
                                             String name)

Overrides:: Define_SimpleSet_lookupType in class ASTNode<ASTNode>

Define_SimpleSet_lookupVariable

public SimpleSet Define_SimpleSet_lookupVariable(ASTNode caller,
                                                 ASTNode child,
                                                 String name)

Overrides:: Define_SimpleSet_lookupVariable in class ASTNode<ASTNode>

Define_boolean_mayBePublic

public boolean Define_boolean_mayBePublic(ASTNode caller,
                                          ASTNode child)

Overrides:: Define_boolean_mayBePublic in class ASTNode<ASTNode>

Define_boolean_mayBeProtected

public boolean Define_boolean_mayBeProtected(ASTNode caller,
                                             ASTNode child)

Overrides:: Define_boolean_mayBeProtected in class ASTNode<ASTNode>

Define_boolean_mayBePrivate

public boolean Define_boolean_mayBePrivate(ASTNode caller,
                                           ASTNode child)

Overrides:: Define_boolean_mayBePrivate in class ASTNode<ASTNode>

Define_boolean_mayBeAbstract

public boolean Define_boolean_mayBeAbstract(ASTNode caller,
                                            ASTNode child)

Overrides:: Define_boolean_mayBeAbstract in class ASTNode<ASTNode>

Define_boolean_mayBeStatic

public boolean Define_boolean_mayBeStatic(ASTNode caller,
                                          ASTNode child)

Overrides:: Define_boolean_mayBeStatic in class ASTNode<ASTNode>

Define_boolean_mayBeStrictfp

public boolean Define_boolean_mayBeStrictfp(ASTNode caller,
                                            ASTNode child)

Overrides:: Define_boolean_mayBeStrictfp in class ASTNode<ASTNode>

Define_boolean_mayBeFinal

public boolean Define_boolean_mayBeFinal(ASTNode caller,
                                         ASTNode child)

Overrides:: Define_boolean_mayBeFinal in class ASTNode<ASTNode>

Define_boolean_mayBeVolatile

public boolean Define_boolean_mayBeVolatile(ASTNode caller,
                                            ASTNode child)

Overrides:: Define_boolean_mayBeVolatile in class ASTNode<ASTNode>

Define_boolean_mayBeTransient

public boolean Define_boolean_mayBeTransient(ASTNode caller,
                                             ASTNode child)

Overrides:: Define_boolean_mayBeTransient in class ASTNode<ASTNode>

Define_boolean_mayBeSynchronized

public boolean Define_boolean_mayBeSynchronized(ASTNode caller,
                                                ASTNode child)

Overrides:: Define_boolean_mayBeSynchronized in class ASTNode<ASTNode>

Define_boolean_mayBeNative

public boolean Define_boolean_mayBeNative(ASTNode caller,
                                          ASTNode child)

Overrides:: Define_boolean_mayBeNative in class ASTNode<ASTNode>

Define_VariableScope_outerScope

public VariableScope Define_VariableScope_outerScope(ASTNode caller,
                                                     ASTNode child)

Overrides:: Define_VariableScope_outerScope in class ASTNode<ASTNode>

Define_boolean_insideLoop

public boolean Define_boolean_insideLoop(ASTNode caller,
                                         ASTNode child)

Overrides:: Define_boolean_insideLoop in class ASTNode<ASTNode>

Define_boolean_insideSwitch

public boolean Define_boolean_insideSwitch(ASTNode caller,
                                           ASTNode child)

Overrides:: Define_boolean_insideSwitch in class ASTNode<ASTNode>

Define_NameType_nameType

public NameType Define_NameType_nameType(ASTNode caller,
                                         ASTNode child)

Overrides:: Define_NameType_nameType in class ASTNode<ASTNode>

Define_boolean_isAnonymous

public boolean Define_boolean_isAnonymous(ASTNode caller,
                                          ASTNode child)

Overrides:: Define_boolean_isAnonymous in class ASTNode<ASTNode>

Define_TypeDecl_enclosingType

public TypeDecl Define_TypeDecl_enclosingType(ASTNode caller,
                                              ASTNode child)

Overrides:: Define_TypeDecl_enclosingType in class ASTNode<ASTNode>

Define_boolean_isNestedType

public boolean Define_boolean_isNestedType(ASTNode caller,
                                           ASTNode child)

Overrides:: Define_boolean_isNestedType in class ASTNode<ASTNode>

Define_boolean_isLocalClass

public boolean Define_boolean_isLocalClass(ASTNode caller,
                                           ASTNode child)

Overrides:: Define_boolean_isLocalClass in class ASTNode<ASTNode>

Define_TypeDecl_hostType

public TypeDecl Define_TypeDecl_hostType(ASTNode caller,
                                         ASTNode child)

Overrides:: Define_TypeDecl_hostType in class ASTNode<ASTNode>

Define_TypeDecl_returnType

public TypeDecl Define_TypeDecl_returnType(ASTNode caller,
                                           ASTNode child)

Overrides:: Define_TypeDecl_returnType in class ASTNode<ASTNode>

Define_TypeDecl_enclosingInstance

public TypeDecl Define_TypeDecl_enclosingInstance(ASTNode caller,
                                                  ASTNode child)

Overrides:: Define_TypeDecl_enclosingInstance in class ASTNode<ASTNode>

Define_String_methodHost

public String Define_String_methodHost(ASTNode caller,
                                       ASTNode child)

Overrides:: Define_String_methodHost in class ASTNode<ASTNode>

Define_boolean_inStaticContext

public boolean Define_boolean_inStaticContext(ASTNode caller,
                                              ASTNode child)

Overrides:: Define_boolean_inStaticContext in class ASTNode<ASTNode>

Define_boolean_reportUnreachable

public boolean Define_boolean_reportUnreachable(ASTNode caller,
                                                ASTNode child)

Overrides:: Define_boolean_reportUnreachable in class ASTNode<ASTNode>

Define_boolean_mayUseAnnotationTarget

public boolean Define_boolean_mayUseAnnotationTarget(ASTNode caller,
                                                     ASTNode child,
                                                     String name)

Overrides:: Define_boolean_mayUseAnnotationTarget in class ASTNode<ASTNode>

Define_boolean_withinSuppressWarnings

public boolean Define_boolean_withinSuppressWarnings(ASTNode caller,
                                                     ASTNode child,
                                                     String s)

Overrides:: Define_boolean_withinSuppressWarnings in class ASTNode<ASTNode>

Define_boolean_withinDeprecatedAnnotation

public boolean Define_boolean_withinDeprecatedAnnotation(ASTNode caller,
                                                         ASTNode child)

Overrides:: Define_boolean_withinDeprecatedAnnotation in class ASTNode<ASTNode>

Define_boolean_enclosedByExceptionHandler

public boolean Define_boolean_enclosedByExceptionHandler(ASTNode caller,
                                                         ASTNode child)

Overrides:: Define_boolean_enclosedByExceptionHandler in class ASTNode<ASTNode>

rewriteTo
```
public ASTNode rewriteTo()
```
Overrides:

rewriteTo in class ASTNode<ASTNode>

Class TypeDecl

Nested Class Summary

Nested classes/interfaces inherited from interface soot.JastAddJ.SimpleSet

Field Summary

Fields inherited from class soot.JastAddJ.ASTNode

Fields inherited from class beaver.Symbol

Fields inherited from interface soot.JastAddJ.SimpleSet

Constructor Summary

Method Summary

Methods inherited from class soot.JastAddJ.ASTNode

Methods inherited from class beaver.Symbol

Methods inherited from class java.lang.Object

Methods inherited from interface java.util.Iterator

Methods inherited from interface java.lang.Iterable

Field Detail

anonymousIndex

accessorCounter

clinit

tokenString_ID

IDstart

IDend

accessibleFromPackage_String_values

accessibleFromExtend_TypeDecl_values

accessibleFrom_TypeDecl_values

dimension_computed

dimension_value

elementType_computed

elementType_value

arrayType_computed

arrayType_value

isException_computed

isException_value

isCheckedException_computed

isCheckedException_value

isUncheckedException_computed

isUncheckedException_value

mayCatch_TypeDecl_values

constructors_computed

constructors_value

unqualifiedLookupMethod_String_values

methodsNameMap_computed

methodsNameMap_value

localMethodsSignatureMap_computed

localMethodsSignatureMap_value

methodsSignatureMap_computed

methodsSignatureMap_value

ancestorMethods_String_values

localTypeDecls_String_values

memberTypes_String_values

localFields_String_values

localFieldsMap_computed

localFieldsMap_value

memberFieldsMap_computed

memberFieldsMap_value

memberFields_String_values

hasAbstract_computed

hasAbstract_value

unimplementedMethods_computed

unimplementedMethods_value

isPublic_computed

isPublic_value

isStatic_computed

isStatic_value

fullName_computed

fullName_value

typeName_computed

typeName_value

narrowingConversionTo_TypeDecl_values

methodInvocationConversionTo_TypeDecl_values

castingConversionTo_TypeDecl_values

isString_computed

isString_value

isObject_computed

isObject_value

instanceOf_TypeDecl_values

isCircular_visited

isCircular_computed

isCircular_initialized

isCircular_value

boxed_computed