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

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

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>, Iterator, SimpleSet, VariableScope
```
public class TypeVariable
extends ReferenceType
implements Cloneable
```

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`	`castingConversionTo_TypeDecl_values`
`protected boolean`	`erasure_computed`
`protected TypeDecl`	`erasure_value`
`protected boolean`	`fullName_computed`
`protected String`	`fullName_value`
`protected Map`	`getSubstitutedTypeBound_int_TypeDecl_values`
`protected Map`	`instanceOf_TypeDecl_values`
`protected boolean`	`involvesTypeParameters_computed`
`protected boolean`	`involvesTypeParameters_initialized`
`protected boolean`	`involvesTypeParameters_value`
`protected int`	`involvesTypeParameters_visited`
`protected boolean`	`lubType_computed`
`protected TypeDecl`	`lubType_value`
`protected Map`	`memberFields_String_values`
`protected Map`	`sameStructure_TypeDecl_values`
`protected Map`	`subtype_TypeDecl_values`
`protected boolean`	`toInterface_computed`
`protected TypeDecl`	`toInterface_value`
`protected boolean`	`typeName_computed`
`protected String`	`typeName_value`
`protected boolean`	`usesTypeVariable_computed`
`protected boolean`	`usesTypeVariable_initialized`
`protected boolean`	`usesTypeVariable_value`
`protected int`	`usesTypeVariable_visited`

Fields inherited from class soot.JastAddJ.ReferenceType
jvmName_computed, jvmName_value, narrowingConversionTo_TypeDecl_values, unboxed_computed, unboxed_value

Fields inherited from class soot.JastAddJ.TypeDecl
accessibleFromExtend_TypeDecl_values, accessibleFromPackage_String_values, accessorCounter, ancestorMethods_String_values, anonymousIndex, arrayType_computed, arrayType_value, boxed_computed, boxed_value, clinit, componentType_computed, componentType_value, constructors_computed, constructors_value, containedIn_TypeDecl_values, createEnumArray_TypeDecl_values, createEnumIndex_EnumConstant_values, createEnumMethod_TypeDecl_values, dimension_computed, dimension_value, elementType_computed, elementType_value, enclosingVariables_computed, enclosingVariables_value, getSootClassDecl_computed, getSootClassDecl_value, getSootField_String_TypeDecl_values, getSootType_computed, getSootType_value, hasAbstract_computed, hasAbstract_value, IDend, IDstart, implementedInterfaces_computed, implementedInterfaces_value, inExplicitConstructorInvocation_computed, inExplicitConstructorInvocation_value, innerClassesAttributeEntries_computed, innerClassesAttributeEntries_value, inStaticContext_computed, inStaticContext_value, isAnonymous_computed, isAnonymous_value, isCheckedException_computed, isCheckedException_value, isCircular_computed, isCircular_initialized, isCircular_value, isCircular_visited, isDAbefore_Variable_values, isDUbefore_Variable_values, isException_computed, isException_value, isIterable_computed, isIterable_value, isObject_computed, isObject_value, isPublic_computed, isPublic_value, isStatic_computed, isStatic_value, isString_computed, isString_value, isUncheckedException_computed, isUncheckedException_value, localFields_String_values, localFieldsMap_computed, localFieldsMap_value, localMethodsSignatureMap_computed, localMethodsSignatureMap_value, localTypeDecls_String_values, lookupMethod_String_values, lookupType_String_values, lookupVariable_String_values, mayCatch_TypeDecl_values, memberFieldsMap_computed, memberFieldsMap_value, memberTypes_String_values, methodInvocationConversionTo_TypeDecl_values, methodsNameMap_computed, methodsNameMap_value, methodsSignatureMap_computed, methodsSignatureMap_value, needsClinit_computed, needsClinit_value, packageName_computed, packageName_value, sootClass_computed, sootClass_value, sourceTypeDecl_computed, sourceTypeDecl_value, tokenString_ID, typeError_computed, typeError_value, typeException_computed, typeException_value, typeObject_computed, typeObject_value, typeRuntimeException_computed, typeRuntimeException_value, unimplementedMethods_computed, unimplementedMethods_value, uniqueIndex_computed, uniqueIndex_value, unknownType_computed, unknownType_value, unqualifiedLookupMethod_String_values

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
`TypeVariable()`
`TypeVariable(Modifiers p0, String p1, List<BodyDecl> p2, List<Access> p3)`
`TypeVariable(Modifiers p0, Symbol p1, List<BodyDecl> p2, List<Access> p3)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`boolean`	`accessibleFrom(TypeDecl type)`
`void`	`addBodyDecl(BodyDecl node)` Append an element to the BodyDecl list.
`void`	`addBodyDeclNoTransform(BodyDecl node)`
`void`	`addTypeBound(Access node)` Append an element to the TypeBound list.
`void`	`addTypeBoundNoTransform(Access node)`
`boolean`	`castingConversionTo(TypeDecl type)`
`TypeVariable`	`clone()`
`TypeVariable`	`copy()`
`Access`	`createQualifiedAccess()`
`NameType`	`Define_NameType_nameType(ASTNode caller, ASTNode child)`
`TypeDecl`	`erasure()`
`void`	`flushCache()`
`void`	`flushCollectionCache()`
`TypeVariable`	`fullCopy()` Create a deep copy of the AST subtree at this node.
`String`	`fullName()`
`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.
`int`	`getNumTypeBound()` Retrieves the number of children in the TypeBound list.
`int`	`getNumTypeBoundNoTransform()` Retrieves the number of children in the TypeBound list.
`Access`	`getSubstitutedTypeBound(int i, TypeDecl type)`
`Access`	`getTypeBound(int i)` Retrieves the element at index `i` in the TypeBound list..
`List<Access>`	`getTypeBoundList()` Retrieves the TypeBound list.
`List<Access>`	`getTypeBoundListNoTransform()` Retrieves the TypeBound list.
`List<Access>`	`getTypeBounds()` Retrieves the TypeBound list.
`List<Access>`	`getTypeBoundsNoTransform()` Retrieves the TypeBound list.
`void`	`init$Children()` Initializes the child array to the correct size.
`boolean`	`instanceOf(TypeDecl type)`
`boolean`	`involvesTypeParameters()`
`boolean`	`isNestedType()`
`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`	`isTypeVariable()`
`TypeDecl`	`lowerBound()`
`TypeDecl`	`lubType()`
`boolean`	`mayHaveRewrite()`
`SimpleSet`	`memberFields(String name)`
`Collection`	`memberMethods(String name)`
`void`	`nameCheck()`
`protected int`	`numChildren()`
`ASTNode`	`rewriteTo()`
`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.
`void`	`setTypeBound(Access node, int i)` Replaces the TypeBound list element at index `i` with the new node `node`.
`void`	`setTypeBoundList(List<Access> list)` Replaces the TypeBound list.
`Access`	`substitute(Parameterization parTypeDecl)`
`Access`	`substituteParameterType(Parameterization parTypeDecl)`
`Access`	`substituteReturnType(Parameterization parTypeDecl)`
`boolean`	`subtype(TypeDecl type)`
`boolean`	`supertypeArrayDecl(ArrayDecl type)`
`boolean`	`supertypeClassDecl(ClassDecl type)`
`boolean`	`supertypeInterfaceDecl(InterfaceDecl type)`
`boolean`	`supertypeTypeVariable(TypeVariable type)`
`boolean`	`supertypeWildcard(WildcardType type)`
`boolean`	`supertypeWildcardExtends(WildcardExtendsType type)`
`boolean`	`supertypeWildcardSuper(WildcardSuperType type)`
`TypeDecl`	`toInterface()`
`void`	`toString(StringBuffer s)`
`void`	`typeCheck()`
`String`	`typeName()`
`TypeDecl`	`typeNull()`
`TypeDecl`	`typeObject()`
`boolean`	`usesTypeVariable()`

