Minnesota Extensible Language Tools Group

[silver:compiler:langserver]

Contents of [silver:compiler:langserver]:

Defined in this grammar:

monoid attribute valueRefLocs :: [(Location,ValueDclInfo)]

Contained in grammar [silver:compiler:langserver]. Defined at silver/compiler/langserver/ReferenceLocations.sv line 3.

(Undocumented.)

monoid attribute typeRefLocs :: [(Location,TypeDclInfo)]

Contained in grammar [silver:compiler:langserver]. Defined at silver/compiler/langserver/ReferenceLocations.sv line 4.

(Undocumented.)

monoid attribute attributeRefLocs :: [(Location,AttributeDclInfo)]

Contained in grammar [silver:compiler:langserver]. Defined at silver/compiler/langserver/ReferenceLocations.sv line 5.

(Undocumented.)

aspect default production top::QNameType ::= {#aspect_default_production_silver:compiler:definition:core:QNameType}

Contained in grammar [silver:compiler:langserver]. Defined at silver/compiler/langserver/ReferenceLocations.sv line 46.

(Undocumented.)

synthesized attribute valueFileRefLocs :: map:Map<String (Location,Decorated RootSpec,ValueDclInfo)>

Contained in grammar [silver:compiler:langserver]. Defined at silver/compiler/langserver/ReferenceLocations.sv line 227.

(Undocumented.)

synthesized attribute typeFileRefLocs :: map:Map<String (Location,Decorated RootSpec,TypeDclInfo)>

Contained in grammar [silver:compiler:langserver]. Defined at silver/compiler/langserver/ReferenceLocations.sv line 228.

(Undocumented.)

synthesized attribute attributeFileRefLocs :: map:Map<String (Location,Decorated RootSpec,AttributeDclInfo)>

Contained in grammar [silver:compiler:langserver]. Defined at silver/compiler/langserver/ReferenceLocations.sv line 229.

(Undocumented.)

synthesized attribute allValueRefs :: map:Map<String (String,Location)>

Contained in grammar [silver:compiler:langserver]. Defined at silver/compiler/langserver/ReferenceLocations.sv line 231.

(Undocumented.)

synthesized attribute allTypeRefs :: map:Map<String (String,Location)>

Contained in grammar [silver:compiler:langserver]. Defined at silver/compiler/langserver/ReferenceLocations.sv line 232.

(Undocumented.)

synthesized attribute allAttributeRefs :: map:Map<String (String,Location)>

Contained in grammar [silver:compiler:langserver]. Defined at silver/compiler/langserver/ReferenceLocations.sv line 233.

(Undocumented.)

fun buildFileRefs   (annotation sourceLocation occurs on a, annotation sourceGrammar occurs on a => map:Map<String (Location,Decorated RootSpec,a)> ::= accessor::([(Location,a)] ::= Decorated RootSpec) accessList::([EnvItem<a>] ::= Def) rs::[Decorated RootSpec] )

Contained in grammar [silver:compiler:langserver]. Defined at silver/compiler/langserver/ReferenceLocations.sv line 248.

(Undocumented.)

function buildAllRefs   (annotation sourceGrammar occurs on a, annotation sourceLocation occurs on a, attribute fullName {} occurs on a => map:Map<String (String,Location)> ::= accessor::([(Location,a)] ::= Decorated RootSpec) rs::[Decorated RootSpec] )

Contained in grammar [silver:compiler:langserver]. Defined at silver/compiler/langserver/ReferenceLocations.sv line 269.

(Undocumented.)

function makeRefId   (annotation sourceGrammar occurs on a, annotation sourceLocation occurs on a, attribute fullName {} occurs on a => String ::= dcl::a )

Contained in grammar [silver:compiler:langserver]. Defined at silver/compiler/langserver/ReferenceLocations.sv line 291.

(Undocumented.)

aspect default production top::InterfaceItem ::= {#aspect_default_production_silver:compiler:driver:util:InterfaceItem}

Contained in grammar [silver:compiler:langserver]. Defined at silver/compiler/langserver/ReferenceLocations.sv line 303.

(Undocumented.)

abstract production refLocInterfaceItem   (top::InterfaceItem ::= values::[(Location,ValueDclInfo)] types::[(Location,TypeDclInfo)] attrs::[(Location,AttributeDclInfo)] )

Contained in grammar [silver:compiler:langserver]. Defined at silver/compiler/langserver/ReferenceLocations.sv line 311.

(Undocumented.)

fun lookupPos   ([a] ::= line::Integer col::Integer items::[(Location,a)] )

Contained in grammar [silver:compiler:langserver]. Defined at silver/compiler/langserver/ReferenceLocations.sv line 328.

(Undocumented.)

fun updateLocPath   (Location ::= p::String l::Location )

Contained in grammar [silver:compiler:langserver]. Defined at silver/compiler/langserver/ReferenceLocations.sv line 334.

(Undocumented.)

fun lookupDeclLocation   (annotation sourceGrammar occurs on a, annotation sourceLocation occurs on a => [Location] ::= fileName::String line::Integer col::Integer decls::map:Map<String (Location,Decorated RootSpec,a)> )

Contained in grammar [silver:compiler:langserver]. Defined at silver/compiler/langserver/ReferenceLocations.sv line 337.

(Undocumented.)

fun findDeclLocation   ([Location] ::= fileName::String line::Integer col::Integer c::Decorated Compilation )

Contained in grammar [silver:compiler:langserver]. Defined at silver/compiler/langserver/ReferenceLocations.sv line 345.

(Undocumented.)

fun lookupReferenceLocations   (annotation sourceGrammar occurs on a, annotation sourceLocation occurs on a, attribute fullName {} occurs on a => [Location] ::= fileName::String line::Integer col::Integer decls::map:Map<String (Location,Decorated RootSpec,a)> refs::map:Map<String (String,Location)> )

Contained in grammar [silver:compiler:langserver]. Defined at silver/compiler/langserver/ReferenceLocations.sv line 355.

(Undocumented.)

fun findReferences   ([Location] ::= fileName::String line::Integer col::Integer c::Decorated Compilation )

Contained in grammar [silver:compiler:langserver]. Defined at silver/compiler/langserver/ReferenceLocations.sv line 365.

(Undocumented.)