core/com.strumenta.kolasu.symbolresolution

Package-level declarations

Types

ClassScopeDefinitions

typealias ClassScopeDefinitions = MutableMap<KClass<*>, MutableList<ScopeDefinition>>

DeclarativeSymbolResolver

data class DeclarativeSymbolResolver(val issues: MutableList<Issue> = mutableListOf()) : LocalSymbolResolver

LocalSymbolResolver

abstract class LocalSymbolResolver : Serializable

This object performs symbol resolution within a single AST. It is not to be used to perform cross-ASTs symbol resolution.

PropertyScopeDefinitions

typealias PropertyScopeDefinitions = MutableMap<ReferenceByNameProperty, MutableList<ScopeDefinition>>

ReferenceByNameProperty

typealias ReferenceByNameProperty = KProperty1<out Node, ReferenceByName<out Symbol>?>

data class Scope(var parent: Scope? = null, var symbolTable: SymbolTable = mutableMapOf())

ScopeDefinition

class ScopeDefinition(val contextType: KClass<out Node>, scopeFunction: (Node) -> Scope?)

interface Symbol : PossiblyNamed

typealias SymbolTable = MutableMap<String, MutableList<Symbol>>

Functions

assertAllReferencesResolved

fun Node.assertAllReferencesResolved()

declarativeSymbolResolver

fun declarativeSymbolResolver(issues: MutableList<Issue> = mutableListOf(), init: DeclarativeSymbolResolver.() -> Unit): DeclarativeSymbolResolver

getReferredType

fun ReferenceByNameProperty.getReferredType(): KClass<out Symbol>

referenceByNameProperties

fun Node.referenceByNameProperties(): Collection<ReferenceByNameProperty>