Unary (Soot - a J*va Optimization Framework 4.2.1 API)

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

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

Direct Known Subclasses:

BitNotExpr, LogNotExpr, MinusExpr, PlusExpr, PostfixExpr, PreDecExpr, PreIncExpr
```
public abstract class Unary
extends Expr
implements Cloneable
```

Field Summary

Fields
Modifier and Type Field and 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

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

Constructor Summary

Constructors
Constructor and Description

Unary()

Unary(Expr p0)

Constructors
Constructor and Description
`Unary()`
`Unary(Expr p0)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`Unary`	`clone()`
`boolean`	`Define_boolean_isSource(ASTNode caller, ASTNode child)`
`Value`	`emitPostfix(Body b, int constant)`
`Value`	`emitPrefix(Body b, int constant)`
`Value`	`eval(Body b)`
`void`	`flushCache()`
`void`	`flushCollectionCache()`
`Expr`	`getOperand()` Retrieves the Operand child.
`Expr`	`getOperandNoTransform()` Retrieves the Operand child.
`void`	`init$Children()` Initializes the child array to the correct size.
`boolean`	`isDAafter(Variable v)`
`boolean`	`isDUafter(Variable v)`
`boolean`	`mayHaveRewrite()`
`protected int`	`numChildren()`
`String`	`printPostOp()`
`String`	`printPreOp()`
`ASTNode`	`rewriteTo()`
`void`	`setOperand(Expr node)` Replaces the Operand child.
`void`	`toString(StringBuffer s)`
`TypeDecl`	`type()`

Methods inherited from class soot.JastAddJ.Expr
addDependencyIfNeeded, applicableAndAccessible, assignConvertedType, canBeFalse, canBeTrue, chooseConstructor, collectTypesToHierarchy, condition_false_label, condition_true_label, constant, emitBooleanCondition, emitEvalBranch, emitStore, enclosingBodyDecl, enclosingStmt, false_label, hasNextAccess, hasPackage, hasParentDot, hasQualifiedPackage, hostPackage, hostType, inExtendsOrImplements, inStaticContext, isArrayAccess, isClassAccess, isConstant, isDAafterFalse, isDAafterTrue, isDAbefore, isDest, isDUafterFalse, isDUafterTrue, 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, copy, 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_isDAbefore, 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_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_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, 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, fullCopy, 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, 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
  - type_computed
```
protected boolean type_computed
```
  - type_value
```
protected TypeDecl type_value
```
- Constructor Detail
  - Unary
```
public Unary()
```
  - Unary
```
public Unary(Expr p0)
```
- Method Detail
  - flushCache
```
public void flushCache()
```
    Overrides:
    
    flushCache in class Expr
  - flushCollectionCache
```
public void flushCollectionCache()
```
    Overrides:
    
    flushCollectionCache in class Expr
  - clone
```
public Unary clone()
            throws CloneNotSupportedException
```
    Overrides:
    
    clone in class Expr
    
    Throws:
    
    CloneNotSupportedException
  - toString
```
public void toString(StringBuffer s)
```
    Overrides:
    
    toString in class ASTNode<ASTNode>
  - eval
```
public Value eval(Body b)
```
    Overrides:
    
    eval in class Expr
  - emitPostfix
```
public Value emitPostfix(Body b,
                         int constant)
```
  - emitPrefix
```
public Value emitPrefix(Body b,
                        int constant)
```
  - 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 Expr
  - numChildren
```
protected int numChildren()
```
    Overrides:
    
    numChildren in class Expr
  - mayHaveRewrite
```
public boolean mayHaveRewrite()
```
    Overrides:
    
    mayHaveRewrite in class Expr
  - setOperand
```
public void setOperand(Expr node)
```
    Replaces the Operand child.
    
    Parameters:
    
    node - The new node to replace the Operand child.
  - getOperand
```
public Expr getOperand()
```
    Retrieves the Operand child.
    
    Returns:
    
    The current node used as the Operand child.
  - getOperandNoTransform
```
public Expr getOperandNoTransform()
```
    Retrieves the Operand child.
    This method does not invoke AST transformations.
    
    Returns:
    
    The current node used as the Operand child.
  - isDAafter
```
public boolean isDAafter(Variable v)
```
    Overrides:
    
    isDAafter in class Expr
  - isDUafter
```
public boolean isDUafter(Variable v)
```
    Overrides:
    
    isDUafter in class Expr
  - printPostOp
```
public String printPostOp()
```
  - printPreOp
```
public String printPreOp()
```
  - type
```
public TypeDecl type()
```
    Specified by:
    
    type in class Expr
  - Define_boolean_isSource
```
public boolean Define_boolean_isSource(ASTNode caller,
                                       ASTNode child)
```
    Overrides:
    
    Define_boolean_isSource in class ASTNode<ASTNode>
  - rewriteTo
```
public ASTNode rewriteTo()
```
    Overrides:
    
    rewriteTo in class Expr

Class Unary

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

Unary

Unary

Method Detail

flushCache

flushCollectionCache

clone

toString

eval

emitPostfix

emitPrefix

init$Children

numChildren

mayHaveRewrite

setOperand

getOperand

getOperandNoTransform

isDAafter

isDUafter

printPostOp

printPreOp

type

Define_boolean_isSource

rewriteTo