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

All Implemented Interfaces:: Cloneable, Iterable<ASTNode>

public class CastExpr
extends Expr
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

CastExpr()

CastExpr(Access p0, Expr p1)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`checkWarnings()`	Checking of the SafeVarargs annotation is only needed for method declarations.
`CastExpr`	`clone()`
`Constant`	`constant()`
`CastExpr`	`copy()`
`NameType`	`Define_NameType_nameType(ASTNode caller, ASTNode child)`
`Value`	`eval(Body b)`
`void`	`flushCache()`
`void`	`flushCollectionCache()`
`CastExpr`	`fullCopy()`	Create a deep copy of the AST subtree at this node.
`Expr`	`getExpr()`	Retrieves the Expr child.
`Expr`	`getExprNoTransform()`	Retrieves the Expr child.
`Access`	`getTypeAccess()`	Retrieves the TypeAccess child.
`Access`	`getTypeAccessNoTransform()`	Retrieves the TypeAccess child.
`void`	`init$Children()`	Initializes the child array to the correct size.
`boolean`	`isConstant()`
`boolean`	`isDAafter(Variable v)`
`boolean`	`isDUafter(Variable v)`
`boolean`	`isSuperAccess()`
`boolean`	`isThisAccess()`
`boolean`	`mayHaveRewrite()`
`protected int`	`numChildren()`
`ASTNode`	`rewriteTo()`
`void`	`setExpr(Expr node)`	Replaces the Expr child.
`void`	`setTypeAccess(Access node)`	Replaces the TypeAccess child.
`boolean`	`staticContextQualifier()`
`void`	`toString(StringBuffer s)`
`TypeDecl`	`type()`
`void`	`typeCheck()`
`boolean`	`withinSuppressWarnings(String s)`

Methods inherited from class soot.JastAddJ.Expr
addDependencyIfNeeded, applicableAndAccessible, assignConvertedType, canBeFalse, canBeTrue, chooseConstructor, collectTypesToHierarchy, condition_false_label, condition_true_label, emitBooleanCondition, emitEvalBranch, emitStore, enclosingBodyDecl, enclosingStmt, false_label, hasNextAccess, hasPackage, hasParentDot, hasQualifiedPackage, hostPackage, hostType, inExtendsOrImplements, inStaticContext, isArrayAccess, isClassAccess, isDAafterFalse, isDAafterTrue, isDAbefore, isDest, isDUafterFalse, isDUafterTrue, isDUbefore, isEnumConstant, isFalse, isFieldAccess, isIncOrDec, isLeftChildOfDot, isMethodAccess, isPackageAccess, isPositive, isRightChildOfDot, isSource, isSuperConstructorAccess, 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, 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, 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_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_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_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, 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
  - CastExpr
```
public CastExpr()
```
  - CastExpr
```
public CastExpr(Access p0,
                Expr p1)
```
- Method Detail
  - flushCache
```
public void flushCache()
```
    Overrides:
    
    flushCache in class Expr
  - flushCollectionCache
```
public void flushCollectionCache()
```
    Overrides:
    
    flushCollectionCache in class Expr
  - clone
```
public CastExpr clone()
               throws CloneNotSupportedException
```
    Overrides:
    
    clone in class Expr
    
    Throws:
    
    CloneNotSupportedException
  - copy
```
public CastExpr copy()
```
    Overrides:
    
    copy in class ASTNode<ASTNode>
  - fullCopy
```
public CastExpr 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>
  - eval
```
public Value eval(Body b)
```
    Overrides:
    
    eval in class Expr
  - checkWarnings
```
public void checkWarnings()
```
    Description copied from class: ASTNode
    
    Checking of the SafeVarargs annotation is only needed for method declarations.
    
    Overrides:
    
    checkWarnings 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 Expr
  - numChildren
```
protected int numChildren()
```
    Overrides:
    
    numChildren in class Expr
  - mayHaveRewrite
```
public boolean mayHaveRewrite()
```
    Overrides:
    
    mayHaveRewrite in class Expr
  - setTypeAccess
```
public void setTypeAccess(Access node)
```
    Replaces the TypeAccess child.
    
    Parameters:
    
    node - The new node to replace the TypeAccess child.
  - getTypeAccess
```
public Access getTypeAccess()
```
    Retrieves the TypeAccess child.
    
    Returns:
    
    The current node used as the TypeAccess child.
  - getTypeAccessNoTransform
```
public Access getTypeAccessNoTransform()
```
    Retrieves the TypeAccess child.
    This method does not invoke AST transformations.
    
    Returns:
    
    The current node used as the TypeAccess child.
  - setExpr
```
public void setExpr(Expr node)
```
    Replaces the Expr child.
    
    Parameters:
    
    node - The new node to replace the Expr child.
  - getExpr
```
public Expr getExpr()
```
    Retrieves the Expr child.
    
    Returns:
    
    The current node used as the Expr child.
  - getExprNoTransform
```
public Expr getExprNoTransform()
```
    Retrieves the Expr child.
    This method does not invoke AST transformations.
    
    Returns:
    
    The current node used as the Expr child.
  - constant
```
public Constant constant()
```
    Overrides:
    
    constant in class Expr
  - isConstant
```
public boolean isConstant()
```
    Overrides:
    
    isConstant in class Expr
  - isDAafter
```
public boolean isDAafter(Variable v)
```
    Overrides:
    
    isDAafter in class Expr
  - isDUafter
```
public boolean isDUafter(Variable v)
```
    Overrides:
    
    isDUafter in class Expr
  - isSuperAccess
```
public boolean isSuperAccess()
```
    Overrides:
    
    isSuperAccess in class Expr
  - isThisAccess
```
public boolean isThisAccess()
```
    Overrides:
    
    isThisAccess in class Expr
  - type
```
public TypeDecl type()
```
    Specified by:
    
    type in class Expr
  - staticContextQualifier
```
public boolean staticContextQualifier()
```
    Overrides:
    
    staticContextQualifier in class Expr
  - withinSuppressWarnings
```
public boolean withinSuppressWarnings(String s)
```
  - Define_NameType_nameType
```
public NameType Define_NameType_nameType(ASTNode caller,
                                         ASTNode child)
```
    Overrides:
    
    Define_NameType_nameType in class ASTNode<ASTNode>
  - rewriteTo
```
public ASTNode rewriteTo()
```
    Overrides:
    
    rewriteTo in class Expr

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

Constructors
Constructor	Description
`CastExpr()`
`CastExpr(Access p0, Expr p1)`

Class CastExpr

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

CastExpr

CastExpr

Method Detail

flushCache

flushCollectionCache

clone

copy

fullCopy

toString

typeCheck

eval

checkWarnings

init$Children

numChildren

mayHaveRewrite

setTypeAccess

getTypeAccess

getTypeAccessNoTransform

setExpr

getExpr

getExprNoTransform

constant

isConstant

isDAafter

isDUafter

isSuperAccess

isThisAccess

type

staticContextQualifier

withinSuppressWarnings

Define_NameType_nameType

rewriteTo