Methods inherited from class soot.JastAddJ.ReferenceType
binaryNumericPromotion, emitCastTo, isBoolean, isIntegralType, isNumericType, isPrimitive, isReferenceType, isSupertypeOfNullType, isValidAnnotationMethodReturnType, jvmName, narrowingConversionTo, referenceClassFieldName, stringPromotion, supertypeNullType, typeBoolean, typeByte, typeChar, typeDouble, typeFloat, typeInt, typeLong, typeShort, unaryNumericPromotion, unboxed, unboxingConversionTo, wideningConversionTo

Methods inherited from class soot.JastAddJ.TypeDecl
accessibleFromExtend, accessibleFromPackage, add, add, addAccessor, addAttributes, addConstructor, addEnclosingVariables, addMemberClass, addMemberField, addMemberMethod, addNestedType, addsIndentationLevel, addUsedNestedType, allMethodsAbstract, ancestorMethods, andBitwise, annotation, arrayType, assignableToInt, assignConversionTo, asWildcardExtends, asWildcardSuper, bitNot, boxed, boxingConversionTo, bridgeCandidates, cast, checkModifiers, commensurateWith, compilationUnit, componentType, constructors, containedIn, contains, createAssertionsDisabled, createBoundAccess, createEnumArray, createEnumIndex, createEnumMethod, createStaticClassField, createStaticClassMethod, declaredBeforeUse, declaredBeforeUse, Define_boolean_enclosedByExceptionHandler, Define_boolean_insideLoop, Define_boolean_insideSwitch, Define_boolean_inStaticContext, Define_boolean_isAnonymous, Define_boolean_isDAbefore, Define_boolean_isDest, Define_boolean_isDUbefore, Define_boolean_isLocalClass, Define_boolean_isNestedType, Define_boolean_isSource, Define_boolean_mayBeAbstract, Define_boolean_mayBeFinal, Define_boolean_mayBeNative, Define_boolean_mayBePrivate, Define_boolean_mayBeProtected, Define_boolean_mayBePublic, Define_boolean_mayBeStatic, Define_boolean_mayBeStrictfp, Define_boolean_mayBeSynchronized, Define_boolean_mayBeTransient, Define_boolean_mayBeVolatile, Define_boolean_mayUseAnnotationTarget, Define_boolean_reportUnreachable, Define_boolean_withinDeprecatedAnnotation, Define_boolean_withinSuppressWarnings, Define_Collection_lookupConstructor, Define_Collection_lookupMethod, Define_Collection_lookupSuperConstructor, Define_SimpleSet_lookupType, Define_SimpleSet_lookupVariable, Define_String_methodHost, Define_TypeDecl_componentType, Define_TypeDecl_enclosingInstance, Define_TypeDecl_enclosingType, Define_TypeDecl_hostType, Define_TypeDecl_returnType, Define_VariableScope_outerScope, dimension, div, dumpString, elementType, emitBoxingOperation, emitCastTo, emitUnboxingOperation, enclosedBy, encloses, enclosing, enclosingBlock, enclosingBodyDecl, enclosingInstance, enclosingType, enclosingVariables, eqIsTrue, fieldsIterator, findSingleVariable, getAccessor, getAccessorSource, getSootClassDecl, getSootField, getSootType, hasAbstract, hasAnnotationSafeVarargs, hasAnnotationSuppressWarnings, hasEnclosingTypeDecl, hasField, hasMethod, hasNext, hasPackage, hasType, hostPackage, hostType, identityConversionTo, implementedInterfaces, inExplicitConstructorInvocation, innerClassesAttributeEntries, inStaticContext, isAbstract, isAnnotationDecl, isAnonymous, isAnonymousInNonStaticContext, isArrayDecl, isByte, isChar, isCheckedException, isCircular, isClassDecl, isDAbefore, isDeprecated, isDouble, isDUbefore, isEmpty, isEnumDecl, isException, isFinal, isFloat, isGenericType, isInnerClass, isInnerType, isInnerTypeOf, isInt, isInterfaceDecl, isIterable, isLocalClass, isLong, isMemberType, isNull, isObject, isParameterizedType, isPrimitiveType, isPrivate, isProtected, isPublic, isRawType, isShort, isSingleton, isSingleton, isStatic, isStrictfp, isString, isSupertypeOfArrayDecl, isSupertypeOfClassDecl, isSupertypeOfInterfaceDecl, isSupertypeOfPrimitiveType, isSupertypeOfVoidType, isSynthetic, isTopLevelType, isUnboxedPrimitive, isUncheckedConversionTo, isUncheckedException, isUnknown, isVoid, isWildcard, iterator, jimplify1phase2, jimplify2, jimplify2clinit, leIsTrue, localFields, localFieldsMap, localMethodsIterator, localMethodsSignature, localMethodsSignatureMap, localTypeDecls, lookupConstructor, lookupGLBType, lookupLUBType, lookupMethod, lookupSuperConstructor, lookupType, lookupType, lookupVariable, lookupWildcardExtends, lookupWildcardSuper, lshift, ltIsTrue, makeGeneric, mayAccess, mayAccess, mayCatch, memberFieldsMap, memberTypes, methodInvocationConversionTo, methodsIterator, methodsNameMap, methodsSignature, methodsSignatureMap, methodWithArgs, minus, mod, mul, name, needsClinit, needsEnclosing, needsSuperEnclosing, nestedTypes, next, nextAnonymousIndex, orBitwise, original, packageName, plus, ppBodyDecls, primitiveClassName, questionColon, refined_TypeHierarchyCheck_TypeDecl_typeCheck, remove, rshift, size, sootClass, sootRef, sootTypeModifiers, sourceNameWithoutPath, sourceTypeDecl, stringConversion, sub, substitute, superEnclosing, supertypeClassDeclSubstituted, supertypeGenericClassDecl, supertypeGenericClassDeclSubstituted, supertypeGenericInterfaceDecl, supertypeGenericInterfaceDeclSubstituted, supertypeGLBType, supertypeInterfaceDeclSubstituted, supertypeLUBType, supertypeParClassDecl, supertypeParInterfaceDecl, supertypePrimitiveType, supertypeRawClassDecl, supertypeRawInterfaceDecl, supertypeVoidType, topLevelType, transformation, typeCloneable, typeDescriptor, typeError, typeException, typeRuntimeException, typeSerializable, typeVoid, typeWildcard, unimplementedMethods, uniqueIndex, unknownType, unqualifiedLookupMethod, urshift, usedNestedTypes, variableSize, withinBodyThatSubclasses, withinDeprecatedAnnotation, withinSuppressWarnings, xorBitwise

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, 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, 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, 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
  - toInterface_computed
