SimpleSet.SimpleSetImpl
Modifier and Type | Field and Description |
---|---|
protected Map |
instanceOf_TypeDecl_values |
protected Map |
subtype_TypeDecl_values |
ancestorMethods_String_values, castingConversionTo_TypeDecl_values, hasAbstract_computed, hasAbstract_value, implementedInterfaces_computed, implementedInterfaces_value, interfacesMethodsSignatureMap_computed, interfacesMethodsSignatureMap_value, isCircular_computed, isCircular_initialized, isCircular_value, isCircular_visited, isObject_computed, isObject_value, isString_computed, isString_value, memberFields_String_values, memberFieldsMap_computed, memberFieldsMap_value, memberTypes_String_values, methodsSignatureMap_computed, methodsSignatureMap_value, sootClass_computed, sootClass_value, unimplementedMethods_computed, unimplementedMethods_value
jvmName_computed, jvmName_value, narrowingConversionTo_TypeDecl_values, unboxed_computed, unboxed_value
accessibleFrom_TypeDecl_values, accessibleFromExtend_TypeDecl_values, accessibleFromPackage_String_values, accessorCounter, 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, erasure_computed, erasure_value, fullName_computed, fullName_value, getSootClassDecl_computed, getSootClassDecl_value, getSootField_String_TypeDecl_values, getSootType_computed, getSootType_value, IDend, IDstart, inExplicitConstructorInvocation_computed, inExplicitConstructorInvocation_value, innerClassesAttributeEntries_computed, innerClassesAttributeEntries_value, inStaticContext_computed, inStaticContext_value, involvesTypeParameters_computed, involvesTypeParameters_initialized, involvesTypeParameters_value, involvesTypeParameters_visited, isAnonymous_computed, isAnonymous_value, isCheckedException_computed, isCheckedException_value, isDAbefore_Variable_values, isDUbefore_Variable_values, isException_computed, isException_value, isIterable_computed, isIterable_value, isPublic_computed, isPublic_value, isStatic_computed, isStatic_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, methodInvocationConversionTo_TypeDecl_values, methodsNameMap_computed, methodsNameMap_value, needsClinit_computed, needsClinit_value, packageName_computed, packageName_value, sameStructure_TypeDecl_values, 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, uniqueIndex_computed, uniqueIndex_value, unknownType_computed, unknownType_value, unqualifiedLookupMethod_String_values, usesTypeVariable_computed, usesTypeVariable_initialized, usesTypeVariable_value, usesTypeVariable_visited
children, generatedWithCacheCycle, generatedWithCircularEnabled, generatedWithComponentCheck, in$Circle, is$Final, numChildren, parent, PRIMITIVE_PACKAGE_NAME, state
Constructor and Description |
---|
UnknownType() |
UnknownType(Modifiers p0,
String p1,
Opt<Access> p2,
List<Access> p3,
List<BodyDecl> p4) |
UnknownType(Modifiers p0,
Symbol p1,
Opt<Access> p2,
List<Access> p3,
List<BodyDecl> p4) |
Modifier and Type | Method and Description |
---|---|
void |
addBodyDecl(BodyDecl node)
Append an element to the BodyDecl list.
|
void |
addBodyDeclNoTransform(BodyDecl node) |
void |
addImplements(Access node)
Append an element to the Implements list.
|
void |
addImplementsNoTransform(Access node) |
TypeDecl |
binaryNumericPromotion(TypeDecl type) |
UnknownType |
clone() |
UnknownType |
copy() |
void |
flushCache() |
void |
flushCollectionCache() |
UnknownType |
fullCopy()
Create a deep copy of the AST subtree at this node.
|
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.
|
Access |
getImplements(int i)
Retrieves the element at index
i in the Implements list.. |
List<Access> |
getImplementsList()
Retrieves the Implements list.
|
List<Access> |
getImplementsListNoTransform()
Retrieves the Implements list.
|
List<Access> |
getImplementss()
Retrieves the Implements list.
|
List<Access> |
getImplementssNoTransform()
Retrieves the Implements list.
|
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 |
getNumImplements()
Retrieves the number of children in the Implements list.
|
int |
getNumImplementsNoTransform()
Retrieves the number of children in the Implements list.
|
Access |
getSuperClassAccess()
Retrieves the (optional) SuperClassAccess child.
|
Opt<Access> |
getSuperClassAccessOpt() |
Opt<Access> |
getSuperClassAccessOptNoTransform()
Retrieves the optional node for child SuperClassAccess.
|
boolean |
hasSuperClassAccess()
Check whether the optional SuperClassAccess child exists.
|
void |
init$Children()
Initializes the child array to the correct size.
|
boolean |
instanceOf(TypeDecl type) |
boolean |
isBoolean() |
boolean |
isInt() |
boolean |
isIntegralType() |
boolean |
isNumericType() |
boolean |
isPrimitiveType() |
boolean |
isReferenceType() |
boolean |
isSupertypeOfArrayDecl(ArrayDecl type) |
boolean |
isSupertypeOfClassDecl(ClassDecl type) |
boolean |
isSupertypeOfInterfaceDecl(InterfaceDecl type) |
boolean |
isSupertypeOfNullType(NullType type) |
boolean |
isSupertypeOfPrimitiveType(PrimitiveType type) |
boolean |
isUnknown() |
boolean |
mayHaveRewrite() |
protected int |
numChildren() |
ASTNode |
rewriteTo() |
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 |
setImplements(Access node,
int i)
Replaces the Implements list element at index
i with the new node node . |
void |
setImplementsList(List<Access> list)
Replaces the Implements list.
|
void |
setModifiers(Modifiers node)
Replaces the Modifiers child.
|
void |
setSuperClassAccess(Access node)
Replaces the (optional) SuperClassAccess child.
|
void |
setSuperClassAccessOpt(Opt<Access> opt)
Replaces the optional node for the SuperClassAccess child.
|
boolean |
subtype(TypeDecl type) |
boolean |
supertypeArrayDecl(ArrayDecl type) |
boolean |
supertypeClassDecl(ClassDecl type) |
boolean |
supertypeInterfaceDecl(InterfaceDecl type) |
boolean |
supertypeNullType(NullType type) |
boolean |
supertypePrimitiveType(PrimitiveType type) |
TypeDecl |
unaryNumericPromotion() |
accessControl, add, ancestorMethods, annotation, bridgeCandidates, cast, castingConversionTo, checkModifiers, Define_boolean_inExtendsOrImplements, Define_boolean_mayBeFinal, Define_boolean_withinDeprecatedAnnotation, Define_boolean_withinSuppressWarnings, Define_NameType_nameType, Define_TypeDecl_hostType, eqIsTrue, exceptionHandling, hasAbstract, hasSuperclass, implementedInterfaces, interfacesIterator, interfacesMethodsIterator, interfacesMethodsSignature, interfacesMethodsSignatureMap, isCircular, isClassDecl, isInnerClass, isObject, isString, jimplify1phase2, lineNumber, lookupSuperConstructor, makeGeneric, memberFields, memberFieldsMap, memberTypes, methodsSignatureMap, nameCheck, noConstructor, questionColon, sootClass, substitutedClassDecl, superclass, superEnclosing, toString, typeDescriptor, unimplementedMethods
emitCastTo, isPrimitive, isValidAnnotationMethodReturnType, jvmName, narrowingConversionTo, referenceClassFieldName, stringPromotion, typeBoolean, typeByte, typeChar, typeDouble, typeFloat, typeInt, typeLong, typeShort, unboxed, unboxingConversionTo, wideningConversionTo
accessibleFrom, accessibleFromExtend, accessibleFromPackage, add, addAccessor, addAttributes, addConstructor, addEnclosingVariables, addMemberClass, addMemberField, addMemberMethod, addNestedType, addsIndentationLevel, addUsedNestedType, allMethodsAbstract, andBitwise, arrayType, assignableToInt, assignConversionTo, asWildcardExtends, asWildcardSuper, bitNot, boxed, boxingConversionTo, commensurateWith, compilationUnit, componentType, constructors, containedIn, contains, createAssertionsDisabled, createBoundAccess, createEnumArray, createEnumIndex, createEnumMethod, createQualifiedAccess, 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_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_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_returnType, Define_VariableScope_outerScope, dimension, div, dumpString, elementType, emitBoxingOperation, emitCastTo, emitUnboxingOperation, enclosedBy, encloses, enclosing, enclosingBlock, enclosingBodyDecl, enclosingInstance, enclosingType, enclosingVariables, erasure, fieldsIterator, findSingleVariable, fullName, getAccessor, getAccessorSource, getSootClassDecl, getSootField, getSootType, hasAnnotationSafeVarargs, hasAnnotationSuppressWarnings, hasEnclosingTypeDecl, hasField, hasMethod, hasNext, hasPackage, hasType, hostPackage, hostType, identityConversionTo, inExplicitConstructorInvocation, innerClassesAttributeEntries, inStaticContext, involvesTypeParameters, isAbstract, isAnnotationDecl, isAnonymous, isAnonymousInNonStaticContext, isArrayDecl, isByte, isChar, isCheckedException, isDAbefore, isDeprecated, isDouble, isDUbefore, isEmpty, isEnumDecl, isException, isFinal, isFloat, isGenericType, isInnerType, isInnerTypeOf, isInterfaceDecl, isIterable, isLocalClass, isLong, isMemberType, isNestedType, isNull, isParameterizedType, isPrivate, isProtected, isPublic, isRawType, isReifiable, isShort, isSingleton, isSingleton, isStatic, isStrictfp, isSupertypeOfVoidType, isSynthetic, isTopLevelType, isTypeVariable, isUnboxedPrimitive, isUncheckedConversionTo, isUncheckedException, isVoid, isWildcard, iterator, jimplify2, jimplify2clinit, leIsTrue, localFields, localFieldsMap, localMethodsIterator, localMethodsSignature, localMethodsSignatureMap, localTypeDecls, lookupConstructor, lookupGLBType, lookupLUBType, lookupMethod, lookupType, lookupType, lookupVariable, lookupWildcardExtends, lookupWildcardSuper, lshift, ltIsTrue, mayAccess, mayAccess, mayCatch, memberMethods, methodInvocationConversionTo, methodsIterator, methodsNameMap, methodsSignature, methodWithArgs, minus, mod, mul, name, needsClinit, needsEnclosing, needsSuperEnclosing, nestedTypes, next, nextAnonymousIndex, orBitwise, original, packageName, plus, ppBodyDecls, primitiveClassName, refined_TypeHierarchyCheck_TypeDecl_typeCheck, remove, rshift, sameSignature, sameStructure, size, sootRef, sootTypeModifiers, sourceNameWithoutPath, sourceTypeDecl, stringConversion, sub, substitute, substitute, substituteParameterType, substituteReturnType, supertypeClassDeclSubstituted, supertypeGenericClassDecl, supertypeGenericClassDeclSubstituted, supertypeGenericInterfaceDecl, supertypeGenericInterfaceDeclSubstituted, supertypeGLBType, supertypeInterfaceDeclSubstituted, supertypeLUBType, supertypeParClassDecl, supertypeParInterfaceDecl, supertypeRawClassDecl, supertypeRawInterfaceDecl, supertypeTypeVariable, supertypeVoidType, supertypeWildcard, supertypeWildcardExtends, supertypeWildcardSuper, topLevelType, transformation, typeCheck, typeCloneable, typeError, typeException, typeName, typeObject, typeRuntimeException, typeSerializable, typeVoid, typeWildcard, uniqueIndex, unknownType, unqualifiedLookupMethod, urshift, usedNestedTypes, usesTypeVariable, variableSize, withinBodyThatSubclasses, withinDeprecatedAnnotation, withinSuppressWarnings, xorBitwise
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_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, extractIndent, extractSingleType, flushCaches, getChild, getChildNoTransform, getIndexOfChild, getNumChild, getNumChildNoTransform, getParent, in$Circle, in$Circle, indent, insertChild, is$Final, is$Final, isDescendantTo, isStringAdd, jimplify1phase1, jimplify2, 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
getColumn, getEnd, getId, getLine, getStart, makePosition
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
forEachRemaining
forEach, spliterator
protected Map instanceOf_TypeDecl_values
protected Map subtype_TypeDecl_values
public UnknownType()
public UnknownType(Modifiers p0, String p1, Opt<Access> p2, List<Access> p3, List<BodyDecl> p4)
public void flushCache()
flushCache
in class ClassDecl
public void flushCollectionCache()
flushCollectionCache
in class ClassDecl
public UnknownType clone() throws CloneNotSupportedException
clone
in class ClassDecl
CloneNotSupportedException
public UnknownType copy()
public UnknownType fullCopy()
public void init$Children()
init$Children
in class ClassDecl
protected int numChildren()
numChildren
in class ClassDecl
public boolean mayHaveRewrite()
mayHaveRewrite
in class ClassDecl
public void setModifiers(Modifiers node)
setModifiers
in class ClassDecl
node
- The new node to replace the Modifiers child.public Modifiers getModifiers()
getModifiers
in class ClassDecl
public Modifiers getModifiersNoTransform()
This method does not invoke AST transformations.
getModifiersNoTransform
in class ClassDecl
public void setID(String value)
public void setID(Symbol symbol)
public String getID()
public void setSuperClassAccessOpt(Opt<Access> opt)
Opt
node containing the child SuperClassAccess, not the actual child!setSuperClassAccessOpt
in class ClassDecl
opt
- The new node to be used as the optional node for the SuperClassAccess child.public boolean hasSuperClassAccess()
hasSuperClassAccess
in class ClassDecl
true
if the optional SuperClassAccess child exists, false
if it does not.public Access getSuperClassAccess()
getSuperClassAccess
in class ClassDecl
null
otherwise.public void setSuperClassAccess(Access node)
setSuperClassAccess
in class ClassDecl
node
- The new node to be used as the SuperClassAccess child.public Opt<Access> getSuperClassAccessOpt()
getSuperClassAccessOpt
in class ClassDecl
public Opt<Access> getSuperClassAccessOptNoTransform()
Opt
node containing the child SuperClassAccess, not the actual child!
This method does not invoke AST transformations.
getSuperClassAccessOptNoTransform
in class ClassDecl
public void setImplementsList(List<Access> list)
setImplementsList
in class ClassDecl
list
- The new list node to be used as the Implements list.public int getNumImplements()
getNumImplements
in class ClassDecl
public int getNumImplementsNoTransform()
getNumImplementsNoTransform
in class ClassDecl
public Access getImplements(int i)
i
in the Implements list..getImplements
in class ClassDecl
i
- Index of the element to return.i
in the Implements list.public void addImplements(Access node)
addImplements
in class ClassDecl
node
- The element to append to the Implements list.public void addImplementsNoTransform(Access node)
addImplementsNoTransform
in class ClassDecl
public void setImplements(Access node, int i)
i
with the new node node
.setImplements
in class ClassDecl
node
- The new node to replace the old list element.i
- The list index of the node to be replaced.public List<Access> getImplementss()
getImplementss
in class ClassDecl
public List<Access> getImplementssNoTransform()
This method does not invoke AST transformations.
getImplementssNoTransform
in class ClassDecl
public List<Access> getImplementsList()
getImplementsList
in class ClassDecl
public List<Access> getImplementsListNoTransform()
This method does not invoke AST transformations.
getImplementsListNoTransform
in class ClassDecl
public void setBodyDeclList(List<BodyDecl> list)
setBodyDeclList
in class ClassDecl
list
- The new list node to be used as the BodyDecl list.public int getNumBodyDecl()
getNumBodyDecl
in class ClassDecl
public int getNumBodyDeclNoTransform()
getNumBodyDeclNoTransform
in class ClassDecl
public BodyDecl getBodyDecl(int i)
i
in the BodyDecl list..getBodyDecl
in class ClassDecl
i
- Index of the element to return.i
in the BodyDecl list.public void addBodyDecl(BodyDecl node)
addBodyDecl
in class ClassDecl
node
- The element to append to the BodyDecl list.public void addBodyDeclNoTransform(BodyDecl node)
addBodyDeclNoTransform
in class ClassDecl
public void setBodyDecl(BodyDecl node, int i)
i
with the new node node
.setBodyDecl
in class ClassDecl
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 ClassDecl
public List<BodyDecl> getBodyDeclsNoTransform()
This method does not invoke AST transformations.
getBodyDeclsNoTransform
in class ClassDecl
public List<BodyDecl> getBodyDeclList()
getBodyDeclList
in class ClassDecl
public List<BodyDecl> getBodyDeclListNoTransform()
This method does not invoke AST transformations.
getBodyDeclListNoTransform
in class ClassDecl
public boolean isReferenceType()
isReferenceType
in class ReferenceType
public boolean isPrimitiveType()
isPrimitiveType
in class TypeDecl
public boolean isNumericType()
isNumericType
in class ReferenceType
public boolean isIntegralType()
isIntegralType
in class ReferenceType
public boolean isBoolean()
isBoolean
in class ReferenceType
public boolean instanceOf(TypeDecl type)
instanceOf
in class ClassDecl
public boolean isSupertypeOfClassDecl(ClassDecl type)
isSupertypeOfClassDecl
in class ClassDecl
public boolean isSupertypeOfInterfaceDecl(InterfaceDecl type)
isSupertypeOfInterfaceDecl
in class ClassDecl
public boolean isSupertypeOfArrayDecl(ArrayDecl type)
isSupertypeOfArrayDecl
in class ClassDecl
public boolean isSupertypeOfPrimitiveType(PrimitiveType type)
isSupertypeOfPrimitiveType
in class TypeDecl
public boolean isSupertypeOfNullType(NullType type)
isSupertypeOfNullType
in class ReferenceType
public TypeDecl unaryNumericPromotion()
unaryNumericPromotion
in class ReferenceType
public TypeDecl binaryNumericPromotion(TypeDecl type)
binaryNumericPromotion
in class ReferenceType
public boolean supertypeClassDecl(ClassDecl type)
supertypeClassDecl
in class ClassDecl
public boolean supertypeInterfaceDecl(InterfaceDecl type)
supertypeInterfaceDecl
in class ClassDecl
public boolean supertypeArrayDecl(ArrayDecl type)
supertypeArrayDecl
in class ClassDecl
public boolean supertypePrimitiveType(PrimitiveType type)
supertypePrimitiveType
in class TypeDecl
public boolean supertypeNullType(NullType type)
supertypeNullType
in class ReferenceType
Copyright © 2021 Soot OSS. All rights reserved.