Package de.fraunhofer.aisec.cpg.graph

Class ValueDeclaration

java.lang.Object

de.fraunhofer.aisec.cpg.graph.Node

de.fraunhofer.aisec.cpg.graph.Declaration

de.fraunhofer.aisec.cpg.graph.ValueDeclaration

All Implemented Interfaces:

HasType

Direct Known Subclasses:

EnumConstantDeclaration, FieldDeclaration, FunctionDeclaration, ParamVariableDeclaration, VariableDeclaration

public abstract class ValueDeclaration
extends Declaration
implements HasType

A declaration who has a type.

Nested Class Summary

Nested classes/interfaces inherited from interface de.fraunhofer.aisec.cpg.graph.HasType

HasType.TypeListener

Field Summary

Fields

Modifier and Type	Field	Description
protected java.util.Set<Type>	possibleSubTypes
protected Type	type

Fields inherited from class de.fraunhofer.aisec.cpg.graph.Node

code, comment, dummy, file, log, name, nextCFG, nextDFG, nextEOG, prevDFG, prevEOG, region, TO_STRING_STYLE

Constructor Summary

Constructors

Constructor	Description
ValueDeclaration()

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object o)
java.util.Set<Type>	getPossibleSubTypes()
Type	getType()
java.util.Set<HasType.TypeListener>	getTypeListeners()
int	hashCode()
void	refreshType()
void	registerTypeListener(HasType.TypeListener listener)
void	resetTypes(Type type)	Used to set the type and clear the possible subtypes list for when a type is more precise than the current.
void	setPossibleSubTypes(java.util.Set<Type> possibleSubTypes)
void	setType(Type type)
java.lang.String	toString()
void	unregisterTypeListener(HasType.TypeListener listener)

Methods inherited from class de.fraunhofer.aisec.cpg.graph.Node

addNextDFG, addPrevDFG, getArgumentIndex, getCode, getFile, getId, getName, getNextCFG, getNextDFG, getNextEOG, getPrevDFG, getPrevEOG, getRegion, isDummy, removeNextDFG, removePrevDFG, setArgumentIndex, setCode, setComment, setDummy, setFile, setName, setNextDFG, setNextEOG, setPrevDFG, setPrevEOG, setRegion

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface de.fraunhofer.aisec.cpg.graph.HasType

shouldBeNotified

Field Detail

type

protected Type type

possibleSubTypes

protected java.util.Set<Type> possibleSubTypes

Constructor Detail

ValueDeclaration

public ValueDeclaration()

Method Detail

getType

public Type getType()

Specified by:

getType in interface HasType

setType

public void setType(Type type)

Specified by:

setType in interface HasType

resetTypes

public void resetTypes(Type type)

Description copied from interface: HasType

Used to set the type and clear the possible subtypes list for when a type is more precise than the current.

Specified by:

resetTypes in interface HasType

registerTypeListener

public void registerTypeListener(HasType.TypeListener listener)

Specified by:

registerTypeListener in interface HasType

unregisterTypeListener

public void unregisterTypeListener(HasType.TypeListener listener)

Specified by:

unregisterTypeListener in interface HasType

getTypeListeners

public java.util.Set<HasType.TypeListener> getTypeListeners()

Specified by:

getTypeListeners in interface HasType

getPossibleSubTypes

public java.util.Set<Type> getPossibleSubTypes()

Specified by:

getPossibleSubTypes in interface HasType

setPossibleSubTypes

public void setPossibleSubTypes(java.util.Set<Type> possibleSubTypes)

Specified by:

setPossibleSubTypes in interface HasType

refreshType

public void refreshType()

Specified by:

refreshType in interface HasType

toString

public java.lang.String toString()

Overrides:

toString in class Declaration

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class Node

hashCode

public int hashCode()

Overrides:

hashCode in class Node