Package soot.JastAddJ

Class DoubleLiteral

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Expr

soot.JastAddJ.PrimaryExpr

soot.JastAddJ.Literal

soot.JastAddJ.NumericLiteral

soot.JastAddJ.DoubleLiteral

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

public class DoubleLiteral
extends NumericLiteral
implements Cloneable

Java double-precision floating point literal. Can store any value representable as an IEEE 754 64-bit double-precision floating point number.

Field Summary

Fields

Modifier and Type	Field	Description
protected boolean	constant_computed
protected Constant	constant_value
protected boolean	isZero_computed
protected boolean	isZero_value
protected boolean	type_computed
protected TypeDecl	type_value

Fields inherited from class soot.JastAddJ.NumericLiteral

BINARY, DECIMAL, digits, HEXADECIMAL, kind, OCTAL

Fields inherited from class soot.JastAddJ.Literal

LITERALend, LITERALstart, 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	Description
DoubleLiteral()
DoubleLiteral(Symbol p0)
DoubleLiteral(String p0)

Method Summary

Modifier and Type	Method	Description
DoubleLiteral	clone()
Constant	constant()	Parse this literal and return a fresh Constant.
DoubleLiteral	copy()
Value	eval(Body b)
void	flushCache()
void	flushCollectionCache()
DoubleLiteral	fullCopy()	Create a deep copy of the AST subtree at this node.
String	getLITERAL()	Retrieves the value for the lexeme LITERAL.
void	init$Children()	Initializes the child array to the correct size.
boolean	isZero()
boolean	mayHaveRewrite()
boolean	needsRewrite()	Utility attribute for literal rewriting.
protected int	numChildren()
ASTNode	rewriteTo()
void	setLITERAL(Symbol symbol)	JastAdd-internal setter for lexeme LITERAL using the Beaver parser.
void	setLITERAL(String value)	Replaces the lexeme LITERAL.
void	toString(StringBuffer s)	Defer pretty printing to superclass.
TypeDecl	type()	The type of a NumericLiteral is undefined.
void	typeCheck()

Methods inherited from class soot.JastAddJ.NumericLiteral

getDigits, getKind, getRadix, isBinary, isDecimal, isHex, isNegative, isOctal, parse, parseLong, parseLongBinary, parseLongDecimal, parseLongHexadecimal, parseLongOctal, setDigits, setKind

Methods inherited from class soot.JastAddJ.Literal

asEscape, buildBooleanLiteral, buildDoubleLiteral, buildFloatLiteral, buildIntegerLiteral, buildLongLiteral, buildStringLiteral, dumpString, escape, isConstant

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, 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, 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_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, 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

isZero_computed

protected boolean isZero_computed

isZero_value

protected boolean isZero_value

constant_computed

protected boolean constant_computed

constant_value

protected Constant constant_value

Constructor Detail

DoubleLiteral

public DoubleLiteral()

DoubleLiteral

public DoubleLiteral(String p0)

DoubleLiteral

public DoubleLiteral(Symbol p0)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class NumericLiteral

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class NumericLiteral

clone

public DoubleLiteral clone()
                    throws CloneNotSupportedException

Overrides:

clone in class NumericLiteral

Throws:

CloneNotSupportedException

copy

public DoubleLiteral copy()

Overrides:

copy in class NumericLiteral

fullCopy

public DoubleLiteral 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 NumericLiteral

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

numChildren

protected int numChildren()

Overrides:

numChildren in class NumericLiteral

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class NumericLiteral

setLITERAL

public void setLITERAL(String value)

Replaces the lexeme LITERAL.

Overrides:

setLITERAL in class NumericLiteral

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.

Overrides:

setLITERAL in class NumericLiteral

getLITERAL

public String getLITERAL()

Retrieves the value for the lexeme LITERAL.

Overrides:

getLITERAL in class NumericLiteral

Returns:

The value for the lexeme LITERAL.

toString

public void toString(StringBuffer s)

Defer pretty printing to superclass.

Overrides:

toString in class Literal

type

public TypeDecl type()

Description copied from class: NumericLiteral

The type of a NumericLiteral is undefined. The literal must be parsed before it can have a type.

Overrides:

type in class NumericLiteral

isZero

public boolean isZero()

Returns:

true if this floating point literal is equivalent to a zero literal

constant

public Constant constant()

Parse this literal and return a fresh Constant.

Overrides:

constant in class Literal

Returns:

a fresh Constant representing this DoubleLiteral

needsRewrite

public boolean needsRewrite()

Utility attribute for literal rewriting. Any of the NumericLiteral subclasses have already been rewritten and/or parsed, and should not be rewritten again.

Overrides:

needsRewrite in class NumericLiteral

Returns:

true if this literal is a "raw", not-yet-parsed NumericLiteral

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class NumericLiteral