| Package | Description |
|---|---|
| soot.JastAddJ |
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractWildcardType |
class |
AnnotationDecl |
class |
AnonymousDecl |
class |
ArrayDecl |
class |
BooleanType |
class |
ByteType |
class |
CharType |
class |
ClassDecl |
class |
ClassDeclSubstituted |
class |
DoubleType |
class |
EmptyType |
class |
EnumDecl |
class |
FloatingPointType |
class |
FloatType |
class |
GenericClassDecl |
class |
GenericClassDeclSubstituted |
class |
GenericInterfaceDecl |
class |
GenericInterfaceDeclSubstituted |
class |
GLBType |
class |
IntegralType |
class |
InterfaceDecl |
class |
InterfaceDeclSubstituted |
class |
IntType |
class |
LongType |
class |
LUBType |
class |
NullType |
class |
NumericType |
class |
ParClassDecl |
class |
ParInterfaceDecl |
class |
PrimitiveType |
class |
RawClassDecl |
class |
RawInterfaceDecl |
class |
ReferenceType |
class |
ShortType |
class |
TypeVariable |
class |
UnknownType |
class |
VoidType |
class |
WildcardExtendsType |
class |
WildcardSuperType |
class |
WildcardType |
| Modifier and Type | Field and Description |
|---|---|
protected TypeDecl |
TypeDecl.arrayType_value |
protected TypeDecl |
DoubleType.boxed_value |
protected TypeDecl |
FloatType.boxed_value |
protected TypeDecl |
ShortType.boxed_value |
protected TypeDecl |
IntType.boxed_value |
protected TypeDecl |
ByteType.boxed_value |
protected TypeDecl |
LongType.boxed_value |
protected TypeDecl |
BooleanType.boxed_value |
protected TypeDecl |
TypeDecl.boxed_value |
protected TypeDecl |
CharType.boxed_value |
protected TypeDecl |
TypeDecl.componentType_value |
protected TypeDecl |
ArrayTypeAccess.decl_value |
protected TypeDecl |
TypeAccess.decl_value |
protected TypeDecl |
SuperAccess.decl_value |
protected TypeDecl |
Annotation.decl_value |
protected TypeDecl |
ThisAccess.decl_value |
protected TypeDecl |
ArrayInit.declType_value |
protected TypeDecl |
ArrayDecl.elementType_value |
protected TypeDecl |
TypeDecl.elementType_value |
protected TypeDecl |
ParClassDecl.erasure_value |
protected TypeDecl |
TypeVariable.erasure_value |
protected TypeDecl |
ParInterfaceDecl.erasure_value |
protected TypeDecl |
ArrayDecl.erasure_value |
protected TypeDecl |
TypeDecl.erasure_value |
protected TypeDecl |
ParClassDecl.genericDecl_value |
protected TypeDecl |
ParInterfaceDecl.genericDecl_value |
protected TypeDecl |
LUBType.lub_value |
protected TypeDecl |
TypeVariable.lubType_value |
protected TypeDecl |
GenericInterfaceDecl.rawType_value |
protected TypeDecl |
GenericClassDecl.rawType_value |
protected TypeDecl |
ParClassDecl.sourceTypeDecl_value |
protected TypeDecl |
GenericClassDeclSubstituted.sourceTypeDecl_value |
protected TypeDecl |
ParInterfaceDecl.sourceTypeDecl_value |
protected TypeDecl |
ClassDeclSubstituted.sourceTypeDecl_value |
protected TypeDecl |
InterfaceDeclSubstituted.sourceTypeDecl_value |
protected TypeDecl |
GenericInterfaceDeclSubstituted.sourceTypeDecl_value |
protected TypeDecl |
TypeDecl.sourceTypeDecl_value |
protected TypeDecl |
TypeVariable.toInterface_value |
protected TypeDecl |
GenericClassDeclSubstituted.tokenTypeDecl_Original |
protected TypeDecl |
ClassDeclSubstituted.tokenTypeDecl_Original |
protected TypeDecl |
InterfaceDeclSubstituted.tokenTypeDecl_Original |
protected TypeDecl |
GenericInterfaceDeclSubstituted.tokenTypeDecl_Original |
protected TypeDecl |
BoundTypeAccess.tokenTypeDecl_TypeDecl |
protected TypeDecl |
MultiplicativeExpr.type_value |
protected TypeDecl |
WildcardSuper.type_value |
protected TypeDecl |
ClassAccess.type_value |
protected TypeDecl |
ConstructorAccess.type_value |
protected TypeDecl |
DiamondAccess.type_value |
protected TypeDecl |
ParExpr.type_value |
protected TypeDecl |
MethodAccess.type_value |
protected TypeDecl |
RelationalExpr.type_value |
protected TypeDecl |
IllegalLiteral.type_value |
protected TypeDecl |
ElementValuePair.type_value |
protected TypeDecl |
PlusExpr.type_value |
protected TypeDecl |
ParTypeAccess.type_value |
protected TypeDecl |
Wildcard.type_value |
protected TypeDecl |
InstanceOfExpr.type_value |
protected TypeDecl |
NullLiteral.type_value |
protected TypeDecl |
VariableArityParameterDeclaration.type_value |
protected TypeDecl |
ArrayInit.type_value |
protected TypeDecl |
ClassInstanceExpr.type_value |
protected TypeDecl |
CastExpr.type_value |
protected TypeDecl |
LogNotExpr.type_value |
protected TypeDecl |
AddExpr.type_value |
protected TypeDecl |
DoubleLiteral.type_value |
protected TypeDecl |
ShiftExpr.type_value |
protected TypeDecl |
TypeAccess.type_value |
protected TypeDecl |
MinusExpr.type_value |
protected TypeDecl |
NumericLiteral.type_value |
protected TypeDecl |
SuperAccess.type_value |
protected TypeDecl |
ArrayAccess.type_value |
protected TypeDecl |
ArrayCreationExpr.type_value |
protected TypeDecl |
WildcardExtends.type_value |
protected TypeDecl |
AbstractDot.type_value |
protected TypeDecl |
LongLiteral.type_value |
protected TypeDecl |
FloatingPointLiteral.type_value |
protected TypeDecl |
BitNotExpr.type_value |
protected TypeDecl |
CharacterLiteral.type_value |
protected TypeDecl |
Access.type_value |
protected TypeDecl |
StringLiteral.type_value |
protected TypeDecl |
ThisAccess.type_value |
protected TypeDecl |
AdditiveExpr.type_value |
protected TypeDecl |
BooleanLiteral.type_value |
protected TypeDecl |
MethodDecl.type_value |
protected TypeDecl |
AssignExpr.type_value |
protected TypeDecl |
ParameterDeclaration.type_value |
protected TypeDecl |
LogicalExpr.type_value |
protected TypeDecl |
ConditionalExpr.type_value |
protected TypeDecl |
IntegerLiteral.type_value |
protected TypeDecl |
VarAccess.type_value |
protected TypeDecl |
Unary.type_value |
protected TypeDecl |
BitwiseExpr.type_value |
protected TypeDecl |
Program.typeBoolean_value |
protected TypeDecl |
PrimitiveCompilationUnit.typeBoolean_value |
protected TypeDecl |
Program.typeByte_value |
protected TypeDecl |
PrimitiveCompilationUnit.typeByte_value |
protected TypeDecl |
Program.typeChar_value |
protected TypeDecl |
PrimitiveCompilationUnit.typeChar_value |
protected TypeDecl |
Program.typeCloneable_value |
protected TypeDecl |
Program.typeDouble_value |
protected TypeDecl |
PrimitiveCompilationUnit.typeDouble_value |
protected TypeDecl |
TryStmt.typeError_value |
protected TypeDecl |
TryWithResources.typeError_value |
protected TypeDecl |
TypeDecl.typeError_value |
protected TypeDecl |
TypeDecl.typeException_value |
protected TypeDecl |
Program.typeFloat_value |
protected TypeDecl |
PrimitiveCompilationUnit.typeFloat_value |
protected TypeDecl |
Program.typeInt_value |
protected TypeDecl |
PrimitiveCompilationUnit.typeInt_value |
protected TypeDecl |
SwitchStmt.typeInt_value |
protected TypeDecl |
Program.typeLong_value |
protected TypeDecl |
PrimitiveCompilationUnit.typeLong_value |
protected TypeDecl |
SwitchStmt.typeLong_value |
protected TypeDecl |
ThrowStmt.typeNull_value |
protected TypeDecl |
Program.typeNull_value |
protected TypeDecl |
PrimitiveCompilationUnit.typeNull_value |
protected TypeDecl |
ThrowStmt.typeNullPointerException_value |
protected TypeDecl |
Program.typeObject_value |
protected TypeDecl |
TypeDecl.typeObject_value |
protected TypeDecl |
TryStmt.typeRuntimeException_value |
protected TypeDecl |
TryWithResources.typeRuntimeException_value |
protected TypeDecl |
TypeDecl.typeRuntimeException_value |
protected TypeDecl |
Program.typeSerializable_value |
protected TypeDecl |
Program.typeShort_value |
protected TypeDecl |
PrimitiveCompilationUnit.typeShort_value |
protected TypeDecl |
Program.typeString_value |
protected TypeDecl |
ThrowStmt.typeThrowable_value |
protected TypeDecl |
CatchClause.typeThrowable_value |
protected TypeDecl |
BodyDecl.typeThrowable_value |
protected TypeDecl |
Program.typeVoid_value |
protected TypeDecl |
PrimitiveCompilationUnit.typeVoid_value |
protected TypeDecl |
WildcardsCompilationUnit.typeWildcard_value |
protected TypeDecl |
ShortType.unaryNumericPromotion_value |
protected TypeDecl |
NumericType.unaryNumericPromotion_value |
protected TypeDecl |
ByteType.unaryNumericPromotion_value |
protected TypeDecl |
CharType.unaryNumericPromotion_value |
protected TypeDecl |
TypeDecl.unboxed_value |
protected TypeDecl |
ReferenceType.unboxed_value |
protected TypeDecl |
Program.unknownType_value |
protected TypeDecl |
TypeDecl.unknownType_value |
protected TypeDecl |
PrimitiveCompilationUnit.unknownType_value |
| Modifier and Type | Field and Description |
|---|---|
protected Collection<TypeDecl> |
VariableDeclaration.throwTypes_value |
protected Collection<TypeDecl> |
FieldDeclaration.throwTypes_value |
protected Collection<TypeDecl> |
CatchParameterDeclaration.throwTypes_value |
protected Collection<TypeDecl> |
ParameterDeclaration.throwTypes_value |
| Modifier and Type | Method and Description |
|---|---|
Collection<TypeDecl> |
CatchClause.caughtExceptions() |
Collection<TypeDecl> |
DiamondAccess.computeConstraints(GenericMethodDecl decl)
Diamond type inference.
|
Collection<TypeDecl> |
TryStmt.Define_Collection_TypeDecl__caughtExceptions(ASTNode caller,
ASTNode child) |
Collection<TypeDecl> |
ASTNode.Define_Collection_TypeDecl__caughtExceptions(ASTNode caller,
ASTNode child) |
List<TypeDecl> |
AnnotatedCompilationUnit.getTypeDeclList()
Retrieves the TypeDecl list.
|
List<TypeDecl> |
WildcardsCompilationUnit.getTypeDeclList()
Retrieves the TypeDecl list.
|
List<TypeDecl> |
CompilationUnit.getTypeDeclList()
Retrieves the TypeDecl list.
|
List<TypeDecl> |
PrimitiveCompilationUnit.getTypeDeclList()
Retrieves the TypeDecl list.
|
List<TypeDecl> |
AnnotatedCompilationUnit.getTypeDeclListNoTransform()
Retrieves the TypeDecl list.
|
List<TypeDecl> |
WildcardsCompilationUnit.getTypeDeclListNoTransform()
Retrieves the TypeDecl list.
|
List<TypeDecl> |
CompilationUnit.getTypeDeclListNoTransform()
Retrieves the TypeDecl list.
|
List<TypeDecl> |
PrimitiveCompilationUnit.getTypeDeclListNoTransform()
Retrieves the TypeDecl list.
|
Opt<TypeDecl> |
ParClassInstanceExpr.getTypeDeclOpt() |
Opt<TypeDecl> |
ClassInstanceExpr.getTypeDeclOpt() |
Opt<TypeDecl> |
EnumInstanceExpr.getTypeDeclOpt() |
Opt<TypeDecl> |
ParClassInstanceExpr.getTypeDeclOptNoTransform()
Retrieves the optional node for child TypeDecl.
|
Opt<TypeDecl> |
ClassInstanceExpr.getTypeDeclOptNoTransform()
Retrieves the optional node for child TypeDecl.
|
Opt<TypeDecl> |
EnumInstanceExpr.getTypeDeclOptNoTransform()
Retrieves the optional node for child TypeDecl.
|
List<TypeDecl> |
AnnotatedCompilationUnit.getTypeDecls()
Retrieves the TypeDecl list.
|
List<TypeDecl> |
WildcardsCompilationUnit.getTypeDecls()
Retrieves the TypeDecl list.
|
List<TypeDecl> |
CompilationUnit.getTypeDecls()
Retrieves the TypeDecl list.
|
List<TypeDecl> |
PrimitiveCompilationUnit.getTypeDecls()
Retrieves the TypeDecl list.
|
List<TypeDecl> |
AnnotatedCompilationUnit.getTypeDeclsNoTransform()
Retrieves the TypeDecl list.
|
List<TypeDecl> |
WildcardsCompilationUnit.getTypeDeclsNoTransform()
Retrieves the TypeDecl list.
|
List<TypeDecl> |
CompilationUnit.getTypeDeclsNoTransform()
Retrieves the TypeDecl list.
|
List<TypeDecl> |
PrimitiveCompilationUnit.getTypeDeclsNoTransform()
Retrieves the TypeDecl list.
|
Collection<TypeDecl> |
VariableDeclaration.throwTypes() |
Collection<TypeDecl> |
Expr.throwTypes() |
Collection<TypeDecl> |
FieldDeclaration.throwTypes() |
Collection<TypeDecl> |
Variable.throwTypes() |
Collection<TypeDecl> |
CatchParameterDeclaration.throwTypes() |
Collection<TypeDecl> |
ParameterDeclaration.throwTypes() |
Collection<TypeDecl> |
VarAccess.throwTypes() |
List<TypeDecl> |
DiamondAccess.typeArguments(MethodDecl decl)
Type inference for placeholder methods.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
TypeVariable.accessibleFrom(TypeDecl type) |
boolean |
ArrayDecl.accessibleFrom(TypeDecl type) |
boolean |
ConstructorDecl.accessibleFrom(TypeDecl type) |
boolean |
FieldDeclaration.accessibleFrom(TypeDecl type) |
boolean |
TypeDecl.accessibleFrom(TypeDecl type) |
boolean |
MethodDecl.accessibleFrom(TypeDecl type) |
boolean |
TypeDecl.accessibleFromExtend(TypeDecl type) |
protected void |
Expr.addDependencyIfNeeded(Collection<Type> set,
TypeDecl type) |
void |
Constraints.addEqualConstraint(TypeDecl T,
TypeDecl A) |
void |
TypeDecl.addNestedType(TypeDecl typeDecl) |
static void |
Constraints.addParameterizedSupertypes(TypeDecl t,
HashSet processed,
HashSet result) |
void |
Constraints.addSubtypeConstraint(TypeDecl T,
TypeDecl A) |
void |
Constraints.addSupertypeConstraint(TypeDecl T,
TypeDecl A) |
static void |
LUBType.addSupertypes(HashSet set,
TypeDecl t) |
Body |
Body.addTrap(TypeDecl type,
Stmt firstStmt,
Stmt lastStmt,
Stmt handler) |
void |
AnnotatedCompilationUnit.addTypeDecl(TypeDecl node)
Append an element to the TypeDecl list.
|
void |
WildcardsCompilationUnit.addTypeDecl(TypeDecl node)
Append an element to the TypeDecl list.
|
void |
CompilationUnit.addTypeDecl(TypeDecl node)
Append an element to the TypeDecl list.
|
void |
PrimitiveCompilationUnit.addTypeDecl(TypeDecl node)
Append an element to the TypeDecl list.
|
void |
AnnotatedCompilationUnit.addTypeDeclNoTransform(TypeDecl node) |
void |
WildcardsCompilationUnit.addTypeDeclNoTransform(TypeDecl node) |
void |
CompilationUnit.addTypeDeclNoTransform(TypeDecl node) |
void |
PrimitiveCompilationUnit.addTypeDeclNoTransform(TypeDecl node) |
void |
TypeDecl.addUsedNestedType(TypeDecl typeDecl) |
Annotation |
ClassDecl.annotation(TypeDecl typeDecl) |
Annotation |
Modifiers.annotation(TypeDecl typeDecl) |
Annotation |
TypeDecl.annotation(TypeDecl typeDecl) |
boolean |
TypeDecl.assignConversionTo(TypeDecl type,
Expr expr) |
TypeDecl |
NumericType.binaryNumericPromotion(TypeDecl type) |
TypeDecl |
UnknownType.binaryNumericPromotion(TypeDecl type) |
TypeDecl |
TypeDecl.binaryNumericPromotion(TypeDecl type) |
TypeDecl |
ReferenceType.binaryNumericPromotion(TypeDecl type) |
boolean |
PrimitiveType.boxingConversionTo(TypeDecl typeDecl) |
boolean |
TypeDecl.boxingConversionTo(TypeDecl typeDecl) |
boolean |
ClassDecl.castingConversionTo(TypeDecl type) |
boolean |
TypeVariable.castingConversionTo(TypeDecl type) |
boolean |
ArrayDecl.castingConversionTo(TypeDecl type) |
boolean |
InterfaceDecl.castingConversionTo(TypeDecl type) |
boolean |
TypeDecl.castingConversionTo(TypeDecl type) |
boolean |
TryStmt.catchableException(TypeDecl type)
The block of the try statement can throw an exception of
a type assignable to the given type.
|
boolean |
TryWithResources.catchableException(TypeDecl type) |
boolean |
TryWithResources.catchHandlesException(TypeDecl exceptionType)
This attribute computes whether or not the TWR statement
has a catch clause which handles the exception.
|
void |
ASTNode.checkUncheckedConversion(TypeDecl source,
TypeDecl dest) |
BodyDecl |
VarAccess.closestBodyDecl(TypeDecl t) |
void |
ASTNode.collectEnclosingVariables(HashSet set,
TypeDecl typeDecl) |
void |
VarAccess.collectEnclosingVariables(HashSet set,
TypeDecl typeDecl) |
boolean |
ElementConstantValue.commensurateWithTypeDecl(TypeDecl type) |
boolean |
ElementAnnotationValue.commensurateWithTypeDecl(TypeDecl type) |
boolean |
ElementValue.commensurateWithTypeDecl(TypeDecl type) |
void |
Constraints.constraintEqual(TypeDecl A,
TypeDecl F) |
boolean |
WildcardExtendsType.containedIn(TypeDecl type) |
boolean |
TypeDecl.containedIn(TypeDecl type) |
boolean |
WildcardType.containedIn(TypeDecl type) |
boolean |
WildcardSuperType.containedIn(TypeDecl type) |
boolean |
AnnotationDecl.containsElementOf(TypeDecl typeDecl) |
void |
Constraints.convertibleFrom(TypeDecl A,
TypeDecl F) |
void |
Constraints.convertibleTo(TypeDecl A,
TypeDecl F) |
MethodDecl |
FieldDeclaration.createAccessor(TypeDecl fieldQualifier) |
MethodDecl |
MethodDecl.createAccessor(TypeDecl methodQualifier) |
MethodDecl |
FieldDeclaration.createAccessorWrite(TypeDecl fieldQualifier) |
FieldDeclaration |
TypeDecl.createEnumArray(TypeDecl enumDecl) |
MethodDecl |
TypeDecl.createEnumMethod(TypeDecl enumDecl) |
MethodDecl |
MethodDecl.createSuperAccessor(TypeDecl methodQualifier) |
Annotation |
Program.Define_Annotation_lookupAnnotation(ASTNode caller,
ASTNode child,
TypeDecl typeDecl) |
Annotation |
ASTNode.Define_Annotation_lookupAnnotation(ASTNode caller,
ASTNode child,
TypeDecl typeDecl) |
Annotation |
Modifiers.Define_Annotation_lookupAnnotation(ASTNode caller,
ASTNode child,
TypeDecl typeDecl) |
Annotation |
ElementAnnotationValue.Define_Annotation_lookupAnnotation(ASTNode caller,
ASTNode child,
TypeDecl typeDecl) |
boolean |
StaticInitializer.Define_boolean_handlesException(ASTNode caller,
ASTNode child,
TypeDecl exceptionType) |
boolean |
ConstructorDecl.Define_boolean_handlesException(ASTNode caller,
ASTNode child,
TypeDecl exceptionType) |
boolean |
TryStmt.Define_boolean_handlesException(ASTNode caller,
ASTNode child,
TypeDecl exceptionType) |
boolean |
TryWithResources.Define_boolean_handlesException(ASTNode caller,
ASTNode child,
TypeDecl exceptionType) |
boolean |
Program.Define_boolean_handlesException(ASTNode caller,
ASTNode child,
TypeDecl exceptionType) |
boolean |
ASTNode.Define_boolean_handlesException(ASTNode caller,
ASTNode child,
TypeDecl exceptionType) |
boolean |
InstanceInitializer.Define_boolean_handlesException(ASTNode caller,
ASTNode child,
TypeDecl exceptionType) |
boolean |
CompilationUnit.Define_boolean_handlesException(ASTNode caller,
ASTNode child,
TypeDecl exceptionType) |
boolean |
FieldDeclaration.Define_boolean_handlesException(ASTNode caller,
ASTNode child,
TypeDecl exceptionType) |
boolean |
MethodDecl.Define_boolean_handlesException(ASTNode caller,
ASTNode child,
TypeDecl exceptionType) |
boolean |
TryStmt.Define_boolean_reachableCatchClause(ASTNode caller,
ASTNode child,
TypeDecl exceptionType) |
boolean |
TryWithResources.Define_boolean_reachableCatchClause(ASTNode caller,
ASTNode child,
TypeDecl exceptionType) |
boolean |
ASTNode.Define_boolean_reachableCatchClause(ASTNode caller,
ASTNode child,
TypeDecl exceptionType) |
TypeDecl |
Program.Define_TypeDecl_lookupWildcardExtends(ASTNode caller,
ASTNode child,
TypeDecl typeDecl) |
TypeDecl |
ASTNode.Define_TypeDecl_lookupWildcardExtends(ASTNode caller,
ASTNode child,
TypeDecl typeDecl) |
TypeDecl |
Program.Define_TypeDecl_lookupWildcardSuper(ASTNode caller,
ASTNode child,
TypeDecl typeDecl) |
TypeDecl |
ASTNode.Define_TypeDecl_lookupWildcardSuper(ASTNode caller,
ASTNode child,
TypeDecl typeDecl) |
static HashSet |
Constraints.directSupertypes(TypeDecl t) |
Value |
TypeDecl.emitCastTo(Body b,
Expr expr,
TypeDecl type) |
Value |
NullType.emitCastTo(Body b,
Value v,
TypeDecl type,
ASTNode location) |
Value |
NumericType.emitCastTo(Body b,
Value v,
TypeDecl type,
ASTNode location) |
Value |
BooleanType.emitCastTo(Body b,
Value v,
TypeDecl type,
ASTNode location) |
Value |
TypeDecl.emitCastTo(Body b,
Value v,
TypeDecl type,
ASTNode location) |
Value |
ReferenceType.emitCastTo(Body b,
Value v,
TypeDecl type,
ASTNode location) |
Local |
Access.emitThis(Body b,
TypeDecl targetDecl) |
Local |
Body.emitThis(TypeDecl typeDecl) |
boolean |
TypeDecl.enclosedBy(TypeDecl type) |
boolean |
TypeDecl.encloses(TypeDecl type) |
static HashSet |
LUBType.EST(TypeDecl t) |
SootField |
TypeDecl.getSootField(String name,
TypeDecl type) |
Access |
TypeVariable.getSubstitutedTypeBound(int i,
TypeDecl type) |
boolean |
CatchClause.handles(TypeDecl exceptionType) |
boolean |
MultiCatch.handles(TypeDecl exceptionType) |
boolean |
BasicCatch.handles(TypeDecl exceptionType) |
boolean |
ConstructorAccess.handlesException(TypeDecl exceptionType) |
boolean |
MethodAccess.handlesException(TypeDecl exceptionType) |
boolean |
ThrowStmt.handlesException(TypeDecl exceptionType) |
boolean |
StaticInitializer.handlesException(TypeDecl exceptionType) |
boolean |
ConstructorDecl.handlesException(TypeDecl exceptionType) |
boolean |
TryStmt.handlesException(TypeDecl exceptionType) |
boolean |
TryWithResources.handlesException(TypeDecl exceptionType)
Inherit the handlesException attribute from methoddecl.
|
boolean |
InstanceInitializer.handlesException(TypeDecl exceptionType) |
boolean |
ClassInstanceExpr.handlesException(TypeDecl exceptionType) |
boolean |
FieldDeclaration.handlesException(TypeDecl exceptionType) |
boolean |
MethodDecl.handlesException(TypeDecl exceptionType) |
boolean |
TypeDecl.identityConversionTo(TypeDecl type) |
boolean |
ClassDecl.instanceOf(TypeDecl type) |
boolean |
VoidType.instanceOf(TypeDecl type) |
boolean |
ParClassDecl.instanceOf(TypeDecl type) |
boolean |
NullType.instanceOf(TypeDecl type) |
boolean |
WildcardExtendsType.instanceOf(TypeDecl type) |
boolean |
TypeVariable.instanceOf(TypeDecl type) |
boolean |
GenericClassDeclSubstituted.instanceOf(TypeDecl type) |
boolean |
RawClassDecl.instanceOf(TypeDecl type) |
boolean |
ParInterfaceDecl.instanceOf(TypeDecl type) |
boolean |
ArrayDecl.instanceOf(TypeDecl type) |
boolean |
GenericInterfaceDecl.instanceOf(TypeDecl type) |
boolean |
PrimitiveType.instanceOf(TypeDecl type) |
boolean |
ClassDeclSubstituted.instanceOf(TypeDecl type) |
boolean |
RawInterfaceDecl.instanceOf(TypeDecl type) |
boolean |
InterfaceDeclSubstituted.instanceOf(TypeDecl type) |
boolean |
InterfaceDecl.instanceOf(TypeDecl type) |
boolean |
GenericInterfaceDeclSubstituted.instanceOf(TypeDecl type) |
boolean |
UnknownType.instanceOf(TypeDecl type) |
boolean |
GenericClassDecl.instanceOf(TypeDecl type) |
boolean |
TypeDecl.instanceOf(TypeDecl type) |
boolean |
WildcardType.instanceOf(TypeDecl type) |
boolean |
WildcardSuperType.instanceOf(TypeDecl type) |
static HashSet |
LUBType.Inv(TypeDecl G,
ArrayList Us)
relevant invocations of G, Inv(G)
Inv(G) = {V | 1 <= i <= k, V in ST(Ui), V = G<...>}
|
boolean |
TypeDecl.isInnerTypeOf(TypeDecl typeDecl) |
boolean |
TypeDecl.isUncheckedConversionTo(TypeDecl dest)
An unchecked conversion occurs when converting from a raw type G to a
generic type G
|
TypeDecl |
LUBType.lci(HashSet set,
TypeDecl G) |
TypeDecl |
LUBType.lcta(TypeDecl X,
TypeDecl Y)
least containing type arguments
|
Annotation |
Annotation.lookupAnnotation(TypeDecl typeDecl) |
Annotation |
ElementAnnotationValue.lookupAnnotation(TypeDecl typeDecl) |
TypeDecl |
WildcardsCompilationUnit.lookupWildcardExtends(TypeDecl bound) |
TypeDecl |
WildcardExtends.lookupWildcardExtends(TypeDecl typeDecl) |
TypeDecl |
TypeDecl.lookupWildcardExtends(TypeDecl typeDecl) |
TypeDecl |
WildcardSuper.lookupWildcardSuper(TypeDecl typeDecl) |
TypeDecl |
WildcardsCompilationUnit.lookupWildcardSuper(TypeDecl bound) |
TypeDecl |
TypeDecl.lookupWildcardSuper(TypeDecl typeDecl) |
TypeDecl |
LUBType.lub(TypeDecl X,
TypeDecl Y) |
boolean |
TypeDecl.mayCatch(TypeDecl thrownType) |
boolean |
TypeDecl.methodInvocationConversionTo(TypeDecl type) |
MethodDecl |
TypeDecl.methodWithArgs(String name,
TypeDecl[] args) |
boolean |
ShortType.narrowingConversionTo(TypeDecl type) |
boolean |
PrimitiveType.narrowingConversionTo(TypeDecl type) |
boolean |
ByteType.narrowingConversionTo(TypeDecl type) |
boolean |
TypeDecl.narrowingConversionTo(TypeDecl type) |
boolean |
CharType.narrowingConversionTo(TypeDecl type) |
boolean |
ReferenceType.narrowingConversionTo(TypeDecl type) |
static HashSet |
Constraints.parameterizedSupertypes(TypeDecl t) |
CompilationUnit |
BytecodeParser.parse(TypeDecl outerTypeDecl,
String outerClassName,
Program program) |
CompilationUnit |
BytecodeParser.parse(TypeDecl outerTypeDecl,
String outerClassName,
Program classPath,
boolean isInner) |
void |
BytecodeParser.parseFields(TypeDecl typeDecl) |
void |
BytecodeParser.parseMethods(TypeDecl typeDecl) |
boolean |
CatchClause.reachableCatchClause(TypeDecl exceptionType) |
protected boolean |
ConstructorAccess.reachedException(TypeDecl catchType) |
protected boolean |
MethodAccess.reachedException(TypeDecl catchType) |
protected boolean |
ThrowStmt.reachedException(TypeDecl catchType) |
protected boolean |
TryStmt.reachedException(TypeDecl type) |
protected boolean |
TryWithResources.reachedException(TypeDecl catchType)
Returns true if the try-with-resources statement can throw
an exception of type (or a subtype of) catchType.
|
protected boolean |
ASTNode.reachedException(TypeDecl type) |
protected boolean |
ClassInstanceExpr.reachedException(TypeDecl catchType) |
void |
Constraints.replaceAllConstraints(TypeDecl before,
TypeDecl after) |
void |
Constraints.replaceEqualityConstraints(TypeDecl before,
TypeDecl after) |
boolean |
Expr.representableIn(TypeDecl t) |
boolean |
ArrayInit.representableIn(TypeDecl t) |
boolean |
TryWithResources.resourceClosingException(TypeDecl catchType)
True if the automatic closing of resources in this try-with-resources statement
may throw an exception of type catchType.
|
boolean |
TryWithResources.resourceInitializationException(TypeDecl catchType)
True if the resource initialization of this try-with-resources statement
may throw an exception of type catchType.
|
boolean |
ParClassDecl.sameStructure(TypeDecl t) |
boolean |
WildcardExtendsType.sameStructure(TypeDecl t) |
boolean |
TypeVariable.sameStructure(TypeDecl t) |
boolean |
ParInterfaceDecl.sameStructure(TypeDecl t) |
boolean |
TypeDecl.sameStructure(TypeDecl t) |
boolean |
WildcardSuperType.sameStructure(TypeDecl t) |
void |
GenericClassDeclSubstituted.setOriginal(TypeDecl value)
Replaces the lexeme Original.
|
void |
ClassDeclSubstituted.setOriginal(TypeDecl value)
Replaces the lexeme Original.
|
void |
InterfaceDeclSubstituted.setOriginal(TypeDecl value)
Replaces the lexeme Original.
|
void |
GenericInterfaceDeclSubstituted.setOriginal(TypeDecl value)
Replaces the lexeme Original.
|
void |
ParClassInstanceExpr.setTypeDecl(TypeDecl node)
Replaces the (optional) TypeDecl child.
|
void |
ClassInstanceExpr.setTypeDecl(TypeDecl node)
Replaces the (optional) TypeDecl child.
|
void |
BoundTypeAccess.setTypeDecl(TypeDecl value)
Replaces the lexeme TypeDecl.
|
void |
EnumInstanceExpr.setTypeDecl(TypeDecl node)
Replaces the (optional) TypeDecl child.
|
void |
AnnotatedCompilationUnit.setTypeDecl(TypeDecl node,
int i)
Replaces the TypeDecl list element at index
i with the new node node. |
void |
WildcardsCompilationUnit.setTypeDecl(TypeDecl node,
int i)
Replaces the TypeDecl list element at index
i with the new node node. |
void |
CompilationUnit.setTypeDecl(TypeDecl node,
int i)
Replaces the TypeDecl list element at index
i with the new node node. |
void |
PrimitiveCompilationUnit.setTypeDecl(TypeDecl node,
int i)
Replaces the TypeDecl list element at index
i with the new node node. |
static HashSet |
LUBType.ST(TypeDecl t) |
boolean |
ClassDecl.subtype(TypeDecl type) |
boolean |
VoidType.subtype(TypeDecl type) |
boolean |
ParClassDecl.subtype(TypeDecl type) |
boolean |
NullType.subtype(TypeDecl type) |
boolean |
GLBType.subtype(TypeDecl type) |
boolean |
WildcardExtendsType.subtype(TypeDecl type) |
boolean |
TypeVariable.subtype(TypeDecl type) |
boolean |
GenericClassDeclSubstituted.subtype(TypeDecl type) |
boolean |
RawClassDecl.subtype(TypeDecl type) |
boolean |
ParInterfaceDecl.subtype(TypeDecl type) |
boolean |
ArrayDecl.subtype(TypeDecl type) |
boolean |
GenericInterfaceDecl.subtype(TypeDecl type) |
boolean |
PrimitiveType.subtype(TypeDecl type) |
boolean |
LUBType.subtype(TypeDecl type) |
boolean |
ClassDeclSubstituted.subtype(TypeDecl type) |
boolean |
RawInterfaceDecl.subtype(TypeDecl type) |
boolean |
InterfaceDeclSubstituted.subtype(TypeDecl type) |
boolean |
InterfaceDecl.subtype(TypeDecl type) |
boolean |
GenericInterfaceDeclSubstituted.subtype(TypeDecl type) |
boolean |
UnknownType.subtype(TypeDecl type) |
boolean |
GenericClassDecl.subtype(TypeDecl type) |
boolean |
TypeDecl.subtype(TypeDecl type) |
boolean |
WildcardType.subtype(TypeDecl type) |
boolean |
WildcardSuperType.subtype(TypeDecl type) |
protected TypeDecl |
Access.superConstructorQualifier(TypeDecl targetEnclosingType) |
boolean |
ConstructorDecl.throwsException(TypeDecl exceptionType) |
boolean |
MethodDecl.throwsException(TypeDecl exceptionType) |
boolean |
TryWithResources.twrHandlesException(TypeDecl exceptionType)
Returns true if exceptions of type exceptionType are handled
in the try-with-resources statement or any containing statement
within the directly enclosing method or initializer block.
|
boolean |
TypeDecl.unboxingConversionTo(TypeDecl typeDecl) |
boolean |
ReferenceType.unboxingConversionTo(TypeDecl typeDecl) |
int |
ASTNode.varChildIndex(TypeDecl t) |
boolean |
PrimitiveType.wideningConversionTo(TypeDecl type) |
boolean |
TypeDecl.wideningConversionTo(TypeDecl type) |
boolean |
ReferenceType.wideningConversionTo(TypeDecl type) |
TypeDecl |
TypeDecl.withinBodyThatSubclasses(TypeDecl type) |
| Modifier and Type | Method and Description |
|---|---|
void |
AnnotatedCompilationUnit.setTypeDeclList(List<TypeDecl> list)
Replaces the TypeDecl list.
|
void |
WildcardsCompilationUnit.setTypeDeclList(List<TypeDecl> list)
Replaces the TypeDecl list.
|
void |
CompilationUnit.setTypeDeclList(List<TypeDecl> list)
Replaces the TypeDecl list.
|
void |
PrimitiveCompilationUnit.setTypeDeclList(List<TypeDecl> list)
Replaces the TypeDecl list.
|
void |
ParClassInstanceExpr.setTypeDeclOpt(Opt<TypeDecl> opt)
Replaces the optional node for the TypeDecl child.
|
void |
ClassInstanceExpr.setTypeDeclOpt(Opt<TypeDecl> opt)
Replaces the optional node for the TypeDecl child.
|
void |
EnumInstanceExpr.setTypeDeclOpt(Opt<TypeDecl> opt)
Replaces the optional node for the TypeDecl child.
|
| Constructor and Description |
|---|
AnnotatedCompilationUnit(String p0,
List<ImportDecl> p1,
List<TypeDecl> p2,
Modifiers p3) |
AnnotatedCompilationUnit(Symbol p0,
List<ImportDecl> p1,
List<TypeDecl> p2,
Modifiers p3) |
ClassInstanceExpr(Access p0,
List<Expr> p1,
Opt<TypeDecl> p2) |
CompilationUnit(String p0,
List<ImportDecl> p1,
List<TypeDecl> p2) |
CompilationUnit(Symbol p0,
List<ImportDecl> p1,
List<TypeDecl> p2) |
EnumInstanceExpr(Opt<TypeDecl> p0) |
ParClassInstanceExpr(Access p0,
List<Expr> p1,
Opt<TypeDecl> p2,
List<Access> p3) |
PrimitiveCompilationUnit(String p0,
List<ImportDecl> p1,
List<TypeDecl> p2) |
PrimitiveCompilationUnit(Symbol p0,
List<ImportDecl> p1,
List<TypeDecl> p2) |
WildcardsCompilationUnit(String p0,
List<ImportDecl> p1,
List<TypeDecl> p2) |
WildcardsCompilationUnit(Symbol p0,
List<ImportDecl> p1,
List<TypeDecl> p2) |
Copyright © 2020 Soot OSS. All rights reserved.