Package de.fraunhofer.aisec.cpg.graph

Interface HasType

All Known Implementing Classes:

ArrayCreationExpression, ArrayRangeExpression, ArraySubscriptionExpression, BinaryOperator, CallExpression, CastExpression, CompoundStatementExpression, ConditionalExpression, ConstructExpression, ConstructorDeclaration, DeclaredReferenceExpression, DeleteExpression, DesignatedInitializerExpression, EnumConstantDeclaration, ExplicitConstructorInvocation, Expression, ExpressionList, FieldDeclaration, FunctionDeclaration, InitializerListExpression, Literal, MemberCallExpression, MemberExpression, MethodDeclaration, NewExpression, ParamVariableDeclaration, StaticCallExpression, TypeIdExpression, UnaryOperator, UninitializedValue, ValueDeclaration, VariableDeclaration

public interface HasType

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	HasType.TypeListener

Method Summary

Modifier and Type	Method	Description
java.util.Set<Type>	getPossibleSubTypes()
Type	getPropagationType()
Type	getType()
java.util.Set<HasType.TypeListener>	getTypeListeners()
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.
default void	setPossibleSubTypes(java.util.Set<Type> possibleSubTypes)
void	setPossibleSubTypes(java.util.Set<Type> possibleSubTypes, HasType root)	Set the node's possible subtypes.
default void	setType(Type type)
void	setType(Type type, HasType root)	Set the node's type.
void	unregisterTypeListener(HasType.TypeListener listener)
void	updatePossibleSubtypes(java.util.Set<Type> types)
void	updateType(Type type)	Sideeffect free type modification WARNING: This should only be used by the TypeSystem Pass

Method Detail

getType

Type getType()

getPropagationType

Type getPropagationType()

Returns:

The returned Type is always the same as getType() with the exception of ReferenceType since there is no case in which we want to propagate a reference when using typeChanged()

setType

default void setType(Type type)

updateType

void updateType(Type type)

Sideeffect free type modification WARNING: This should only be used by the TypeSystem Pass

Parameters:

type - new type

updatePossibleSubtypes

void updatePossibleSubtypes(java.util.Set<Type> types)

setType

void setType(Type type,
             HasType root)

Set the node's type. This may start a chain of type listener notifications

Parameters:

type - new type

root - The node that initiated the type change chain. When a node receives a type setting command where root == this, we know that we have a type listener circle and can abort. If root == null, the type change is seen as an externally triggered event and subsequent type listeners receive the current node as their root.

getPossibleSubTypes

java.util.Set<Type> getPossibleSubTypes()

setPossibleSubTypes

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

setPossibleSubTypes

void setPossibleSubTypes(java.util.Set<Type> possibleSubTypes,
                         HasType root)

Set the node's possible subtypes. Listener circle detection works the same way as with setType(Type, HasType)

Parameters:

possibleSubTypes -

root -

registerTypeListener

void registerTypeListener(HasType.TypeListener listener)

unregisterTypeListener

void unregisterTypeListener(HasType.TypeListener listener)

getTypeListeners

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

refreshType

void refreshType()

resetTypes

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.

Parameters:

type - the more precise type