```
protected boolean toInterface_computed
```
  - toInterface_value
```
protected TypeDecl toInterface_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
```
  - memberFields_String_values
```
protected Map memberFields_String_values
```
  - castingConversionTo_TypeDecl_values
```
protected Map castingConversionTo_TypeDecl_values
```
  - erasure_computed
```
protected boolean erasure_computed
```
  - erasure_value
```
protected TypeDecl erasure_value
```
  - fullName_computed
```
protected boolean fullName_computed
```
  - fullName_value
```
protected String fullName_value
```
  - lubType_computed
```
protected boolean lubType_computed
```
  - lubType_value
```
protected TypeDecl lubType_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
```
  - accessibleFrom_TypeDecl_values
```
protected Map accessibleFrom_TypeDecl_values
```
  - typeName_computed
```
protected boolean typeName_computed
```
  - typeName_value
```
protected String typeName_value
```
  - sameStructure_TypeDecl_values
```
protected Map sameStructure_TypeDecl_values
```
  - subtype_TypeDecl_values
```
protected Map subtype_TypeDecl_values
```
  - getSubstitutedTypeBound_int_TypeDecl_values
```
protected Map getSubstitutedTypeBound_int_TypeDecl_values
```
  - instanceOf_TypeDecl_values
```
protected Map instanceOf_TypeDecl_values
```
- Constructor Detail
  - TypeVariable
