soot.JastAddJ

Class AndLogicalExpr

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Expr

soot.JastAddJ.Binary

soot.JastAddJ.LogicalExpr

soot.JastAddJ.AndLogicalExpr

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

public class AndLogicalExpr
extends LogicalExpr
implements Cloneable

Field Summary

Fields

Modifier and Type	Field and Description
protected Map	isDAafter_Variable_values
protected Map	isDAafterFalse_Variable_values
protected Map	isDAafterTrue_Variable_values
protected Map	isDUafter_Variable_values
protected boolean	next_test_label_computed
protected Stmt	next_test_label_value

Fields inherited from class soot.JastAddJ.LogicalExpr

type_computed, type_value

Fields inherited from class soot.JastAddJ.Binary

isConstant_computed, isConstant_initialized, isConstant_value, isConstant_visited, isDUbefore_Variable_values

Fields inherited from class soot.JastAddJ.Expr

false_label_computed, false_label_value, true_label_computed, true_label_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 and Description
AndLogicalExpr()
AndLogicalExpr(Expr p0, Expr p1)

Method Summary

Modifier and Type	Method and Description
boolean	canBeFalse()
boolean	canBeTrue()
AndLogicalExpr	clone()
Constant	constant()
AndLogicalExpr	copy()
boolean	Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
Stmt	Define_soot_jimple_Stmt_condition_false_label(ASTNode caller, ASTNode child)
Stmt	Define_soot_jimple_Stmt_condition_true_label(ASTNode caller, ASTNode child)
void	emitEvalBranch(Body b)
void	flushCache()
void	flushCollectionCache()
AndLogicalExpr	fullCopy() Create a deep copy of the AST subtree at this node.
Expr	getLeftOperand() Retrieves the LeftOperand child.
Expr	getLeftOperandNoTransform() Retrieves the LeftOperand child.
Expr	getRightOperand() Retrieves the RightOperand child.
Expr	getRightOperandNoTransform() Retrieves the RightOperand child.
void	init$Children() Initializes the child array to the correct size.
boolean	isDAafter(Variable v)
boolean	isDAafterFalse(Variable v)
boolean	isDAafterTrue(Variable v)
boolean	isDUafter(Variable v)
boolean	isDUafterFalse(Variable v)
boolean	isDUafterTrue(Variable v)
boolean	mayHaveRewrite()
Stmt	next_test_label()
protected int	numChildren()
String	printOp()
ASTNode	rewriteTo()
void	setLeftOperand(Expr node) Replaces the LeftOperand child.
void	setRightOperand(Expr node) Replaces the RightOperand child.

Methods inherited from class soot.JastAddJ.LogicalExpr

definesLabel, eval, type, typeCheck

Methods inherited from class soot.JastAddJ.Binary

binaryNumericPromotedType, emitOperation, emitShiftExpr, isConstant, isDUbefore, left, right, toString

Methods inherited from class soot.JastAddJ.Expr

addDependencyIfNeeded, applicableAndAccessible, assignConvertedType, chooseConstructor, collectTypesToHierarchy, condition_false_label, condition_true_label, emitBooleanCondition, emitStore, enclosingBodyDecl, enclosingStmt, false_label, hasNextAccess, hasPackage, hasParentDot, hasQualifiedPackage, hostPackage, hostType, inExtendsOrImplements, inStaticContext, isArrayAccess, isClassAccess, isDAbefore, isDest, isEnumConstant, isFalse, isFieldAccess, isIncOrDec, isLeftChildOfDot, isMethodAccess, isPackageAccess, isPositive, isRightChildOfDot, isSource, isSuperAccess, isSuperConstructorAccess, isThisAccess, isTrue, isTypeAccess, isUnknown, isVariable, isVariable, keepAccessibleFields, keepAccessibleTypes, lookupMethod, lookupType, lookupType, lookupVariable, mayAccess, methodHost, modifiedInScope, mostSpecific, mostSpecificConstructor, nameType, nextAccess, packageName, parentDot, qualifiedLookupType, qualifiedLookupVariable, qualifiesAccess, refined_BooleanExpressions_Expr_emitEvalBranch, representableIn, staticContextQualifier, throwTypes, true_label, typeBoolean, typeByte, typeChar, typeDouble, typeFloat, typeInt, typeLong, typeName, typeNull, typeShort, typeString, typeVoid, unknownType, varDecl

Methods inherited from class soot.JastAddJ.ASTNode

