language-server/tools.samt.ls/SamtReferencesLookup

SamtReferencesLookup

class SamtReferencesLookup : SamtSemanticLookup<UserDeclared, List<Location>>

Types

Link copied to clipboard
object Companion

Functions

Link copied to clipboard
operator fun get(key: UserDeclared): List<Location>?
Link copied to clipboard
operator fun set(key: UserDeclared, value: List<Location>)