soot.JastAddJ

Class Literal

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Expr

soot.JastAddJ.PrimaryExpr

soot.JastAddJ.Literal

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

Direct Known Subclasses:

BooleanLiteral, CharacterLiteral, IllegalLiteral, NullLiteral, NumericLiteral, StringLiteral

public abstract class Literal
extends PrimaryExpr
implements Cloneable

The abstract base class for all literals.

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	constant_computed
protected Constant	constant_value
int	LITERALend
int	LITERALstart
protected String	tokenString_LITERAL

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 and Description
Literal()
Literal(String p0)
Literal(Symbol p0)

Method Summary

Modifier and Type	Method and Description
protected static String	asEscape(int value)
static Literal	buildBooleanLiteral(boolean value)
static Literal	buildDoubleLiteral(double value)
static Literal	buildFloatLiteral(float value)
static Literal	buildIntegerLiteral(int value)
static Literal	buildLongLiteral(long value)
static Literal	buildStringLiteral(String value)
Literal	clone()
Constant	constant()
String	dumpString()
protected static String	escape(String s)
void	flushCache()
void	flushCollectionCache()
String	getLITERAL() Retrieves the value for the lexeme LITERAL.
void	init$Children() Initializes the child array to the correct size.
boolean	isConstant()
boolean	mayHaveRewrite()
protected int	numChildren()
ASTNode	rewriteTo()
void	setLITERAL(String value) Replaces the lexeme LITERAL.
void	setLITERAL(Symbol symbol) JastAdd-internal setter for lexeme LITERAL using the Beaver parser.
void	toString(StringBuffer 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, eval, false_label, hasNextAccess, hasPackage, hasParentDot, hasQualifiedPackage, hostPackage, hostType, inExtendsOrImplements, inStaticContext, isArrayAccess, isClassAccess, isDAafter, isDAafterFalse, isDAafterTrue, isDAbefore, isDest, isDUafter, 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, type, 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_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_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, 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

tokenString_LITERAL

protected String tokenString_LITERAL

LITERALstart

public int LITERALstart

LITERALend

public int LITERALend

constant_computed

protected boolean constant_computed

constant_value

protected Constant constant_value

Constructor Detail

Literal

public Literal()

Literal

public Literal(String p0)

Literal

public Literal(Symbol p0)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class PrimaryExpr

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class PrimaryExpr

clone

public Literal clone()
              throws CloneNotSupportedException

Overrides:

clone in class PrimaryExpr

Throws:

CloneNotSupportedException

buildBooleanLiteral

public static Literal buildBooleanLiteral(boolean value)

buildStringLiteral

public static Literal buildStringLiteral(String value)

toString

public void toString(StringBuffer s)

Overrides:

toString in class ASTNode<ASTNode>

escape

protected static String escape(String s)

asEscape

protected static String asEscape(int value)

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 PrimaryExpr

numChildren

protected int numChildren()

Overrides:

numChildren in class PrimaryExpr

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class PrimaryExpr

setLITERAL

public void setLITERAL(String value)

Replaces the lexeme LITERAL.

Parameters:

value - The new value for the lexeme LITERAL.

setLITERAL

public void setLITERAL(Symbol symbol)

JastAdd-internal setter for lexeme LITERAL using the Beaver parser.

getLITERAL

public String getLITERAL()

Retrieves the value for the lexeme LITERAL.

Returns:

The value for the lexeme LITERAL.

buildDoubleLiteral

public static Literal buildDoubleLiteral(double value)

Returns:

a fresh double literal representing the given value

buildFloatLiteral

public static Literal buildFloatLiteral(float value)

Returns:

a fresh float literal representing the given value

buildIntegerLiteral

public static Literal buildIntegerLiteral(int value)

Returns:

a fresh integer literal representing the given value

buildLongLiteral

public static Literal buildLongLiteral(long value)

Returns:

a fresh long literal representing the given value

constant

public Constant constant()

Overrides:

constant in class Expr

isConstant

public boolean isConstant()

Overrides:

isConstant in class Expr

dumpString

public String dumpString()

Overrides:

dumpString in class ASTNode<ASTNode>

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class PrimaryExpr