Package soot.JastAddJ

Class StaticInitializer

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.BodyDecl

soot.JastAddJ.StaticInitializer

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

public class StaticInitializer
extends BodyDecl
implements Cloneable

Field Summary

Fields

Modifier and Type	Field	Description
protected Map	handlesException_TypeDecl_values
protected Map	isDAafter_Variable_values
protected Map	isDUafter_Variable_values

Fields inherited from class soot.JastAddJ.BodyDecl

isDAbefore_Variable_values, isDUbefore_Variable_values, lookupVariable_String_values, typeThrowable_computed, 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
StaticInitializer()
StaticInitializer(Block p0)

Method Summary

Modifier and Type	Method	Description
void	checkModifiers()
StaticInitializer	clone()
StaticInitializer	copy()
boolean	Define_boolean_handlesException(ASTNode caller, ASTNode child, TypeDecl exceptionType)
boolean	Define_boolean_inStaticContext(ASTNode caller, ASTNode child)
boolean	Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	Define_boolean_reachable(ASTNode caller, ASTNode child)
TypeDecl	Define_TypeDecl_enclosingInstance(ASTNode caller, ASTNode child)
void	flushCache()
void	flushCollectionCache()
StaticInitializer	fullCopy()	Create a deep copy of the AST subtree at this node.
Block	getBlock()	Retrieves the Block child.
Block	getBlockNoTransform()	Retrieves the Block child.
boolean	handlesException(TypeDecl exceptionType)
void	init$Children()	Initializes the child array to the correct size.
boolean	isDAafter(Variable v)
boolean	isDUafter(Variable v)
boolean	mayHaveRewrite()
protected int	numChildren()
ASTNode	rewriteTo()
void	setBlock(Block node)	Replaces the Block child.
void	toString(StringBuffer s)
boolean	visibleTypeParameters()

Methods inherited from class soot.JastAddJ.BodyDecl

addsIndentationLevel, checkWarnings, collectFinally, declaresType, Define_ArrayList_exceptionRanges, Define_BodyDecl_enclosingBodyDecl, Define_boolean_resourcePreviouslyDeclared, Define_String_typeDeclIndent, generate, hasAnnotationSafeVarargs, hasAnnotationSuppressWarnings, hasIllegalAnnotationSafeVarargs, hostPackage, hostType, isDAbefore, isDeprecated, isDUbefore, isEnumConstant, isVoid, jimplify1phase2, jimplify2, lookupMethod, lookupType, lookupType, lookupVariable, nameType, substitutedBodyDecl, type, typeThrowable

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, Define_Annotation_lookupAnnotation, Define_ASTNode_enclosingBlock, Define_boolean_enclosedByExceptionHandler, Define_boolean_hasPackage, Define_boolean_inExplicitConstructorInvocation, Define_boolean_inExtendsOrImplements, Define_boolean_inhModifiedInScope, Define_boolean_insideLoop, Define_boolean_insideSwitch, Define_boolean_isAnonymous, Define_boolean_isAnonymousDecl, Define_boolean_isCatchParam, Define_boolean_isConstructorParameter, 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_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_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, 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, 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

handlesException_TypeDecl_values

protected Map handlesException_TypeDecl_values

Constructor Detail

StaticInitializer

public StaticInitializer()

StaticInitializer

public StaticInitializer(Block p0)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class BodyDecl

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class BodyDecl

clone

public StaticInitializer clone()
                        throws CloneNotSupportedException

Overrides:

clone in class BodyDecl

Throws:

CloneNotSupportedException

copy

public StaticInitializer copy()

Overrides:

copy in class ASTNode<ASTNode>

fullCopy

public StaticInitializer 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

checkModifiers

public void checkModifiers()

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 BodyDecl

numChildren

protected int numChildren()

Overrides:

numChildren in class BodyDecl

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class BodyDecl

setBlock

public void setBlock(Block node)

Replaces the Block child.

Parameters:

node - The new node to replace the Block child.

getBlock

public Block getBlock()

Retrieves the Block child.

Returns:

The current node used as the Block child.

getBlockNoTransform

public Block getBlockNoTransform()

Retrieves the Block child.

This method does not invoke AST transformations.

Returns:

The current node used as the Block child.

isDAafter

public boolean isDAafter(Variable v)

Overrides:

isDAafter in class BodyDecl

isDUafter

public boolean isDUafter(Variable v)

Overrides:

isDUafter in class BodyDecl

visibleTypeParameters

public boolean visibleTypeParameters()

Overrides:

visibleTypeParameters in class BodyDecl

handlesException

public boolean handlesException(TypeDecl exceptionType)

Define_boolean_isDAbefore

public boolean Define_boolean_isDAbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)

Overrides:

Define_boolean_isDAbefore in class ASTNode<ASTNode>

Define_boolean_handlesException

public boolean Define_boolean_handlesException(ASTNode caller,
                                               ASTNode child,
                                               TypeDecl exceptionType)

Overrides:

Define_boolean_handlesException in class ASTNode<ASTNode>

Define_TypeDecl_enclosingInstance

public TypeDecl Define_TypeDecl_enclosingInstance(ASTNode caller,
                                                  ASTNode child)

Overrides:

Define_TypeDecl_enclosingInstance in class ASTNode<ASTNode>

Define_boolean_inStaticContext

public boolean Define_boolean_inStaticContext(ASTNode caller,
                                              ASTNode child)

Overrides:

Define_boolean_inStaticContext in class ASTNode<ASTNode>

Define_boolean_reachable

public boolean Define_boolean_reachable(ASTNode caller,
                                        ASTNode child)

Overrides:

Define_boolean_reachable in class ASTNode<ASTNode>

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class BodyDecl