accessControl, addAttributes, addChild, addsIndentationLevel, asImmediate, asLocal, asLocal, asRValue, beginExceptionRange, branchTarget, checkDUeverywhere, checkEnum, checkUncheckedConversion, checkWarnings, clearLocations, cloneSubtree, collectBranches, collectEnclosingVariables, collectErrors, collectExceptions, collectFinally, 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_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_String_hostPackage, Define_String_methodHost, Define_String_packageName, Define_String_typeDeclIndent, 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, 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, jimplify2, lineNumber, location, nameCheck, newLabel, options, putSimpleSetElement, reachedException, removeChild, removeInstanceMethods, removeInstanceVariables, replace, setChild, setEnd, setLocation, setParent, setStart, sourceFile, start, state, toString, transformation, 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

isDAafterTrue_Variable_values

protected Map isDAafterTrue_Variable_values

isDAafterFalse_Variable_values

protected Map isDAafterFalse_Variable_values

isDAafter_Variable_values

protected Map isDAafter_Variable_values

isDUafter_Variable_values

protected Map isDUafter_Variable_values

next_test_label_computed

protected boolean next_test_label_computed

next_test_label_value

protected Stmt next_test_label_value

Constructor Detail

AndLogicalExpr

public AndLogicalExpr()

AndLogicalExpr

public AndLogicalExpr(Expr p0,
                      Expr p1)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class LogicalExpr

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class LogicalExpr

clone

public AndLogicalExpr clone()
                     throws CloneNotSupportedException

Overrides:

clone in class LogicalExpr

Throws:

CloneNotSupportedException

copy

public AndLogicalExpr copy()

Overrides:

copy in class ASTNode<ASTNode>

fullCopy

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

emitEvalBranch

public void emitEvalBranch(Body b)

Overrides:

emitEvalBranch in class Expr

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 LogicalExpr

numChildren

protected int numChildren()

Overrides:

numChildren in class LogicalExpr

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class LogicalExpr

setLeftOperand

public void setLeftOperand(Expr node)

Replaces the LeftOperand child.

Overrides:

setLeftOperand in class LogicalExpr

Parameters:

node - The new node to replace the LeftOperand child.

getLeftOperand

public Expr getLeftOperand()

Retrieves the LeftOperand child.

Overrides:

getLeftOperand in class LogicalExpr

Returns:

The current node used as the LeftOperand child.

getLeftOperandNoTransform

public Expr getLeftOperandNoTransform()

Retrieves the LeftOperand child.

This method does not invoke AST transformations.

Overrides:

getLeftOperandNoTransform in class LogicalExpr

Returns:

The current node used as the LeftOperand child.

setRightOperand

public void setRightOperand(Expr node)

Replaces the RightOperand child.

Overrides:

setRightOperand in class LogicalExpr

Parameters:

node - The new node to replace the RightOperand child.

getRightOperand

public Expr getRightOperand()

Retrieves the RightOperand child.

Overrides:

getRightOperand in class LogicalExpr

Returns:

The current node used as the RightOperand child.

getRightOperandNoTransform

public Expr getRightOperandNoTransform()

Retrieves the RightOperand child.

This method does not invoke AST transformations.

Overrides:

getRightOperandNoTransform in class LogicalExpr

Returns:

The current node used as the RightOperand child.

constant

public Constant constant()

Overrides:

constant in class Expr

isDAafterTrue

public boolean isDAafterTrue(Variable v)

Overrides:

isDAafterTrue in class Binary

isDAafterFalse

public boolean isDAafterFalse(Variable v)

Overrides:

isDAafterFalse in class Binary

isDAafter

public boolean isDAafter(Variable v)

Overrides:

isDAafter in class Binary

isDUafterTrue

public boolean isDUafterTrue(Variable v)

Overrides:

isDUafterTrue in class Expr

isDUafterFalse

public boolean isDUafterFalse(Variable v)

Overrides:

isDUafterFalse in class Expr

isDUafter

public boolean isDUafter(Variable v)

Overrides:

isDUafter in class Binary

printOp

public String printOp()

Specified by:

printOp in class Binary

canBeTrue

public boolean canBeTrue()

Overrides:

canBeTrue in class Expr

canBeFalse

public boolean canBeFalse()

Overrides:

canBeFalse in class Expr

next_test_label

public Stmt next_test_label()

Define_boolean_isDAbefore

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

Overrides:

Define_boolean_isDAbefore in class Binary

Define_boolean_isDUbefore

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

Overrides:

Define_boolean_isDUbefore in class Binary

Define_soot_jimple_Stmt_condition_false_label

public Stmt Define_soot_jimple_Stmt_condition_false_label(ASTNode caller,
                                                          ASTNode child)

Overrides:

Define_soot_jimple_Stmt_condition_false_label in class ASTNode<ASTNode>

Define_soot_jimple_Stmt_condition_true_label

public Stmt Define_soot_jimple_Stmt_condition_true_label(ASTNode caller,
                                                         ASTNode child)

Overrides:

Define_soot_jimple_Stmt_condition_true_label in class ASTNode<ASTNode>

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class LogicalExpr