Package soot.JastAddJ

Class AssertStmt

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Stmt

soot.JastAddJ.AssertStmt

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

public class AssertStmt
extends Stmt
implements Cloneable

Field Summary

Fields

Modifier and Type	Field	Description
protected Map	isDAafter_Variable_values
protected Map	isDUafter_Variable_values

Fields inherited from class soot.JastAddJ.Stmt

canCompleteNormally_computed, canCompleteNormally_value, localNum_computed, localNum_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
AssertStmt()
AssertStmt(Expr p0, Opt<Expr> p1)

Method Summary

Modifier and Type	Method	Description
AssertStmt	clone()
AssertStmt	copy()
boolean	Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
void	flushCache()
void	flushCollectionCache()
AssertStmt	fullCopy()	Create a deep copy of the AST subtree at this node.
Expr	getExpr()	Retrieves the (optional) Expr child.
Opt<Expr>	getExprOpt()
Opt<Expr>	getExprOptNoTransform()	Retrieves the optional node for child Expr.
Expr	getfirst()	Retrieves the first child.
Expr	getfirstNoTransform()	Retrieves the first child.
boolean	hasExpr()	Check whether the optional Expr child exists.
void	init$Children()	Initializes the child array to the correct size.
boolean	isDAafter(Variable v)
boolean	isDUafter(Variable v)
boolean	mayHaveRewrite()
boolean	modifiedInScope(Variable var)
protected int	numChildren()
ASTNode	rewriteTo()
void	setExpr(Expr node)	Replaces the (optional) Expr child.
void	setExprOpt(Opt<Expr> opt)	Replaces the optional node for the Expr child.
void	setfirst(Expr node)	Replaces the first child.
void	toString(StringBuffer s)
void	transformation()
void	typeCheck()

Methods inherited from class soot.JastAddJ.Stmt

addsIndentationLevel, break_label, canCompleteNormally, continue_label, continueLabel, declaresVariable, Define_String_typeDeclIndent, enclosingBodyDecl, hostType, isDAbefore, isDUbefore, jimplify2, localNum, lookupMethod, lookupType, lookupType, lookupVariable, reachable, reportUnreachable

Methods inherited from class soot.JastAddJ.ASTNode

accessControl, addAttributes, addChild, asImmediate, asLocal, asLocal, asRValue, beginExceptionRange, branchTarget, checkDUeverywhere, checkEnum, checkUncheckedConversion, checkWarnings, clearLocations, cloneSubtree, collectBranches, collectEnclosingVariables, collectErrors, collectExceptions, collectFinally, collectTypesToHierarchy, collectTypesToSignatures, compilationUnit, Define_Annotation_lookupAnnotation, Define_ArrayList_exceptionRanges, Define_ASTNode_enclosingBlock, Define_BodyDecl_enclosingBodyDecl, 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_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_resourcePreviouslyDeclared, 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, getChild, getChildNoTransform, getIndexOfChild, getNumChild, getNumChildNoTransform, getParent, in$Circle, in$Circle, indent, insertChild, is$Final, is$Final, isDescendantTo, isStringAdd, iterator, jimplify1phase1, jimplify1phase2, jimplify2, lineNumber, location, nameCheck, newLabel, options, putSimpleSetElement, reachedException, removeChild, removeInstanceMethods, removeInstanceVariables, replace, setChild, setEnd, setLocation, setParent, setStart, sourceFile, start, state, toString, transformEnumConstructors, 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

Constructor Detail

AssertStmt

public AssertStmt()

AssertStmt

public AssertStmt(Expr p0,
                  Opt<Expr> p1)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class Stmt

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class Stmt

clone

public AssertStmt clone()
                 throws CloneNotSupportedException

Overrides:

clone in class Stmt

Throws:

CloneNotSupportedException

copy

public AssertStmt copy()

Overrides:

copy in class ASTNode<ASTNode>

fullCopy

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

toString

public void toString(StringBuffer s)

Overrides:

toString in class ASTNode<ASTNode>

typeCheck

public void typeCheck()

Overrides:

typeCheck in class ASTNode<ASTNode>

transformation

public void transformation()

Overrides:

transformation 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 Stmt

numChildren

protected int numChildren()

Overrides:

numChildren in class Stmt

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class Stmt

setfirst

public void setfirst(Expr node)

Replaces the first child.

Parameters:

node - The new node to replace the first child.

getfirst

public Expr getfirst()

Retrieves the first child.

Returns:

The current node used as the first child.

getfirstNoTransform

public Expr getfirstNoTransform()

Retrieves the first child.

This method does not invoke AST transformations.

Returns:

The current node used as the first child.

setExprOpt

public void setExprOpt(Opt<Expr> opt)

Replaces the optional node for the Expr child. This is the Opt node containing the child Expr, not the actual child!

Parameters:

opt - The new node to be used as the optional node for the Expr child.

hasExpr

public boolean hasExpr()

Check whether the optional Expr child exists.

Returns:

true if the optional Expr child exists, false if it does not.

getExpr

public Expr getExpr()

Retrieves the (optional) Expr child.

Returns:

The Expr child, if it exists. Returns null otherwise.

setExpr

public void setExpr(Expr node)

Replaces the (optional) Expr child.

Parameters:

node - The new node to be used as the Expr child.

getExprOpt

public Opt<Expr> getExprOpt()

getExprOptNoTransform

public Opt<Expr> getExprOptNoTransform()

Retrieves the optional node for child Expr. This is the Opt node containing the child Expr, not the actual child!

This method does not invoke AST transformations.

Returns:

The optional node for child Expr.

isDAafter

public boolean isDAafter(Variable v)

Overrides:

isDAafter in class Stmt

isDUafter

public boolean isDUafter(Variable v)

Overrides:

isDUafter in class Stmt

modifiedInScope

public boolean modifiedInScope(Variable var)

Specified by:

modifiedInScope in class Stmt

Define_boolean_isDAbefore

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

Overrides:

Define_boolean_isDAbefore in class ASTNode<ASTNode>

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class Stmt