```
public TypeVariable()
```
  - TypeVariable
```
public TypeVariable(Modifiers p0,
                    String p1,
                    List<BodyDecl> p2,
                    List<Access> p3)
```
  - TypeVariable
```
public TypeVariable(Modifiers p0,
                    Symbol p1,
                    List<BodyDecl> p2,
                    List<Access> p3)
```
- Method Detail
  - flushCache
```
public void flushCache()
```
    Overrides:
    
    flushCache in class ReferenceType
  - flushCollectionCache
```
public void flushCollectionCache()
```
    Overrides:
    
    flushCollectionCache in class ReferenceType
  - clone
```
public TypeVariable clone()
                   throws CloneNotSupportedException
```
    Overrides:
    
    clone in class ReferenceType
    
    Throws:
    
    CloneNotSupportedException
  - copy
```
public TypeVariable copy()
```
    Overrides:
    
    copy in class ASTNode<ASTNode>
  - fullCopy
```
public TypeVariable fullCopy()
```
    Create a deep copy of the AST subtree at this node. The copy is dangling, i.e. has no parent.
    
    Overrides:
    
    fullCopy in class ASTNode<ASTNode>
    
    Returns:
    
    dangling copy of the subtree at this node
  - nameCheck
```
public void nameCheck()
```
    Overrides:
    
    nameCheck in class TypeDecl
  - typeCheck
