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, StaticReferenceExpression, TypeIdExpression, UnaryOperator, 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	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)

Method Detail

getType

Type getType()

setType

default void setType(Type type)

setType

void setType(Type type,
             HasType root)

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

Parameters:

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