Package soot.JastAddJ

Class BodyDecl

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.BodyDecl

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

Direct Known Subclasses:

ConstructorDecl, InstanceInitializer, MemberDecl, StaticInitializer

public abstract class BodyDecl
extends ASTNode<ASTNode>
implements Cloneable

Field Summary

Fields

Modifier and Type	Field	Description
protected Map	isDAafter_Variable_values
protected Map	isDAbefore_Variable_values
protected Map	isDUafter_Variable_values
protected Map	isDUbefore_Variable_values
protected Map	lookupVariable_String_values
protected boolean	typeThrowable_computed
protected TypeDecl	typeThrowable_value

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

Constructor Summary

Constructors

Constructor	Description
BodyDecl()

Method Summary

Modifier and Type	Method	Description
boolean	addsIndentationLevel()
void	checkWarnings()	We must report illegal uses of the SafeVarargs annotation.
BodyDecl	clone()
void	collectFinally(Stmt branchStmt, ArrayList list)
boolean	declaresType(String name)
ArrayList	Define_ArrayList_exceptionRanges(ASTNode caller, ASTNode child)
BodyDecl	Define_BodyDecl_enclosingBodyDecl(ASTNode caller, ASTNode child)
boolean	Define_boolean_resourcePreviouslyDeclared(ASTNode caller, ASTNode child, String name)
String	Define_String_typeDeclIndent(ASTNode caller, ASTNode child)
void	flushCache()
void	flushCollectionCache()
boolean	generate()
boolean	hasAnnotationSafeVarargs()
boolean	hasAnnotationSuppressWarnings(String s)
boolean	hasIllegalAnnotationSafeVarargs()	It is an error if the SafeVarargs annotation is used on something that is not a variable arity method or constructor.
String	hostPackage()
TypeDecl	hostType()
void	init$Children()	Initializes the child array to the correct size.
boolean	isDAafter(Variable v)
boolean	isDAbefore(Variable v)
boolean	isDeprecated()
boolean	isDUafter(Variable v)
boolean	isDUbefore(Variable v)
boolean	isEnumConstant()
boolean	isVoid()
void	jimplify1phase2()
void	jimplify2()
Collection	lookupMethod(String name)
SimpleSet	lookupType(String name)
TypeDecl	lookupType(String packageName, String typeName)
SimpleSet	lookupVariable(String name)
boolean	mayHaveRewrite()
NameType	nameType()
protected int	numChildren()
ASTNode	rewriteTo()
BodyDecl	substitutedBodyDecl(Parameterization parTypeDecl)
TypeDecl	type(String name)
TypeDecl	typeThrowable()
boolean	visibleTypeParameters()

Methods inherited from class soot.JastAddJ.ASTNode

accessControl, addAttributes, addChild, asImmediate, asLocal, asLocal, asRValue, beginExceptionRange, branchTarget, checkDUeverywhere, checkEnum, checkUncheckedConversion, clearLocations, cloneSubtree, collectBranches, collectEnclosingVariables, collectErrors, collectExceptions, collectTypesToHierarchy, collectTypesToSignatures, compilationUnit, copy, Define_Annotation_lookupAnnotation, Define_ASTNode_enclosingBlock, Define_boolean_enclosedByExceptionHandler, Define_boolean_handlesException, Define_boolean_hasPackage, Define_boolean_inExplicitConstructorInvocation, Define_boolean_inExtendsOrImplements, Define_boolean_inhModifiedInScope, Define_boolean_insideLoop, Define_boolean_insideSwitch, Define_boolean_inStaticContext, Define_boolean_isAnonymous, Define_boolean_isAnonymousDecl, Define_boolean_isCatchParam, Define_boolean_isConstructorParameter, Define_boolean_isDAbefore, Define_boolean_isDest, Define_boolean_isDUbefore, Define_boolean_isExceptionHandlerParameter, Define_boolean_isExplicitGenericConstructorAccess, Define_boolean_isIncOrDec, Define_boolean_isLocalClass, Define_boolean_isMemberType, Define_boolean_isMethodParameter, 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_reachable, Define_boolean_reachableCatchClause, Define_boolean_reportUnreachable, Define_boolean_variableArityValid, Define_boolean_withinDeprecatedAnnotation, Define_boolean_withinSuppressWarnings, Define_Case_bind, Define_CatchClause_catchClause, Define_ClassInstanceExpr_getClassInstanceExpr, Define_Collection_lookupConstructor, Define_Collection_lookupMethod, Define_Collection_lookupSuperConstructor, 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_NameType_nameType, Define_SimpleSet_allImportedTypes, Define_SimpleSet_lookupType, Define_SimpleSet_lookupVariable, Define_soot_jimple_Stmt_condition_false_label, Define_soot_jimple_Stmt_condition_true_label, Define_String_hostPackage, Define_String_methodHost, Define_String_packageName, Define_TypeDecl_assignConvertedType, Define_TypeDecl_componentType, Define_TypeDecl_declType, Define_TypeDecl_enclosingAnnotationDecl, Define_TypeDecl_enclosingInstance, Define_TypeDecl_enclosingType, Define_TypeDecl_expectedType, Define_TypeDecl_genericDecl, Define_TypeDecl_hostType, Define_TypeDecl_lookupType, Define_TypeDecl_lookupWildcardExtends, Define_TypeDecl_lookupWildcardSuper, Define_TypeDecl_returnType, 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, Define_VariableScope_outerScope, definesLabel, definiteAssignment, dumpString, dumpTree, dumpTree, dumpTreeNoRewrite, dumpTreeNoRewrite, duringAnnotations, duringAnonymousClasses, duringBoundNames, duringDU, duringEnums, duringGenericTypeVariables, duringImplicitConstructor, duringLiterals, duringNameResolution, duringSyntacticClassification, duringVariableDeclarationTransformation, emitConstant, end, endExceptionRange, error, errorPrefix, exceptionHandling, extractIndent, extractSingleType, flushCaches, fullCopy, getChild, getChildNoTransform, getIndexOfChild, getNumChild, getNumChildNoTransform, getParent, in$Circle, in$Circle, indent, insertChild, is$Final, is$Final, isDescendantTo, isStringAdd, iterator, jimplify1phase1, jimplify2, lineNumber, location, nameCheck, newLabel, options, putSimpleSetElement, reachedException, removeChild, removeInstanceMethods, removeInstanceVariables, replace, setChild, setEnd, setLocation, setParent, setStart, sourceFile, start, state, toString, toString, transformation, transformEnumConstructors, typeCheck, unassignedEverywhere, usesTypeVariable, 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.lang.Iterable

