cpg-core/de.fraunhofer.aisec.cpg.graph/AssignmentTarget

AssignmentTarget

interface AssignmentTarget : HasType

The target of an assignment. The target is usually either a VariableDeclaration or a DeclaredReferenceExpression.

Functions

abstract fun refreshType()

registerTypeListener

abstract fun registerTypeListener(listener: HasType.TypeListener)

abstract fun resetTypes(type: Type)

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

setPossibleSubTypes

abstract fun setPossibleSubTypes(possibleSubTypes: List<Type>, root: MutableList<HasType>)

Set the node's possible subtypes. Listener circle detection works the same way as with .setType

abstract fun setType(type: Type, root: MutableList<HasType>?)

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

unregisterTypeListener

abstract fun unregisterTypeListener(listener: HasType.TypeListener)

updatePossibleSubtypes

abstract fun updatePossibleSubtypes(types: List<Type>)

abstract fun updateType(type: Type)

Side-effect free type modification WARNING: This should only be used by the TypeSystem Pass

Properties

possibleSubTypes

abstract var possibleSubTypes: List<Type>

propagationType

abstract val propagationType: Type

abstract var type: Type

abstract val typeListeners: Set<HasType.TypeListener>

Inheritors

VariableDeclaration

DeclaredReferenceExpression