Package soot.JastAddJ

Class VoidType

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.TypeDecl

soot.JastAddJ.VoidType

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>, Iterator, SimpleSet, VariableScope

public class VoidType
extends TypeDecl
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 boolean	getSootType_computed
protected Type	getSootType_value
protected Map	instanceOf_TypeDecl_values
protected Map	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, boxed_computed, boxed_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, jvmName_computed, jvmName_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, narrowingConversionTo_TypeDecl_values, 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

Fields inherited from class beaver.Symbol

end, id, start, value

Fields inherited from interface soot.JastAddJ.SimpleSet

emptySet, fullSet

Constructor Summary

Constructors

Constructor	Description
VoidType()
VoidType(Modifiers p0, Symbol p1, List<BodyDecl> p2)
VoidType(Modifiers p0, String p1, List<BodyDecl> p2)

Method Summary

Modifier and Type	Method	Description
void	addBodyDecl(BodyDecl node)	Append an element to the BodyDecl list.
void	addBodyDeclNoTransform(BodyDecl node)
VoidType	clone()
VoidType	copy()
void	flushCache()
void	flushCollectionCache()
VoidType	fullCopy()	Create a deep copy of the AST subtree at this node.
BodyDecl	getBodyDecl(int i)	Retrieves the element at index i in 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.
String	getID()	Retrieves the value for the lexeme ID.
Modifiers	getModifiers()	Retrieves the Modifiers child.
Modifiers	getModifiersNoTransform()	Retrieves the Modifiers child.
int	getNumBodyDecl()	Retrieves the number of children in the BodyDecl list.
int	getNumBodyDeclNoTransform()	Retrieves the number of children in the BodyDecl list.
Type	getSootType()
void	init$Children()	Initializes the child array to the correct size.
boolean	instanceOf(TypeDecl type)
boolean	isSupertypeOfVoidType(VoidType type)
boolean	isVoid()
boolean	mayHaveRewrite()
protected int	numChildren()
String	primitiveClassName()
ASTNode	rewriteTo()
void	setBodyDecl(BodyDecl node, int i)	Replaces the BodyDecl list element at index i with the new node node.
void	setBodyDeclList(List<BodyDecl> list)	Replaces the BodyDecl list.
void	setID(Symbol symbol)	JastAdd-internal setter for lexeme ID using the Beaver parser.
void	setID(String value)	Replaces the lexeme ID.
void	setModifiers(Modifiers node)	Replaces the Modifiers child.
boolean	stringConversion()
boolean	subtype(TypeDecl type)
boolean	supertypeVoidType(VoidType type)
void	toString(StringBuffer s)

Methods inherited from class soot.JastAddJ.TypeDecl

