AssignmentTarget

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

Functions

Link copied to clipboard
Link copied to clipboard
abstract fun getPropagationType(): Type
Link copied to clipboard
abstract fun getType(): Type
Link copied to clipboard
Link copied to clipboard
abstract fun refreshType()
Link copied to clipboard
Link copied to clipboard
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.

Link copied to clipboard
open fun setPossibleSubTypes(possibleSubTypes: MutableList<Type>)

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

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

Link copied to clipboard
open fun setType(type: Type)

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

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

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
abstract fun updateType(type: Type)

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

Inheritors

Link copied to clipboard
Link copied to clipboard