```
public void typeCheck()
```
    Overrides:
    
    typeCheck in class TypeDecl
  - substitute
```
public Access substitute(Parameterization parTypeDecl)
```
    Overrides:
    
    substitute in class TypeDecl
  - substituteReturnType
```
public Access substituteReturnType(Parameterization parTypeDecl)
```
    Overrides:
    
    substituteReturnType in class TypeDecl
  - substituteParameterType
```
public Access substituteParameterType(Parameterization parTypeDecl)
```
    Overrides:
    
    substituteParameterType in class TypeDecl
  - createQualifiedAccess
```
public Access createQualifiedAccess()
```
    Overrides:
    
    createQualifiedAccess in class TypeDecl
  - toString
```
public void toString(StringBuffer s)
```
    Overrides:
    
    toString in class ASTNode<ASTNode>
  - 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 ReferenceType
  - numChildren
```
protected int numChildren()
```
    Overrides:
    
    numChildren in class ReferenceType
  - mayHaveRewrite
```
public boolean mayHaveRewrite()
```
    Overrides:
    
    mayHaveRewrite in class ReferenceType
  - setModifiers
```
public void setModifiers(Modifiers node)
```
    Replaces the Modifiers child.
    
    Overrides:
    
    setModifiers in class ReferenceType
    
    Parameters:
    
    node - The new node to replace the Modifiers child.
  - getModifiers
```
public Modifiers getModifiers()
```
    Retrieves the Modifiers child.
    
    Overrides:
    
    getModifiers in class ReferenceType
    
    Returns:
    
    The current node used as the Modifiers child.
  - getModifiersNoTransform
```
public Modifiers getModifiersNoTransform()
```
    Retrieves the Modifiers child.
    This method does not invoke AST transformations.
    
    Overrides:
    
    getModifiersNoTransform in class ReferenceType
    
    Returns:
    
    The current node used as the Modifiers child.
  - setID
```
public void setID(String value)
```
    Replaces the lexeme ID.
    
    Overrides:
    
    setID in class ReferenceType
    
    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.
    
    Overrides:
    
    setID in class ReferenceType
  - getID
```
public String getID()
```
    Retrieves the value for the lexeme ID.
    
    Overrides:
    
    getID in class ReferenceType
    
    Returns:
    
    The value for the lexeme ID.
  - setBodyDeclList
```
public void setBodyDeclList(List<BodyDecl> list)
```
    Replaces the BodyDecl list.
    
    Overrides:
    
    setBodyDeclList in class ReferenceType
    
    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.
    
    Overrides:
    
    getNumBodyDecl in class ReferenceType
    
    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..
    
    Overrides:
    
    getNumBodyDeclNoTransform in class ReferenceType
    
    Returns:
    
    Number of children in the BodyDecl list.
  - getBodyDecl
```
public BodyDecl getBodyDecl(int i)
```
    Retrieves the element at index i in the BodyDecl list..
    
    Overrides:
    
    getBodyDecl in class ReferenceType
    
    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.
    
    Overrides:
    
    addBodyDecl in class ReferenceType
    
    Parameters:
    
    node - The element to append to the BodyDecl list.
  - addBodyDeclNoTransform
```
public void addBodyDeclNoTransform(BodyDecl node)
```
    Overrides:
    
    addBodyDeclNoTransform in class ReferenceType
  - setBodyDecl
```
public void setBodyDecl(BodyDecl node,
                        int i)
```
    Replaces the BodyDecl list element at index i with the new node node.
    
    Overrides:
    
    setBodyDecl in class ReferenceType
    
    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.
    
    Overrides:
    
    getBodyDecls in class ReferenceType
    
    Returns:
    
    The node representing the BodyDecl list.
  - getBodyDeclsNoTransform
```
public List<BodyDecl> getBodyDeclsNoTransform()
```
    Retrieves the BodyDecl list.
    This method does not invoke AST transformations.
    
    Overrides:
    
    getBodyDeclsNoTransform in class ReferenceType
    
    Returns:
    
    The node representing the BodyDecl list.
  - getBodyDeclList