forEach, spliterator

Field Detail

isDAafter_Variable_values

protected Map isDAafter_Variable_values

isDUafter_Variable_values

protected Map isDUafter_Variable_values

isDAbefore_Variable_values

protected Map isDAbefore_Variable_values

isDUbefore_Variable_values

protected Map isDUbefore_Variable_values

typeThrowable_computed

protected boolean typeThrowable_computed

typeThrowable_value

protected TypeDecl typeThrowable_value

lookupVariable_String_values

protected Map lookupVariable_String_values

Constructor Detail

BodyDecl

public BodyDecl()

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class ASTNode<ASTNode>

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class ASTNode<ASTNode>

clone

public BodyDecl clone()
               throws CloneNotSupportedException

Overrides:

clone in class ASTNode<ASTNode>

Throws:

CloneNotSupportedException

collectFinally

public void collectFinally(Stmt branchStmt,
                           ArrayList list)

Overrides:

collectFinally in class ASTNode<ASTNode>

substitutedBodyDecl

public BodyDecl substitutedBodyDecl(Parameterization parTypeDecl)

jimplify1phase2

public void jimplify1phase2()

Overrides:

jimplify1phase2 in class ASTNode<ASTNode>

jimplify2

public void jimplify2()

Overrides:

jimplify2 in class ASTNode<ASTNode>

checkWarnings

public void checkWarnings()

We must report illegal uses of the SafeVarargs annotation. It is only allowed on variable arity method and constructor declarations.

Overrides:

checkWarnings 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 ASTNode<ASTNode>

numChildren

protected int numChildren()

Overrides:

numChildren in class ASTNode<ASTNode>

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class ASTNode<ASTNode>

isDAafter

public boolean isDAafter(Variable v)

isDUafter

public boolean isDUafter(Variable v)

declaresType

public boolean declaresType(String name)

type

public TypeDecl type(String name)

addsIndentationLevel

public boolean addsIndentationLevel()

Overrides:

addsIndentationLevel in class ASTNode<ASTNode>

isVoid

public boolean isVoid()

hasAnnotationSuppressWarnings

public boolean hasAnnotationSuppressWarnings(String s)

isDeprecated

public boolean isDeprecated()

isEnumConstant

public boolean isEnumConstant()

visibleTypeParameters

public boolean visibleTypeParameters()

generate

public boolean generate()

hasAnnotationSafeVarargs

public boolean hasAnnotationSafeVarargs()

Returns:

true if the modifier list includes the SafeVarargs annotation

hasIllegalAnnotationSafeVarargs

public boolean hasIllegalAnnotationSafeVarargs()

It is an error if the SafeVarargs annotation is used on something that is not a variable arity method or constructor.

isDAbefore

public boolean isDAbefore(Variable v)

isDUbefore

public boolean isDUbefore(Variable v)

typeThrowable

public TypeDecl typeThrowable()

lookupMethod

public Collection lookupMethod(String name)

lookupType

public TypeDecl lookupType(String packageName,
                           String typeName)

lookupType

public SimpleSet lookupType(String name)

lookupVariable

public SimpleSet lookupVariable(String name)

nameType

public NameType nameType()

hostPackage

public String hostPackage()

hostType

public TypeDecl hostType()

Define_String_typeDeclIndent

public String Define_String_typeDeclIndent(ASTNode caller,
                                           ASTNode child)

Overrides:

Define_String_typeDeclIndent in class ASTNode<ASTNode>

Define_BodyDecl_enclosingBodyDecl

public BodyDecl Define_BodyDecl_enclosingBodyDecl(ASTNode caller,
                                                  ASTNode child)

Overrides:

Define_BodyDecl_enclosingBodyDecl in class ASTNode<ASTNode>

Define_ArrayList_exceptionRanges

public ArrayList Define_ArrayList_exceptionRanges(ASTNode caller,
                                                  ASTNode child)

Overrides:

Define_ArrayList_exceptionRanges in class ASTNode<ASTNode>

Define_boolean_resourcePreviouslyDeclared

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

Overrides:

Define_boolean_resourcePreviouslyDeclared in class ASTNode<ASTNode>

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class ASTNode<ASTNode>