Package soot.JastAddJ
Class LongType
-
public class LongType extends IntegralType implements Cloneable
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface soot.JastAddJ.SimpleSet
SimpleSet.SimpleSetImpl
-
-
Field Summary
Fields Modifier and Type Field Description protected booleanboxed_computedprotected TypeDeclboxed_valueprotected booleangetSootType_computedprotected TypegetSootType_valueprotected booleanjvmName_computedprotected StringjvmName_value-
Fields inherited from class soot.JastAddJ.NumericType
binaryNumericPromotion_TypeDecl_values, unaryNumericPromotion_computed, unaryNumericPromotion_value
-
Fields inherited from class soot.JastAddJ.PrimitiveType
instanceOf_TypeDecl_values, narrowingConversionTo_TypeDecl_values, subtype_TypeDecl_values
-
Fields inherited from class soot.JastAddJ.TypeDecl
accessibleFrom_TypeDecl_values, accessibleFromExtend_TypeDecl_values, accessibleFromPackage_String_values, accessorCounter, ancestorMethods_String_values, anonymousIndex, arrayType_computed, arrayType_value, castingConversionTo_TypeDecl_values, clinit, componentType_computed, componentType_value, constructors_computed, constructors_value, containedIn_TypeDecl_values, createEnumArray_TypeDecl_values, createEnumIndex_EnumConstant_values, createEnumMethod_TypeDecl_values, dimension_computed, dimension_value, elementType_computed, elementType_value, enclosingVariables_computed, enclosingVariables_value, erasure_computed, erasure_value, fullName_computed, fullName_value, getSootClassDecl_computed, getSootClassDecl_value, getSootField_String_TypeDecl_values, hasAbstract_computed, hasAbstract_value, IDend, IDstart, implementedInterfaces_computed, implementedInterfaces_value, inExplicitConstructorInvocation_computed, inExplicitConstructorInvocation_value, innerClassesAttributeEntries_computed, innerClassesAttributeEntries_value, inStaticContext_computed, inStaticContext_value, involvesTypeParameters_computed, involvesTypeParameters_initialized, involvesTypeParameters_value, involvesTypeParameters_visited, isAnonymous_computed, isAnonymous_value, isCheckedException_computed, isCheckedException_value, isCircular_computed, isCircular_initialized, isCircular_value, isCircular_visited, isDAbefore_Variable_values, isDUbefore_Variable_values, isException_computed, isException_value, isIterable_computed, isIterable_value, isObject_computed, isObject_value, isPublic_computed, isPublic_value, isStatic_computed, isStatic_value, isString_computed, isString_value, isUncheckedException_computed, isUncheckedException_value, localFields_String_values, localFieldsMap_computed, localFieldsMap_value, localMethodsSignatureMap_computed, localMethodsSignatureMap_value, localTypeDecls_String_values, lookupMethod_String_values, lookupType_String_values, lookupVariable_String_values, mayCatch_TypeDecl_values, memberFields_String_values, memberFieldsMap_computed, memberFieldsMap_value, memberTypes_String_values, methodInvocationConversionTo_TypeDecl_values, methodsNameMap_computed, methodsNameMap_value, methodsSignatureMap_computed, methodsSignatureMap_value, needsClinit_computed, needsClinit_value, packageName_computed, packageName_value, sameStructure_TypeDecl_values, sootClass_computed, sootClass_value, sourceTypeDecl_computed, sourceTypeDecl_value, tokenString_ID, typeError_computed, typeError_value, typeException_computed, typeException_value, typeName_computed, typeName_value, typeObject_computed, typeObject_value, typeRuntimeException_computed, typeRuntimeException_value, unboxed_computed, unboxed_value, unimplementedMethods_computed, unimplementedMethods_value, uniqueIndex_computed, uniqueIndex_value, unknownType_computed, unknownType_value, unqualifiedLookupMethod_String_values, usesTypeVariable_computed, usesTypeVariable_initialized, usesTypeVariable_value, usesTypeVariable_visited
-
Fields inherited from class soot.JastAddJ.ASTNode
children, generatedWithCacheCycle, generatedWithCircularEnabled, generatedWithComponentCheck, in$Circle, is$Final, numChildren, parent, PRIMITIVE_PACKAGE_NAME, state
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Constantadd(Constant c1, Constant c2)voidaddBodyDecl(BodyDecl node)Append an element to the BodyDecl list.voidaddBodyDeclNoTransform(BodyDecl node)ConstantandBitwise(Constant c1, Constant c2)booleanassignableToInt()ConstantbitNot(Constant c)TypeDeclboxed()Constantcast(Constant c)LongTypeclone()LongTypecopy()Constantdiv(Constant c1, Constant c2)booleaneqIsTrue(Expr left, Expr right)voidflushCache()voidflushCollectionCache()LongTypefullCopy()Create a deep copy of the AST subtree at this node.BodyDeclgetBodyDecl(int i)Retrieves the element at indexiin the BodyDecl list..List<BodyDecl>getBodyDeclList()Retrieves the BodyDecl list.List<BodyDecl>getBodyDeclListNoTransform()Retrieves the BodyDecl list.List<BodyDecl>getBodyDecls()Retrieves the BodyDecl list.List<BodyDecl>getBodyDeclsNoTransform()Retrieves the BodyDecl list.StringgetID()Retrieves the value for the lexeme ID.ModifiersgetModifiers()Retrieves the Modifiers child.ModifiersgetModifiersNoTransform()Retrieves the Modifiers child.intgetNumBodyDecl()Retrieves the number of children in the BodyDecl list.intgetNumBodyDeclNoTransform()Retrieves the number of children in the BodyDecl list.TypegetSootType()AccessgetSuperClassAccess()Retrieves the (optional) SuperClassAccess child.Opt<Access>getSuperClassAccessOpt()Opt<Access>getSuperClassAccessOptNoTransform()Retrieves the optional node for child SuperClassAccess.booleanhasSuperClassAccess()Check whether the optional SuperClassAccess child exists.voidinit$Children()Initializes the child array to the correct size.booleanisLong()StringjvmName()booleanleIsTrue(Expr left, Expr right)Constantlshift(Constant c1, Constant c2)booleanltIsTrue(Expr left, Expr right)booleanmayHaveRewrite()Constantminus(Constant c)Constantmod(Constant c1, Constant c2)Constantmul(Constant c1, Constant c2)protected intnumChildren()ConstantorBitwise(Constant c1, Constant c2)Constantplus(Constant c)StringprimitiveClassName()ConstantquestionColon(Constant cond, Constant c1, Constant c2)ASTNoderewriteTo()Constantrshift(Constant c1, Constant c2)voidsetBodyDecl(BodyDecl node, int i)Replaces the BodyDecl list element at indexiwith the new nodenode.voidsetBodyDeclList(List<BodyDecl> list)Replaces the BodyDecl list.voidsetID(Symbol symbol)JastAdd-internal setter for lexeme ID using the Beaver parser.voidsetID(String value)Replaces the lexeme ID.voidsetModifiers(Modifiers node)Replaces the Modifiers child.voidsetSuperClassAccess(Access node)Replaces the (optional) SuperClassAccess child.voidsetSuperClassAccessOpt(Opt<Access> opt)Replaces the optional node for the SuperClassAccess child.Constantsub(Constant c1, Constant c2)voidtoString(StringBuffer s)Constanturshift(Constant c1, Constant c2)ConstantxorBitwise(Constant c1, Constant c2)-
Methods inherited from class soot.JastAddJ.IntegralType
isIntegralType
-
Methods inherited from class soot.JastAddJ.NumericType
binaryNumericPromotion, emitCastTo, isNumericType, unaryNumericPromotion
-
Methods inherited from class soot.JastAddJ.PrimitiveType
boxingConversionTo, createQualifiedAccess, Define_TypeDecl_hostType, hasSuperclass, instanceOf, isPrimitive, isPrimitiveType, isSupertypeOfPrimitiveType, isValidAnnotationMethodReturnType, narrowingConversionTo, subtype, superclass, supertypePrimitiveType, wideningConversionTo
-
Methods inherited from class soot.JastAddJ.TypeDecl
accessibleFrom, accessibleFromExtend, accessibleFromPackage, add, addAccessor, addAttributes, addConstructor, addEnclosingVariables, addMemberClass, addMemberField, addMemberMethod, addNestedType, addsIndentationLevel, addUsedNestedType, allMethodsAbstract, ancestorMethods, annotation, arrayType, assignConversionTo, asWildcardExtends, asWildcardSuper, bridgeCandidates, castingConversionTo, checkModifiers, commensurateWith, compilationUnit, componentType, constructors, containedIn, contains, createAssertionsDisabled, createBoundAccess, createEnumArray, createEnumIndex, createEnumMethod, createStaticClassField, createStaticClassMethod, declaredBeforeUse, declaredBeforeUse, Define_boolean_enclosedByExceptionHandler, Define_boolean_insideLoop, Define_boolean_insideSwitch, Define_boolean_inStaticContext, Define_boolean_isAnonymous, Define_boolean_isDAbefore, Define_boolean_isDest, Define_boolean_isDUbefore, Define_boolean_isLocalClass, 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_reportUnreachable, Define_boolean_withinDeprecatedAnnotation, Define_boolean_withinSuppressWarnings, Define_Collection_lookupConstructor, Define_Collection_lookupMethod, Define_Collection_lookupSuperConstructor, Define_NameType_nameType, Define_SimpleSet_lookupType, Define_SimpleSet_lookupVariable, Define_String_methodHost, Define_TypeDecl_componentType, Define_TypeDecl_enclosingInstance, Define_TypeDecl_enclosingType, Define_TypeDecl_returnType, Define_VariableScope_outerScope, dimension, dumpString, elementType, emitBoxingOperation, emitCastTo, emitUnboxingOperation, enclosedBy, encloses, enclosing, enclosingBlock, enclosingBodyDecl, enclosingInstance, enclosingType, enclosingVariables, erasure, fieldsIterator, findSingleVariable, fullName, getAccessor, getAccessorSource, getSootClassDecl, getSootField, hasAbstract, hasAnnotationSafeVarargs, hasAnnotationSuppressWarnings, hasEnclosingTypeDecl, hasField, hasMethod, hasNext, hasPackage, hasType, hostPackage, hostType, identityConversionTo, implementedInterfaces, inExplicitConstructorInvocation, innerClassesAttributeEntries, inStaticContext, involvesTypeParameters, isAbstract, isAnnotationDecl, isAnonymous, isAnonymousInNonStaticContext, isArrayDecl, isBoolean, isByte, isChar, isCheckedException, isCircular, isClassDecl, isDAbefore, isDeprecated, isDouble, isDUbefore, isEmpty, isEnumDecl, isException, isFinal, isFloat, isGenericType, isInnerClass, isInnerType, isInnerTypeOf, isInt, isInterfaceDecl, isIterable, isLocalClass, isMemberType, isNestedType, isNull, isObject, isParameterizedType, isPrivate, isProtected, isPublic, isRawType, isReferenceType, isReifiable, isShort, isSingleton, isSingleton, isStatic, isStrictfp, isString, isSupertypeOfArrayDecl, isSupertypeOfClassDecl, isSupertypeOfInterfaceDecl, isSupertypeOfNullType, isSupertypeOfVoidType, isSynthetic, isTopLevelType, isTypeVariable, isUnboxedPrimitive, isUncheckedConversionTo, isUncheckedException, isUnknown, isVoid, isWildcard, iterator, jimplify1phase2, jimplify2, jimplify2clinit, localFields, localFieldsMap, localMethodsIterator, localMethodsSignature, localMethodsSignatureMap, localTypeDecls, lookupConstructor, lookupGLBType, lookupLUBType, lookupMethod, lookupSuperConstructor, lookupType, lookupType, lookupVariable, lookupWildcardExtends, lookupWildcardSuper, makeGeneric, mayAccess, mayAccess, mayCatch, memberFields, memberFieldsMap, memberMethods, memberTypes, methodInvocationConversionTo, methodsIterator, methodsNameMap, methodsSignature, methodsSignatureMap, methodWithArgs, name, nameCheck, needsClinit, needsEnclosing, needsSuperEnclosing, nestedTypes, next, nextAnonymousIndex, original, packageName, ppBodyDecls, referenceClassFieldName, refined_TypeHierarchyCheck_TypeDecl_typeCheck, remove, sameSignature, sameStructure, size, sootClass, sootRef, sootTypeModifiers, sourceNameWithoutPath, sourceTypeDecl, stringConversion, stringPromotion, substitute, substitute, substituteParameterType, substituteReturnType, superEnclosing, supertypeArrayDecl, supertypeClassDecl, supertypeClassDeclSubstituted, supertypeGenericClassDecl, supertypeGenericClassDeclSubstituted, supertypeGenericInterfaceDecl, supertypeGenericInterfaceDeclSubstituted, supertypeGLBType, supertypeInterfaceDecl, supertypeInterfaceDeclSubstituted, supertypeLUBType, supertypeNullType, supertypeParClassDecl, supertypeParInterfaceDecl, supertypeRawClassDecl, supertypeRawInterfaceDecl, supertypeTypeVariable, supertypeVoidType, supertypeWildcard, supertypeWildcardExtends, supertypeWildcardSuper, topLevelType, transformation, typeCheck, typeCloneable, typeDescriptor, typeError, typeException, typeInt, typeName, typeObject, typeRuntimeException, typeSerializable, typeVoid, typeWildcard, unboxed, unboxingConversionTo, unimplementedMethods, uniqueIndex, unknownType, unqualifiedLookupMethod, usedNestedTypes, usesTypeVariable, variableSize, withinBodyThatSubclasses, withinDeprecatedAnnotation, withinSuppressWarnings
-
Methods inherited from class soot.JastAddJ.ASTNode
accessControl, addChild, asImmediate, asLocal, asLocal, asRValue, beginExceptionRange, branchTarget, checkDUeverywhere, checkEnum, checkUncheckedConversion, checkWarnings, clearLocations, cloneSubtree, collectBranches, collectEnclosingVariables, collectErrors, collectExceptions, collectFinally, collectTypesToHierarchy, collectTypesToSignatures, Define_Annotation_lookupAnnotation, Define_ArrayList_exceptionRanges, Define_ASTNode_enclosingBlock, Define_BodyDecl_enclosingBodyDecl, Define_boolean_handlesException, Define_boolean_hasPackage, Define_boolean_inExplicitConstructorInvocation, Define_boolean_inExtendsOrImplements, Define_boolean_inhModifiedInScope, Define_boolean_isAnonymousDecl, Define_boolean_isCatchParam, Define_boolean_isConstructorParameter, Define_boolean_isExceptionHandlerParameter, Define_boolean_isExplicitGenericConstructorAccess, Define_boolean_isIncOrDec, Define_boolean_isMemberType, Define_boolean_isMethodParameter, Define_boolean_reachable, Define_boolean_reachableCatchClause, Define_boolean_resourcePreviouslyDeclared, Define_boolean_variableArityValid, Define_Case_bind, Define_CatchClause_catchClause, Define_ClassInstanceExpr_getClassInstanceExpr, 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_soot_jimple_Stmt_condition_false_label, Define_soot_jimple_Stmt_condition_true_label, Define_String_hostPackage, Define_String_packageName, Define_String_typeDeclIndent, Define_TypeDecl_assignConvertedType, Define_TypeDecl_declType, Define_TypeDecl_enclosingAnnotationDecl, Define_TypeDecl_expectedType, Define_TypeDecl_genericDecl, Define_TypeDecl_lookupType, Define_TypeDecl_lookupWildcardExtends, Define_TypeDecl_lookupWildcardSuper, 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, 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, jimplify1phase1, jimplify2, lineNumber, location, newLabel, options, putSimpleSetElement, reachedException, removeChild, removeInstanceMethods, removeInstanceVariables, replace, setChild, setEnd, setLocation, setParent, setStart, sourceFile, start, state, toString, transformEnumConstructors, unassignedEverywhere, 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
-
Methods inherited from interface java.util.Iterator
forEachRemaining
-
-
-
-
Field Detail
-
boxed_computed
protected boolean boxed_computed
-
boxed_value
protected TypeDecl boxed_value
-
jvmName_computed
protected boolean jvmName_computed
-
jvmName_value
protected String jvmName_value
-
getSootType_computed
protected boolean getSootType_computed
-
getSootType_value
protected Type getSootType_value
-
-
Method Detail
-
flushCache
public void flushCache()
- Overrides:
flushCachein classIntegralType
-
flushCollectionCache
public void flushCollectionCache()
- Overrides:
flushCollectionCachein classIntegralType
-
clone
public LongType clone() throws CloneNotSupportedException
- Overrides:
clonein classIntegralType- Throws:
CloneNotSupportedException
-
copy
public LongType copy()
- Overrides:
copyin classPrimitiveType
-
fullCopy
public LongType fullCopy()
Create a deep copy of the AST subtree at this node. The copy is dangling, i.e. has no parent.- Overrides:
fullCopyin classPrimitiveType- Returns:
- dangling copy of the subtree at this node
-
toString
public void toString(StringBuffer s)
-
init$Children
public void init$Children()
Initializes the child array to the correct size. Initializes List and Opt nta children.- Overrides:
init$Childrenin classIntegralType
-
numChildren
protected int numChildren()
- Overrides:
numChildrenin classIntegralType
-
mayHaveRewrite
public boolean mayHaveRewrite()
- Overrides:
mayHaveRewritein classIntegralType
-
setModifiers
public void setModifiers(Modifiers node)
Replaces the Modifiers child.- Overrides:
setModifiersin classIntegralType- Parameters:
node- The new node to replace the Modifiers child.
-
getModifiers
public Modifiers getModifiers()
Retrieves the Modifiers child.- Overrides:
getModifiersin classIntegralType- Returns:
- The current node used as the Modifiers child.
-
getModifiersNoTransform
public Modifiers getModifiersNoTransform()
Retrieves the Modifiers child.This method does not invoke AST transformations.
- Overrides:
getModifiersNoTransformin classIntegralType- Returns:
- The current node used as the Modifiers child.
-
setID
public void setID(String value)
Replaces the lexeme ID.- Overrides:
setIDin classIntegralType- Parameters:
value- The new value for the lexeme ID.
-
setID
public void setID(Symbol symbol)
JastAdd-internal setter for lexeme ID using the Beaver parser.- Overrides:
setIDin classIntegralType
-
getID
public String getID()
Retrieves the value for the lexeme ID.- Overrides:
getIDin classIntegralType- Returns:
- The value for the lexeme ID.
-
setSuperClassAccessOpt
public void setSuperClassAccessOpt(Opt<Access> opt)
Replaces the optional node for the SuperClassAccess child. This is theOptnode containing the child SuperClassAccess, not the actual child!- Overrides:
setSuperClassAccessOptin classIntegralType- Parameters:
opt- The new node to be used as the optional node for the SuperClassAccess child.
-
hasSuperClassAccess
public boolean hasSuperClassAccess()
Check whether the optional SuperClassAccess child exists.- Overrides:
hasSuperClassAccessin classIntegralType- Returns:
trueif the optional SuperClassAccess child exists,falseif it does not.
-
getSuperClassAccess
public Access getSuperClassAccess()
Retrieves the (optional) SuperClassAccess child.- Overrides:
getSuperClassAccessin classIntegralType- Returns:
- The SuperClassAccess child, if it exists. Returns
nullotherwise.
-
setSuperClassAccess
public void setSuperClassAccess(Access node)
Replaces the (optional) SuperClassAccess child.- Overrides:
setSuperClassAccessin classIntegralType- Parameters:
node- The new node to be used as the SuperClassAccess child.
-
getSuperClassAccessOpt
public Opt<Access> getSuperClassAccessOpt()
- Overrides:
getSuperClassAccessOptin classIntegralType
-
getSuperClassAccessOptNoTransform
public Opt<Access> getSuperClassAccessOptNoTransform()
Retrieves the optional node for child SuperClassAccess. This is theOptnode containing the child SuperClassAccess, not the actual child!This method does not invoke AST transformations.
- Overrides:
getSuperClassAccessOptNoTransformin classIntegralType- Returns:
- The optional node for child SuperClassAccess.
-
setBodyDeclList
public void setBodyDeclList(List<BodyDecl> list)
Replaces the BodyDecl list.- Overrides:
setBodyDeclListin classIntegralType- Parameters:
list- The new list node to be used as the BodyDecl list.
-
getNumBodyDecl
public int getNumBodyDecl()
Retrieves the number of children in the BodyDecl list.- Overrides:
getNumBodyDeclin classIntegralType- Returns:
- Number of children in the BodyDecl list.
-
getNumBodyDeclNoTransform
public int getNumBodyDeclNoTransform()
Retrieves the number of children in the BodyDecl list. Calling this method will not trigger rewrites..- Overrides:
getNumBodyDeclNoTransformin classIntegralType- Returns:
- Number of children in the BodyDecl list.
-
getBodyDecl
public BodyDecl getBodyDecl(int i)
Retrieves the element at indexiin the BodyDecl list..- Overrides:
getBodyDeclin classIntegralType- Parameters:
i- Index of the element to return.- Returns:
- The element at position
iin the BodyDecl list.
-
addBodyDecl
public void addBodyDecl(BodyDecl node)
Append an element to the BodyDecl list.- Overrides:
addBodyDeclin classIntegralType- Parameters:
node- The element to append to the BodyDecl list.
-
addBodyDeclNoTransform
public void addBodyDeclNoTransform(BodyDecl node)
- Overrides:
addBodyDeclNoTransformin classIntegralType
-
setBodyDecl
public void setBodyDecl(BodyDecl node, int i)
Replaces the BodyDecl list element at indexiwith the new nodenode.- Overrides:
setBodyDeclin classIntegralType- Parameters:
node- The new node to replace the old list element.i- The list index of the node to be replaced.
-
getBodyDecls
public List<BodyDecl> getBodyDecls()
Retrieves the BodyDecl list.- Overrides:
getBodyDeclsin classIntegralType- Returns:
- The node representing the BodyDecl list.
-
getBodyDeclsNoTransform
public List<BodyDecl> getBodyDeclsNoTransform()
Retrieves the BodyDecl list.This method does not invoke AST transformations.
- Overrides:
getBodyDeclsNoTransformin classIntegralType- Returns:
- The node representing the BodyDecl list.
-
getBodyDeclList
public List<BodyDecl> getBodyDeclList()
Retrieves the BodyDecl list.- Overrides:
getBodyDeclListin classIntegralType- Returns:
- The node representing the BodyDecl list.
-
getBodyDeclListNoTransform
public List<BodyDecl> getBodyDeclListNoTransform()
Retrieves the BodyDecl list.This method does not invoke AST transformations.
- Overrides:
getBodyDeclListNoTransformin classIntegralType- Returns:
- The node representing the BodyDecl list.
-
cast
public Constant cast(Constant c)
- Overrides:
castin classIntegralType
-
plus
public Constant plus(Constant c)
- Overrides:
plusin classIntegralType
-
minus
public Constant minus(Constant c)
- Overrides:
minusin classIntegralType
-
bitNot
public Constant bitNot(Constant c)
- Overrides:
bitNotin classIntegralType
-
mul
public Constant mul(Constant c1, Constant c2)
- Overrides:
mulin classIntegralType
-
div
public Constant div(Constant c1, Constant c2)
- Overrides:
divin classIntegralType
-
mod
public Constant mod(Constant c1, Constant c2)
- Overrides:
modin classIntegralType
-
add
public Constant add(Constant c1, Constant c2)
- Overrides:
addin classIntegralType
-
sub
public Constant sub(Constant c1, Constant c2)
- Overrides:
subin classIntegralType
-
lshift
public Constant lshift(Constant c1, Constant c2)
- Overrides:
lshiftin classIntegralType
-
rshift
public Constant rshift(Constant c1, Constant c2)
- Overrides:
rshiftin classIntegralType
-
urshift
public Constant urshift(Constant c1, Constant c2)
- Overrides:
urshiftin classIntegralType
-
andBitwise
public Constant andBitwise(Constant c1, Constant c2)
- Overrides:
andBitwisein classIntegralType
-
xorBitwise
public Constant xorBitwise(Constant c1, Constant c2)
- Overrides:
xorBitwisein classIntegralType
-
orBitwise
public Constant orBitwise(Constant c1, Constant c2)
- Overrides:
orBitwisein classIntegralType
-
questionColon
public Constant questionColon(Constant cond, Constant c1, Constant c2)
- Overrides:
questionColonin classIntegralType
-
eqIsTrue
public boolean eqIsTrue(Expr left, Expr right)
- Overrides:
eqIsTruein classIntegralType
-
ltIsTrue
public boolean ltIsTrue(Expr left, Expr right)
- Overrides:
ltIsTruein classIntegralType
-
leIsTrue
public boolean leIsTrue(Expr left, Expr right)
- Overrides:
leIsTruein classIntegralType
-
assignableToInt
public boolean assignableToInt()
- Overrides:
assignableToIntin classIntegralType
-
primitiveClassName
public String primitiveClassName()
- Overrides:
primitiveClassNamein classTypeDecl
-
getSootType
public Type getSootType()
- Overrides:
getSootTypein classTypeDecl
-
rewriteTo
public ASTNode rewriteTo()
- Overrides:
rewriteToin classIntegralType
-
-