```
public List<BodyDecl> getBodyDeclList()
```
    Retrieves the BodyDecl list.
    
    Overrides:
    
    getBodyDeclList in class ReferenceType
    
    Returns:
    
    The node representing the BodyDecl list.
  - getBodyDeclListNoTransform
```
public List<BodyDecl> getBodyDeclListNoTransform()
```
    Retrieves the BodyDecl list.
    This method does not invoke AST transformations.
    
    Overrides:
    
    getBodyDeclListNoTransform in class ReferenceType
    
    Returns:
    
    The node representing the BodyDecl list.
  - setTypeBoundList
```
public void setTypeBoundList(List<Access> list)
```
    Replaces the TypeBound list.
    
    Parameters:
    
    list - The new list node to be used as the TypeBound list.
  - getNumTypeBound
```
public int getNumTypeBound()
```
    Retrieves the number of children in the TypeBound list.
    
    Returns:
    
    Number of children in the TypeBound list.
  - getNumTypeBoundNoTransform
```
public int getNumTypeBoundNoTransform()
```
    Retrieves the number of children in the TypeBound list. Calling this method will not trigger rewrites..
    
    Returns:
    
    Number of children in the TypeBound list.
  - getTypeBound
```
public Access getTypeBound(int i)
```
    Retrieves the element at index i in the TypeBound list..
    
    Parameters:
    
    i - Index of the element to return.
    
    Returns:
    
    The element at position i in the TypeBound list.
  - addTypeBound
```
public void addTypeBound(Access node)
```
    Append an element to the TypeBound list.
    
    Parameters:
    
    node - The element to append to the TypeBound list.
  - addTypeBoundNoTransform
```
public void addTypeBoundNoTransform(Access node)
```
  - setTypeBound
```
public void setTypeBound(Access node,
                         int i)
```
    Replaces the TypeBound 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.
  - getTypeBounds
```
public List<Access> getTypeBounds()
```
    Retrieves the TypeBound list.
    
    Returns:
    
    The node representing the TypeBound list.
  - getTypeBoundsNoTransform
```
public List<Access> getTypeBoundsNoTransform()
```
    Retrieves the TypeBound list.
    This method does not invoke AST transformations.
    
    Returns:
    
    The node representing the TypeBound list.
  - getTypeBoundList
```
public List<Access> getTypeBoundList()
```
    Retrieves the TypeBound list.
    
    Returns:
    
    The node representing the TypeBound list.
  - getTypeBoundListNoTransform
```
public List<Access> getTypeBoundListNoTransform()
```
    Retrieves the TypeBound list.
    This method does not invoke AST transformations.
    
    Returns:
    
    The node representing the TypeBound list.
  - toInterface
```
public TypeDecl toInterface()
```
  - involvesTypeParameters
```
public boolean involvesTypeParameters()
```
    Overrides:
    
    involvesTypeParameters in class TypeDecl
  - lowerBound
```
public TypeDecl lowerBound()
```
  - memberMethods
```
public Collection memberMethods(String name)
```
    Overrides:
    
    memberMethods in class TypeDecl
  - memberFields
```
public SimpleSet memberFields(String name)
```
    Overrides:
    
    memberFields in class TypeDecl
  - castingConversionTo
```
public boolean castingConversionTo(TypeDecl type)
```
    Overrides:
    
    castingConversionTo in class TypeDecl
  - isNestedType
```
public boolean isNestedType()
```
    Overrides:
    
    isNestedType in class TypeDecl
  - erasure
```
public TypeDecl erasure()
```
    Overrides:
    
    erasure in class TypeDecl
  - fullName
```
public String fullName()
```
    Overrides:
    
    fullName in class TypeDecl
  - sameSignature
```
public boolean sameSignature(Access a)
```
    Overrides:
    
    sameSignature in class TypeDecl
  - lubType
```
public TypeDecl lubType()
```
  - usesTypeVariable
```
public boolean usesTypeVariable()
```
    Overrides:
    
    usesTypeVariable in class TypeDecl
  - accessibleFrom
```
public boolean accessibleFrom(TypeDecl type)
```
    Overrides:
    
    accessibleFrom in class TypeDecl
  - typeName
