java.lang.Object
- beaver.Symbol
- - soot.JastAddJ.ASTNode<ASTNode>
  - - soot.JastAddJ.Expr
    - - soot.JastAddJ.Unary
      - soot.JastAddJ.LogNotExpr

All Implemented Interfaces:: Cloneable, Iterable<ASTNode>

public class LogNotExpr
extends Unary
implements Cloneable

Field Summary

Fields
Modifier and Type Field Description

protected boolean type_computed

protected TypeDecl type_value
- 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

LogNotExpr()

LogNotExpr(Expr p0)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`canBeFalse()`
`boolean`	`canBeTrue()`
`LogNotExpr`	`clone()`
`Constant`	`constant()`
`LogNotExpr`	`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)`
`boolean`	`definesLabel()`
`void`	`emitEvalBranch(Body b)`
`Value`	`eval(Body b)`
`void`	`flushCache()`
`void`	`flushCollectionCache()`
`LogNotExpr`	`fullCopy()`	Create a deep copy of the AST subtree at this node.
`Expr`	`getOperand()`	Retrieves the Operand child.
`Expr`	`getOperandNoTransform()`	Retrieves the Operand child.
`void`	`init$Children()`	Initializes the child array to the correct size.
`boolean`	`isConstant()`
`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()`
`protected int`	`numChildren()`
`String`	`printPreOp()`
`ASTNode`	`rewriteTo()`
`void`	`setOperand(Expr node)`	Replaces the Operand child.
`TypeDecl`	`type()`
`void`	`typeCheck()`

Methods inherited from class soot.JastAddJ.Unary
Define_boolean_isSource, emitPostfix, emitPrefix, printPostOp, 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, isDUbefore, 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_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
  - type_computed
```
protected boolean type_computed
```
  - type_value
```
protected TypeDecl type_value
```
- Constructor Detail
  - LogNotExpr
```
public LogNotExpr()
```
  - LogNotExpr
```
public LogNotExpr(Expr p0)
```
- Method Detail
  - flushCache
```
public void flushCache()
```
    Overrides:
    
    flushCache in class Unary
  - flushCollectionCache
```
public void flushCollectionCache()
```
    Overrides:
    
    flushCollectionCache in class Unary
  - clone
```
public LogNotExpr clone()
                 throws CloneNotSupportedException
```
    Overrides:
    
    clone in class Unary
    
    Throws:
    
    CloneNotSupportedException
  - copy
```
public LogNotExpr copy()
```
    Overrides:
    
    copy in class ASTNode<ASTNode>
  - fullCopy
```
public LogNotExpr 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
  - typeCheck
```
public void typeCheck()
```
    Overrides:
    
    typeCheck in class ASTNode<ASTNode>
  - eval
```
public Value eval(Body b)
```
    Overrides:
    
    eval in class Unary
  - 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 Unary
  - numChildren
```
protected int numChildren()
```
    Overrides:
    
    numChildren in class Unary
  - mayHaveRewrite
```
public boolean mayHaveRewrite()
```
    Overrides:
    
    mayHaveRewrite in class Unary
  - setOperand
```
public void setOperand(Expr node)
```
    Replaces the Operand child.
    
    Overrides:
    
    setOperand in class Unary
    
    Parameters:
    
    node - The new node to replace the Operand child.
  - getOperand
```
public Expr getOperand()
```
    Retrieves the Operand child.
    
    Overrides:
    
    getOperand in class Unary
    
    Returns:
    
    The current node used as the Operand child.
  - getOperandNoTransform
```
public Expr getOperandNoTransform()
```
    Retrieves the Operand child.
    This method does not invoke AST transformations.
    
    Overrides:
    
    getOperandNoTransform in class Unary
    
    Returns:
    
    The current node used as the Operand child.
  - isConstant
```
public boolean isConstant()
```
    Overrides:
    
    isConstant in class Expr
  - constant
```
public Constant constant()
```
    Overrides:
    
    constant in class Expr
  - isDAafterTrue
```
public boolean isDAafterTrue(Variable v)
```
    Overrides:
    
    isDAafterTrue in class Expr
  - isDAafterFalse
```
public boolean isDAafterFalse(Variable v)
```
    Overrides:
    
    isDAafterFalse in class Expr
  - isDAafter
```
public boolean isDAafter(Variable v)
```
    Overrides:
    
    isDAafter in class Unary
  - 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 Unary
  - printPreOp
```
public String printPreOp()
```
    Overrides:
    
    printPreOp in class Unary
  - type
```
public TypeDecl type()
```
    Overrides:
    
    type in class Unary
  - definesLabel
```
public boolean definesLabel()
```
    Overrides:
    
    definesLabel in class ASTNode<ASTNode>
  - canBeTrue
```
public boolean canBeTrue()
```
    Overrides:
    
    canBeTrue in class Expr
  - canBeFalse
```
public boolean canBeFalse()
```
    Overrides:
    
    canBeFalse in class Expr
  - Define_boolean_isDAbefore
```
public boolean Define_boolean_isDAbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)
```
    Overrides:
    
    Define_boolean_isDAbefore in class ASTNode<ASTNode>
  - Define_boolean_isDUbefore
```
public boolean Define_boolean_isDUbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)
```
    Overrides:
    
    Define_boolean_isDUbefore in class ASTNode<ASTNode>
  - 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 Unary

Modifier and Type	Field	Description
`protected boolean`	`type_computed`
`protected TypeDecl`	`type_value`

Constructors
Constructor	Description
`LogNotExpr()`
`LogNotExpr(Expr p0)`

Class LogNotExpr

Field Summary

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.Unary

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

type_computed

type_value

Constructor Detail

LogNotExpr

LogNotExpr

Method Detail

flushCache

flushCollectionCache

clone

copy

fullCopy

typeCheck

eval

emitEvalBranch

init$Children

numChildren

mayHaveRewrite

setOperand

getOperand

getOperandNoTransform

isConstant

constant

isDAafterTrue

isDAafterFalse

isDAafter

isDUafterTrue

isDUafterFalse

isDUafter

printPreOp

type

definesLabel

canBeTrue

canBeFalse

Define_boolean_isDAbefore

Define_boolean_isDUbefore

Define_soot_jimple_Stmt_condition_false_label

Define_soot_jimple_Stmt_condition_true_label

rewriteTo