public class WildcardSuperType extends AbstractWildcardType implements Cloneable
SimpleSet.SimpleSetImpl
Modifier and Type | Field and Description |
---|---|
protected Map |
containedIn_TypeDecl_values |
protected Map |
instanceOf_TypeDecl_values |
protected boolean |
involvesTypeParameters_computed |
protected boolean |
involvesTypeParameters_initialized |
protected boolean |
involvesTypeParameters_value |
protected int |
involvesTypeParameters_visited |
protected Map |
sameStructure_TypeDecl_values |
protected Map |
subtype_TypeDecl_values |
protected boolean |
usesTypeVariable_computed |
protected boolean |
usesTypeVariable_initialized |
protected boolean |
usesTypeVariable_value |
protected int |
usesTypeVariable_visited |
getSootClassDecl_computed, getSootClassDecl_value
accessibleFrom_TypeDecl_values, accessibleFromExtend_TypeDecl_values, accessibleFromPackage_String_values, accessorCounter, ancestorMethods_String_values, anonymousIndex, arrayType_computed, arrayType_value, boxed_computed, boxed_value, castingConversionTo_TypeDecl_values, clinit, componentType_computed, componentType_value, constructors_computed, constructors_value, createEnumArray_TypeDecl_values, createEnumIndex_EnumConstant_values, createEnumMethod_TypeDecl_values, dimension_computed, dimension_value, elementType_computed, elementType_value, enclosingVariables_computed, enclosingVariables_value, erasure_computed, erasure_value, fullName_computed, fullName_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, jvmName_computed, jvmName_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, memberFields_String_values, memberFieldsMap_computed, memberFieldsMap_value, memberTypes_String_values, methodInvocationConversionTo_TypeDecl_values, methodsNameMap_computed, methodsNameMap_value, methodsSignatureMap_computed, methodsSignatureMap_value, narrowingConversionTo_TypeDecl_values, 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, typeName_computed, typeName_value, typeObject_computed, typeObject_value, typeRuntimeException_computed, typeRuntimeException_value, unboxed_computed, unboxed_value, unimplementedMethods_computed, unimplementedMethods_value, uniqueIndex_computed, uniqueIndex_value, unknownType_computed, unknownType_value, unqualifiedLookupMethod_String_values
children, generatedWithCacheCycle, generatedWithCircularEnabled, generatedWithComponentCheck, in$Circle, is$Final, numChildren, parent, PRIMITIVE_PACKAGE_NAME, state
Constructor and Description |
---|
WildcardSuperType() |
WildcardSuperType(Modifiers p0,
String p1,
List<BodyDecl> p2,
Access p3) |
WildcardSuperType(Modifiers p0,
Symbol p1,
List<BodyDecl> p2,
Access p3) |
Modifier and Type | Method and Description |
---|---|
void |
addBodyDecl(BodyDecl node)
Append an element to the BodyDecl list.
|
void |
addBodyDeclNoTransform(BodyDecl node) |
WildcardSuperType |
clone() |
boolean |
containedIn(TypeDecl type) |
WildcardSuperType |
copy() |
void |
flushCache() |
void |
flushCollectionCache() |
WildcardSuperType |
fullCopy()
Create a deep copy of the AST subtree at this node.
|
Access |
getAccess()
Retrieves the Access child.
|
Access |
getAccessNoTransform()
Retrieves the Access child.
|
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.
|
void |
init$Children()
Initializes the child array to the correct size.
|
boolean |
instanceOf(TypeDecl type) |
boolean |
involvesTypeParameters() |
boolean |
mayHaveRewrite() |
protected int |
numChildren() |
ASTNode |
rewriteTo() |
boolean |
sameSignature(Access a) |
boolean |
sameStructure(TypeDecl t) |
void |
setAccess(Access node)
Replaces the Access child.
|
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.
|
Access |
substitute(Parameterization parTypeDecl) |
boolean |
subtype(TypeDecl type) |
TypeDecl |
superType() |
boolean |
supertypeArrayDecl(ArrayDecl type) |
boolean |
supertypeClassDecl(ClassDecl type) |
boolean |
supertypeInterfaceDecl(InterfaceDecl type) |
boolean |
supertypeParClassDecl(ParClassDecl type) |
boolean |
supertypeParInterfaceDecl(ParInterfaceDecl type) |
boolean |
supertypeRawClassDecl(RawClassDecl type) |
boolean |
supertypeRawInterfaceDecl(RawInterfaceDecl type) |
boolean |
supertypeTypeVariable(TypeVariable type) |
boolean |
supertypeWildcard(WildcardType type) |
boolean |
supertypeWildcardSuper(WildcardSuperType type) |
boolean |
usesTypeVariable() |
createQualifiedAccess, getSootClassDecl, isWildcard
accessibleFrom, accessibleFromExtend, accessibleFromPackage, add, add, addAccessor, addAttributes, addConstructor, addEnclosingVariables, addMemberClass, addMemberField, addMemberMethod, addNestedType, addsIndentationLevel, addUsedNestedType, allMethodsAbstract, ancestorMethods, andBitwise, annotation, arrayType, assignableToInt, assignConversionTo, asWildcardExtends, asWildcardSuper, binaryNumericPromotion, bitNot, boxed, boxingConversionTo, bridgeCandidates, cast, castingConversionTo, checkModifiers, commensurateWith, compilationUnit, componentType, constructors, 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_NameType_nameType, 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, emitCastTo, emitUnboxingOperation, enclosedBy, encloses, enclosing, enclosingBlock, enclosingBodyDecl, enclosingInstance, enclosingType, enclosingVariables, eqIsTrue, erasure, fieldsIterator, findSingleVariable, fullName, getAccessor, getAccessorSource, getSootField, getSootType, hasAbstract, hasAnnotationSafeVarargs, hasAnnotationSuppressWarnings, hasEnclosingTypeDecl, hasField, hasMethod, hasNext, hasPackage, hasType, hostPackage, hostType, identityConversionTo, implementedInterfaces, inExplicitConstructorInvocation, innerClassesAttributeEntries, inStaticContext, isAbstract, isAnnotationDecl, isAnonymous, isAnonymousInNonStaticContext, isArrayDecl, isBoolean, isByte, isChar, isCheckedException, isCircular, isClassDecl, isDAbefore, isDeprecated, isDouble, isDUbefore, isEmpty, isEnumDecl, isException, isFinal, isFloat, isGenericType, isInnerClass, isInnerType, isInnerTypeOf, isInt, isIntegralType, isInterfaceDecl, isIterable, isLocalClass, isLong, isMemberType, isNestedType, isNull, isNumericType, isObject, isParameterizedType, isPrimitive, isPrimitiveType, isPrivate, isProtected, isPublic, isRawType, isReferenceType, isReifiable, isShort, isSingleton, isSingleton, isStatic, isStrictfp, isString, isSupertypeOfArrayDecl, isSupertypeOfClassDecl, isSupertypeOfInterfaceDecl, isSupertypeOfNullType, isSupertypeOfPrimitiveType, isSupertypeOfVoidType, isSynthetic, isTopLevelType, isTypeVariable, isUnboxedPrimitive, isUncheckedConversionTo, isUncheckedException, isUnknown, isValidAnnotationMethodReturnType, isVoid, iterator, jimplify1phase2, jimplify2, jimplify2clinit, jvmName, leIsTrue, localFields, localFieldsMap, localMethodsIterator, localMethodsSignature, localMethodsSignatureMap, localTypeDecls, lookupConstructor, lookupGLBType, lookupLUBType, lookupMethod, lookupSuperConstructor, lookupType, lookupType, lookupVariable, lookupWildcardExtends, lookupWildcardSuper, lshift, ltIsTrue, makeGeneric, mayAccess, mayAccess, mayCatch, memberFields, memberFieldsMap, memberMethods, memberTypes, methodInvocationConversionTo, methodsIterator, methodsNameMap, methodsSignature, methodsSignatureMap, methodWithArgs, minus, mod, mul, name, nameCheck, narrowingConversionTo, needsClinit, needsEnclosing, needsSuperEnclosing, nestedTypes, next, nextAnonymousIndex, orBitwise, original, packageName, plus, ppBodyDecls, primitiveClassName, questionColon, referenceClassFieldName, refined_TypeHierarchyCheck_TypeDecl_typeCheck, remove, rshift, size, sootClass, sootRef, sootTypeModifiers, sourceNameWithoutPath, sourceTypeDecl, stringConversion, stringPromotion, sub, substitute, substituteParameterType, substituteReturnType, superEnclosing, supertypeClassDeclSubstituted, supertypeGenericClassDecl, supertypeGenericClassDeclSubstituted, supertypeGenericInterfaceDecl, supertypeGenericInterfaceDeclSubstituted, supertypeGLBType, supertypeInterfaceDeclSubstituted, supertypeLUBType, supertypeNullType, supertypePrimitiveType, supertypeVoidType, supertypeWildcardExtends, topLevelType, transformation, typeCheck, typeCloneable, typeDescriptor, typeError, typeException, typeInt, typeName, typeObject, typeRuntimeException, typeSerializable, typeVoid, typeWildcard, unaryNumericPromotion, unboxed, unboxingConversionTo, unimplementedMethods, uniqueIndex, unknownType, unqualifiedLookupMethod, urshift, usedNestedTypes, variableSize, wideningConversionTo, withinBodyThatSubclasses, withinDeprecatedAnnotation, withinSuppressWarnings, xorBitwise
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, toString, transformEnumConstructors, unassignedEverywhere, varChildIndex, varChildIndex, warning, warningPrefix, with
getColumn, getEnd, getId, getLine, getStart, makePosition
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
forEachRemaining
forEach, spliterator
protected int involvesTypeParameters_visited
protected boolean involvesTypeParameters_computed
protected boolean involvesTypeParameters_initialized
protected boolean involvesTypeParameters_value
protected int usesTypeVariable_visited
protected boolean usesTypeVariable_computed
protected boolean usesTypeVariable_initialized
protected boolean usesTypeVariable_value
protected Map subtype_TypeDecl_values
protected Map containedIn_TypeDecl_values
protected Map sameStructure_TypeDecl_values
protected Map instanceOf_TypeDecl_values
public void flushCache()
flushCache
in class AbstractWildcardType
public void flushCollectionCache()
flushCollectionCache
in class AbstractWildcardType
public WildcardSuperType clone() throws CloneNotSupportedException
clone
in class AbstractWildcardType
CloneNotSupportedException
public WildcardSuperType copy()
public WildcardSuperType fullCopy()
public Access substitute(Parameterization parTypeDecl)
substitute
in class TypeDecl
public void init$Children()
init$Children
in class AbstractWildcardType
protected int numChildren()
numChildren
in class AbstractWildcardType
public boolean mayHaveRewrite()
mayHaveRewrite
in class AbstractWildcardType
public void setModifiers(Modifiers node)
setModifiers
in class AbstractWildcardType
node
- The new node to replace the Modifiers child.public Modifiers getModifiers()
getModifiers
in class AbstractWildcardType
public Modifiers getModifiersNoTransform()
This method does not invoke AST transformations.
getModifiersNoTransform
in class AbstractWildcardType
public void setID(String value)
setID
in class AbstractWildcardType
value
- The new value for the lexeme ID.public void setID(Symbol symbol)
setID
in class AbstractWildcardType
public String getID()
getID
in class AbstractWildcardType
public void setBodyDeclList(List<BodyDecl> list)
setBodyDeclList
in class AbstractWildcardType
list
- The new list node to be used as the BodyDecl list.public int getNumBodyDecl()
getNumBodyDecl
in class AbstractWildcardType
public int getNumBodyDeclNoTransform()
getNumBodyDeclNoTransform
in class AbstractWildcardType
public BodyDecl getBodyDecl(int i)
i
in the BodyDecl list..getBodyDecl
in class AbstractWildcardType
i
- Index of the element to return.i
in the BodyDecl list.public void addBodyDecl(BodyDecl node)
addBodyDecl
in class AbstractWildcardType
node
- The element to append to the BodyDecl list.public void addBodyDeclNoTransform(BodyDecl node)
addBodyDeclNoTransform
in class AbstractWildcardType
public void setBodyDecl(BodyDecl node, int i)
i
with the new node node
.setBodyDecl
in class AbstractWildcardType
node
- The new node to replace the old list element.i
- The list index of the node to be replaced.public List<BodyDecl> getBodyDecls()
getBodyDecls
in class AbstractWildcardType
public List<BodyDecl> getBodyDeclsNoTransform()
This method does not invoke AST transformations.
getBodyDeclsNoTransform
in class AbstractWildcardType
public List<BodyDecl> getBodyDeclList()
getBodyDeclList
in class AbstractWildcardType
public List<BodyDecl> getBodyDeclListNoTransform()
This method does not invoke AST transformations.
getBodyDeclListNoTransform
in class AbstractWildcardType
public void setAccess(Access node)
node
- The new node to replace the Access child.public Access getAccess()
public Access getAccessNoTransform()
This method does not invoke AST transformations.
public boolean involvesTypeParameters()
involvesTypeParameters
in class TypeDecl
public boolean sameSignature(Access a)
sameSignature
in class TypeDecl
public boolean usesTypeVariable()
usesTypeVariable
in class TypeDecl
public TypeDecl superType()
public boolean supertypeWildcard(WildcardType type)
supertypeWildcard
in class TypeDecl
public boolean supertypeWildcardSuper(WildcardSuperType type)
supertypeWildcardSuper
in class TypeDecl
public boolean supertypeClassDecl(ClassDecl type)
supertypeClassDecl
in class TypeDecl
public boolean supertypeInterfaceDecl(InterfaceDecl type)
supertypeInterfaceDecl
in class TypeDecl
public boolean supertypeParClassDecl(ParClassDecl type)
supertypeParClassDecl
in class TypeDecl
public boolean supertypeParInterfaceDecl(ParInterfaceDecl type)
supertypeParInterfaceDecl
in class TypeDecl
public boolean supertypeRawClassDecl(RawClassDecl type)
supertypeRawClassDecl
in class TypeDecl
public boolean supertypeRawInterfaceDecl(RawInterfaceDecl type)
supertypeRawInterfaceDecl
in class TypeDecl
public boolean supertypeTypeVariable(TypeVariable type)
supertypeTypeVariable
in class TypeDecl
public boolean supertypeArrayDecl(ArrayDecl type)
supertypeArrayDecl
in class TypeDecl
public boolean containedIn(TypeDecl type)
containedIn
in class TypeDecl
public boolean sameStructure(TypeDecl t)
sameStructure
in class TypeDecl
public boolean instanceOf(TypeDecl type)
instanceOf
in class TypeDecl
public ASTNode rewriteTo()
rewriteTo
in class AbstractWildcardType
Copyright © 2021 Soot OSS. All rights reserved.