```
public String typeName()
```
    Overrides:
    
    typeName in class TypeDecl
  - isTypeVariable
```
public boolean isTypeVariable()
```
    Overrides:
    
    isTypeVariable in class TypeDecl
  - supertypeWildcard
```
public boolean supertypeWildcard(WildcardType type)
```
    Overrides:
    
    supertypeWildcard in class TypeDecl
  - supertypeWildcardExtends
```
public boolean supertypeWildcardExtends(WildcardExtendsType type)
```
    Overrides:
    
    supertypeWildcardExtends in class TypeDecl
  - supertypeWildcardSuper
```
public boolean supertypeWildcardSuper(WildcardSuperType type)
```
    Overrides:
    
    supertypeWildcardSuper in class TypeDecl
  - sameStructure
```
public boolean sameStructure(TypeDecl t)
```
    Overrides:
    
    sameStructure in class TypeDecl
  - supertypeArrayDecl
```
public boolean supertypeArrayDecl(ArrayDecl type)
```
    Overrides:
    
    supertypeArrayDecl in class TypeDecl
  - subtype
```
public boolean subtype(TypeDecl type)
```
    Overrides:
    
    subtype in class TypeDecl
  - supertypeTypeVariable
```
public boolean supertypeTypeVariable(TypeVariable type)
```
    Overrides:
    
    supertypeTypeVariable in class TypeDecl
  - getSubstitutedTypeBound
```
public Access getSubstitutedTypeBound(int i,
                                      TypeDecl type)
```
  - supertypeClassDecl
```
public boolean supertypeClassDecl(ClassDecl type)
```
    Overrides:
    
    supertypeClassDecl in class TypeDecl
  - supertypeInterfaceDecl
```
public boolean supertypeInterfaceDecl(InterfaceDecl type)
```
    Overrides:
    
    supertypeInterfaceDecl in class TypeDecl
  - instanceOf
```
public boolean instanceOf(TypeDecl type)
```
    Overrides:
    
    instanceOf in class TypeDecl
  - 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.
    
    Overrides:
    
    isReifiable in class TypeDecl
    
    See Also:
    
    "JLSv3 §4.7"
  - typeObject
```
public TypeDecl typeObject()
```
    Overrides:
    
    typeObject in class TypeDecl
  - typeNull
```
public TypeDecl typeNull()
```
  - Define_NameType_nameType
```
public NameType Define_NameType_nameType(ASTNode caller,
                                         ASTNode child)
```
    Overrides:
    
    Define_NameType_nameType in class TypeDecl
  - rewriteTo
```
public ASTNode rewriteTo()
```
    Overrides:
    
    rewriteTo in class ReferenceType

Class TypeVariable

Nested Class Summary

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

Field Summary

Fields inherited from class soot.JastAddJ.ReferenceType

Fields inherited from class soot.JastAddJ.TypeDecl

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.ReferenceType

Methods inherited from class soot.JastAddJ.TypeDecl

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

toInterface_computed

toInterface_value

involvesTypeParameters_visited

involvesTypeParameters_computed

involvesTypeParameters_initialized

involvesTypeParameters_value

memberFields_String_values

castingConversionTo_TypeDecl_values

erasure_computed

erasure_value

fullName_computed

fullName_value

lubType_computed

lubType_value

usesTypeVariable_visited

usesTypeVariable_computed

usesTypeVariable_initialized

usesTypeVariable_value

accessibleFrom_TypeDecl_values

typeName_computed

typeName_value

sameStructure_TypeDecl_values

subtype_TypeDecl_values

getSubstitutedTypeBound_int_TypeDecl_values

instanceOf_TypeDecl_values

Constructor Detail

TypeVariable

TypeVariable

TypeVariable

Method Detail

flushCache

flushCollectionCache

clone

copy

fullCopy

nameCheck

typeCheck

substitute

substituteReturnType

substituteParameterType

createQualifiedAccess

toString

init$Children

numChildren

mayHaveRewrite

setModifiers

getModifiers

getModifiersNoTransform

setID

setID

getID

setBodyDeclList

getNumBodyDecl

getNumBodyDeclNoTransform

getBodyDecl

addBodyDecl

addBodyDeclNoTransform

setBodyDecl

getBodyDecls

getBodyDeclsNoTransform

getBodyDeclList