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

HasType

interface HasType

Types

SecondaryTypeEdge

interface SecondaryTypeEdge

The Typeresolver needs to be aware of all outgoing edges to types in order to merge equal types to the same node.

interface TypeListener

Functions

getPossibleSubTypes

abstract fun getPossibleSubTypes(): List<Type>

getPropagationType

abstract fun getPropagationType(): Type

abstract fun getType(): Type

getTypeListeners

abstract fun getTypeListeners(): Set<HasType.TypeListener>

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

open fun setPossibleSubTypes(possibleSubTypes: List<Type>)

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

Set the node's possible subtypes.

open fun setType(type: Type)

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

Set the node's type.

unregisterTypeListener

abstract fun unregisterTypeListener(listener: HasType.TypeListener)

updatePossibleSubtypes

abstract fun updatePossibleSubtypes(types: List<Type>)

abstract fun updateType(type: Type)

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

Inheritors

AssignmentTarget

ValueDeclaration