accessibleFrom, accessibleFromExtend, accessibleFromPackage, add, add, addAccessor, addAttributes, addConstructor, addEnclosingVariables, addMemberClass, addMemberField, addMemberMethod, addNestedType, addsIndentationLevel, addUsedNestedType, allMethodsAbstract, ancestorMethods, andBitwise, annotation, arrayType, assignableToInt, assignConversionTo, asWildcardExtends, asWildcardSuper, binaryNumericPromotion, bitNot, boxed, boxingConversionTo, bridgeCandidates, cast, castingConversionTo, checkModifiers, commensurateWith, compilationUnit, componentType, constructors, containedIn, contains, createAssertionsDisabled, createBoundAccess, createEnumArray, createEnumIndex, createEnumMethod, createQualifiedAccess, 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_hostType, Define_TypeDecl_returnType, Define_VariableScope_outerScope, dimension, div, dumpString, elementType, emitBoxingOperation, emitCastTo, emitCastTo, emitUnboxingOperation, enclosedBy, encloses, enclosing, enclosingBlock, enclosingBodyDecl, enclosingInstance, enclosingType, enclosingVariables, eqIsTrue, 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, isIntegralType, isInterfaceDecl, isIterable, isLocalClass, isLong, isMemberType, isNestedType, isNull, isNumericType, isObject, isParameterizedType, isPrimitive, isPrimitiveType, isPrivate, isProtected, isPublic, isRawType, isReferenceType, isReifiable, isShort, isSingleton, isSingleton, isStatic, isStrictfp, isString, isSupertypeOfArrayDecl, isSupertypeOfClassDecl, isSupertypeOfInterfaceDecl, isSupertypeOfNullType, isSupertypeOfPrimitiveType, isSynthetic, isTopLevelType, isTypeVariable, isUnboxedPrimitive, isUncheckedConversionTo, isUncheckedException, isUnknown, isValidAnnotationMethodReturnType, isWildcard, iterator, jimplify1phase2, jimplify2, jimplify2clinit, jvmName, leIsTrue, localFields, localFieldsMap, localMethodsIterator, localMethodsSignature, localMethodsSignatureMap, localTypeDecls, lookupConstructor, lookupGLBType, lookupLUBType, lookupMethod, lookupSuperConstructor, lookupType, lookupType, lookupVariable, lookupWildcardExtends, lookupWildcardSuper, lshift, ltIsTrue, makeGeneric, mayAccess, mayAccess, mayCatch, memberFields, memberFieldsMap, memberMethods, memberTypes, methodInvocationConversionTo, methodsIterator, methodsNameMap, methodsSignature, methodsSignatureMap, methodWithArgs, minus, mod, mul, name, nameCheck, narrowingConversionTo, needsClinit, needsEnclosing, needsSuperEnclosing, nestedTypes, next, nextAnonymousIndex, orBitwise, original, packageName, plus, ppBodyDecls, questionColon, referenceClassFieldName, refined_TypeHierarchyCheck_TypeDecl_typeCheck, remove, rshift, sameSignature, sameStructure, size, sootClass, sootRef, sootTypeModifiers, sourceNameWithoutPath, sourceTypeDecl, stringPromotion, sub, substitute, substitute, substituteParameterType, substituteReturnType, superEnclosing, supertypeArrayDecl, supertypeClassDecl, supertypeClassDeclSubstituted, supertypeGenericClassDecl, supertypeGenericClassDeclSubstituted, supertypeGenericInterfaceDecl, supertypeGenericInterfaceDeclSubstituted, supertypeGLBType, supertypeInterfaceDecl, supertypeInterfaceDeclSubstituted, supertypeLUBType, supertypeNullType, supertypeParClassDecl, supertypeParInterfaceDecl, supertypePrimitiveType, supertypeRawClassDecl, supertypeRawInterfaceDecl, supertypeTypeVariable, supertypeWildcard, supertypeWildcardExtends, supertypeWildcardSuper, topLevelType, transformation, typeCheck, typeCloneable, typeDescriptor, typeError, typeException, typeInt, typeName, typeObject, typeRuntimeException, typeSerializable, typeVoid, typeWildcard, unaryNumericPromotion, unboxed, unboxingConversionTo, unimplementedMethods, uniqueIndex, unknownType, unqualifiedLookupMethod, urshift, usedNestedTypes, usesTypeVariable, variableSize, wideningConversionTo, withinBodyThatSubclasses, withinDeprecatedAnnotation, withinSuppressWarnings, xorBitwise

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

instanceOf_TypeDecl_values

protected Map instanceOf_TypeDecl_values

subtype_TypeDecl_values

protected Map subtype_TypeDecl_values

getSootType_computed

protected boolean getSootType_computed

getSootType_value

protected Type getSootType_value

Constructor Detail

VoidType

public VoidType()

VoidType

public VoidType(Modifiers p0,
                String p1,
                List<BodyDecl> p2)

VoidType

public VoidType(Modifiers p0,
                Symbol p1,
                List<BodyDecl> p2)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class TypeDecl

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class TypeDecl

clone

public VoidType clone()
               throws CloneNotSupportedException

Overrides:

clone in class TypeDecl

Throws:

CloneNotSupportedException

