Package soot.JastAddJ

Class ConstCase

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Stmt

soot.JastAddJ.Case

soot.JastAddJ.ConstCase

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

public class ConstCase
extends Case
implements Cloneable

Field Summary

Fields inherited from class soot.JastAddJ.Case

bind_Case_values, isDAafter_Variable_values, isDAbefore_Variable_values, isDUafter_Variable_values, label_computed, label_value

Fields inherited from class soot.JastAddJ.Stmt

canCompleteNormally_computed, canCompleteNormally_value, localNum_computed, localNum_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
ConstCase()
ConstCase(Expr p0)

Method Summary

Modifier and Type	Method	Description
ConstCase	clone()
boolean	constValue(Case c)
ConstCase	copy()
SimpleSet	Define_SimpleSet_lookupVariable(ASTNode caller, ASTNode child, String name)
void	flushCache()
void	flushCollectionCache()
ConstCase	fullCopy()	Create a deep copy of the AST subtree at this node.
Expr	getValue()	Retrieves the Value child.
Expr	getValueNoTransform()	Retrieves the Value child.
void	init$Children()	Initializes the child array to the correct size.
boolean	mayHaveRewrite()
void	nameCheck()
protected int	numChildren()
void	refined_Enums_ConstCase_typeCheck()
ASTNode	rewriteTo()
void	setValue(Expr node)	Replaces the Value child.
void	toString(StringBuffer s)
void	transformation()
void	typeCheck()	Improve the type checking error messages given for case labels.

Methods inherited from class soot.JastAddJ.Case

bind, isDAafter, isDAbefore, isDefaultCase, isDUafter, isDUbefore, jimplify2, label, modifiedInScope, reachable, switchType

Methods inherited from class soot.JastAddJ.Stmt

addsIndentationLevel, break_label, canCompleteNormally, continue_label, continueLabel, declaresVariable, Define_String_typeDeclIndent, enclosingBodyDecl, hostType, localNum, lookupMethod, lookupType, lookupType, lookupVariable, reportUnreachable

Methods inherited from class soot.JastAddJ.ASTNode

accessControl, addAttributes, addChild, asImmediate, asLocal, asLocal, asRValue, beginExceptionRange, branchTarget, checkDUeverywhere, checkEnum, checkUncheckedConversion, checkWarnings, clearLocations, cloneSubtree, collectBranches, collectEnclosingVariables, collectErrors, collectExceptions, collectFinally, collectTypesToHierarchy, 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_NameType_nameType, Define_SimpleSet_allImportedTypes, Define_SimpleSet_lookupType, Define_soot_jimple_Stmt_condition_false_label, Define_soot_jimple_Stmt_condition_true_label, Define_String_hostPackage, Define_String_methodHost, Define_String_packageName, 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, lineNumber, location, newLabel, options, putSimpleSetElement, reachedException, removeChild, removeInstanceMethods, removeInstanceVariables, replace, setChild, setEnd, setLocation, setParent, setStart, sourceFile, start, state, toString, 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

Constructor Detail

ConstCase

public ConstCase()

ConstCase

public ConstCase(Expr p0)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class Case

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class Case

clone

public ConstCase clone()
                throws CloneNotSupportedException

Overrides:

clone in class Case

Throws:

CloneNotSupportedException

copy

public ConstCase copy()

Overrides:

copy in class ASTNode<ASTNode>

fullCopy

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

nameCheck

public void nameCheck()

Overrides:

nameCheck in class ASTNode<ASTNode>

toString

public void toString(StringBuffer s)

Overrides:

toString in class ASTNode<ASTNode>

transformation

public void transformation()

Overrides:

transformation 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 Case

numChildren

protected int numChildren()

Overrides:

numChildren in class Case

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class Case

setValue

public void setValue(Expr node)

Replaces the Value child.

Parameters:

node - The new node to replace the Value child.

getValue

public Expr getValue()

Retrieves the Value child.

Returns:

The current node used as the Value child.

getValueNoTransform

public Expr getValueNoTransform()

Retrieves the Value child.

This method does not invoke AST transformations.

Returns:

The current node used as the Value child.

refined_Enums_ConstCase_typeCheck

public void refined_Enums_ConstCase_typeCheck()

typeCheck

public void typeCheck()

Improve the type checking error messages given for case labels.

Overrides:

typeCheck in class ASTNode<ASTNode>

constValue

public boolean constValue(Case c)

Specified by:

constValue in class Case

Define_SimpleSet_lookupVariable

public SimpleSet Define_SimpleSet_lookupVariable(ASTNode caller,
                                                 ASTNode child,
                                                 String name)

Overrides:

Define_SimpleSet_lookupVariable in class ASTNode<ASTNode>

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class Case