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	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 Description

AndLogicalExpr()

AndLogicalExpr(Expr p0, Expr p1)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	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

Constructors
Constructor	Description
`AndLogicalExpr()`
`AndLogicalExpr(Expr p0, Expr p1)`

Class AndLogicalExpr

Field Summary

Fields inherited from class soot.JastAddJ.LogicalExpr

Fields inherited from class soot.JastAddJ.Binary

Fields inherited from class soot.JastAddJ.Expr

Fields inherited from class soot.JastAddJ.ASTNode

Fields inherited from class beaver.Symbol

Constructor Summary

Method Summary

Methods inherited from class soot.JastAddJ.LogicalExpr

Methods inherited from class soot.JastAddJ.Binary

Methods inherited from class soot.JastAddJ.Expr

Methods inherited from class soot.JastAddJ.ASTNode

Methods inherited from class beaver.Symbol

Methods inherited from class java.lang.Object

Methods inherited from interface java.lang.Iterable

Field Detail

isDAafterTrue_Variable_values

isDAafterFalse_Variable_values

isDAafter_Variable_values

isDUafter_Variable_values

next_test_label_computed

next_test_label_value

Constructor Detail

AndLogicalExpr

AndLogicalExpr

Method Detail

flushCache

flushCollectionCache

clone

copy

fullCopy

emitEvalBranch

init$Children

numChildren

mayHaveRewrite

setLeftOperand

getLeftOperand

getLeftOperandNoTransform

setRightOperand

getRightOperand

getRightOperandNoTransform

constant

isDAafterTrue

isDAafterFalse

isDAafter

isDUafterTrue

isDUafterFalse

isDUafter

printOp

canBeTrue

canBeFalse

next_test_label

Define_boolean_isDAbefore

Define_boolean_isDUbefore

Define_soot_jimple_Stmt_condition_false_label

Define_soot_jimple_Stmt_condition_true_label

rewriteTo