copy

public VoidType copy()

Overrides:

copy in class ASTNode<ASTNode>

fullCopy

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

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 TypeDecl

numChildren

protected int numChildren()

Overrides:

numChildren in class TypeDecl

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class TypeDecl

setModifiers

public void setModifiers(Modifiers node)

Replaces the Modifiers child.

Overrides:

setModifiers in class TypeDecl

Parameters:

node - The new node to replace the Modifiers child.

getModifiers

public Modifiers getModifiers()

Retrieves the Modifiers child.

Overrides:

getModifiers in class TypeDecl

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:

getModifiersNoTransform in class TypeDecl

Returns:

The current node used as the Modifiers child.

setID

public void setID(String value)

Replaces the lexeme ID.

Overrides:

setID in class TypeDecl

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:

setID in class TypeDecl

getID

public String getID()

Retrieves the value for the lexeme ID.

Overrides:

getID in class TypeDecl

Returns:

The value for the lexeme ID.

setBodyDeclList

public void setBodyDeclList(List<BodyDecl> list)

Replaces the BodyDecl list.

Overrides:

setBodyDeclList in class TypeDecl

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:

getNumBodyDecl in class TypeDecl

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:

getNumBodyDeclNoTransform in class TypeDecl

Returns:

Number of children in the BodyDecl list.

getBodyDecl

public BodyDecl getBodyDecl(int i)

Retrieves the element at index i in the BodyDecl list..

Overrides:

getBodyDecl in class TypeDecl

Parameters:

i - Index of the element to return.

Returns:

The element at position i in the BodyDecl list.

addBodyDecl

public void addBodyDecl(BodyDecl node)

Append an element to the BodyDecl list.

Overrides:

addBodyDecl in class TypeDecl

Parameters:

node - The element to append to the BodyDecl list.

addBodyDeclNoTransform

public void addBodyDeclNoTransform(BodyDecl node)

Overrides:

addBodyDeclNoTransform in class TypeDecl

setBodyDecl

public void setBodyDecl(BodyDecl node,
                        int i)

Replaces the BodyDecl list element at index i with the new node node.

Overrides:

setBodyDecl in class TypeDecl

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:

getBodyDecls in class TypeDecl

Returns:

The node representing the BodyDecl list.

getBodyDeclsNoTransform

public List<BodyDecl> getBodyDeclsNoTransform()

Retrieves the BodyDecl list.

This method does not invoke AST transformations.

Overrides:

getBodyDeclsNoTransform in class TypeDecl

Returns:

The node representing the BodyDecl list.

getBodyDeclList

public List<BodyDecl> getBodyDeclList()

Retrieves the BodyDecl list.

Overrides:

getBodyDeclList in class TypeDecl

Returns:

The node representing the BodyDecl list.

getBodyDeclListNoTransform

public List<BodyDecl> getBodyDeclListNoTransform()

Retrieves the BodyDecl list.

This method does not invoke AST transformations.

Overrides:

getBodyDeclListNoTransform in class TypeDecl

Returns:

The node representing the BodyDecl list.

stringConversion

public boolean stringConversion()

Overrides:

stringConversion in class TypeDecl

isVoid

public boolean isVoid()

Overrides:

isVoid in class TypeDecl

instanceOf

public boolean instanceOf(TypeDecl type)

Overrides:

instanceOf in class TypeDecl

isSupertypeOfVoidType

public boolean isSupertypeOfVoidType(VoidType type)

Overrides:

isSupertypeOfVoidType in class TypeDecl

subtype

public boolean subtype(TypeDecl type)

Overrides:

subtype in class TypeDecl

supertypeVoidType

public boolean supertypeVoidType(VoidType type)

Overrides:

supertypeVoidType in class TypeDecl

primitiveClassName

public String primitiveClassName()

Overrides:

primitiveClassName in class TypeDecl

getSootType

public Type getSootType()

Overrides:

getSootType in class TypeDecl

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class TypeDecl