Minnesota Extensible Language Tools Group

[silver:compiler:definition:env]

Contents of [silver:compiler:definition:env]:

Defined in this grammar:

abstract production namedSignature   (top::NamedSignature ::= fn::String ctxs::Contexts ie::NamedSignatureElements oe::NamedSignatureElement np::NamedSignatureElements )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 30.

Parameter fn
The full name
Parameter ctxs
The type constraint contexts
Parameter ie
The input elements
Parameter oe
The output element
Parameter np
Named parameters (or annotations)

Represents the signature of a production (or function).

abstract production globalSignature   (top::NamedSignature ::= fn::String ctxs::Contexts ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 64.

Parameter fn
The full name
Parameter ctxs
The type constraint contexts
Parameter ty
The type of the global

Represents the signature of a global (or class member).

nonterminal Contexts

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 12.

(Undocumented.)

abstract production consContext   (top::Contexts ::= h::Context t::Contexts )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 15.

(Undocumented.)

abstract production nilContext   (top::Contexts ::= )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 21.

(Undocumented.)

global foldContexts

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 28.

(Undocumented.)

synthesized attribute contextSuperDefs :: ([Def] ::= InstDclInfo String Location)

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 30.

(Undocumented.)

synthesized attribute contextMemberDefs :: ([Def] ::= [TyVar] String Location)

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 31.

(Undocumented.)

synthesized attribute contextSigDefs :: ([Def] ::= NamedSignature String Location)

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 32.

(Undocumented.)

synthesized attribute contextSuperOccursDefs :: ([OccursDclInfo] ::= InstDclInfo String Location)

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 33.

(Undocumented.)

synthesized attribute contextMemberOccursDefs :: ([OccursDclInfo] ::= [TyVar] String Location)

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 34.

(Undocumented.)

synthesized attribute contextSigOccursDefs :: ([OccursDclInfo] ::= NamedSignature String Location)

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 35.

(Undocumented.)

synthesized attribute contextClassName :: Maybe<String>

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 36.

(Undocumented.)

synthesized attribute resolved :: [InstDclInfo]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 38.

(Undocumented.)

synthesized attribute resolvedOccurs :: [OccursDclInfo]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 39.

(Undocumented.)

monoid attribute isTypeError :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 41.

(Undocumented.)

aspect default production top::Context ::= {#aspect_default_production_silver:compiler:definition:type:Context}

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 44.

(Undocumented.)

synthesized attribute isTypeable :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 212.

(Undocumented.)

aspect default production __generatedTop_18134::Type ::= {#aspect_default_production_silver:compiler:definition:type:Type}

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 215.

(Undocumented.)

function isMoreSpecific   (Boolean ::= a::Type b::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Context.sv line 254.

(Undocumented.)

nonterminal Defs

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 1.

(Undocumented.)

synthesized attribute typeList :: [EnvItem<TypeDclInfo>]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 6.

(Undocumented.)

synthesized attribute valueList :: [EnvItem<ValueDclInfo>]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 7.

(Undocumented.)

synthesized attribute attrList :: [EnvItem<AttributeDclInfo>]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 8.

(Undocumented.)

synthesized attribute instList :: [InstDclInfo]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 11.

(Undocumented.)

synthesized attribute prodOccursList :: [ProductionAttrDclInfo]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 14.

(Undocumented.)

synthesized attribute prodDclList :: [ValueDclInfo]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 17.

(Undocumented.)

synthesized attribute filterOnly :: Defs

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 22.

(Undocumented.)

synthesized attribute filterHiding :: Defs

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 23.

(Undocumented.)

abstract production nilDefs   (top::Defs ::= )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 27.

(Undocumented.)

abstract production consDefs   (top::Defs ::= e1::Def e2::Defs )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 45.

(Undocumented.)

closed nonterminal Def

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 65.

(Undocumented.)

aspect default production top::Def ::= {#aspect_default_production_silver:compiler:definition:env:Def}

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 72.

(Undocumented.)

abstract production typeDef   (top::Def ::= d::EnvItem<TypeDclInfo> )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 84.

(Undocumented.)

abstract production valueDef   (top::Def ::= d::EnvItem<ValueDclInfo> )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 89.

(Undocumented.)

abstract production typeValueDef   (top::Def ::= td::EnvItem<TypeDclInfo> vd::EnvItem<ValueDclInfo> )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 94.

(Undocumented.)

abstract production attrDef   (top::Def ::= d::EnvItem<AttributeDclInfo> )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 100.

(Undocumented.)

abstract production prodDclDef   (top::Def ::= d::EnvItem<ValueDclInfo> )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 105.

(Undocumented.)

abstract production paDef   (top::Def ::= d::ProductionAttrDclInfo )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 112.

(Undocumented.)

abstract production tcInstDef   (top::Def ::= d::InstDclInfo )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 117.

(Undocumented.)

fun childDef   (Def ::= sg::String sl::Location fn::String ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 123.

(Undocumented.)

fun lhsDef   (Def ::= sg::String sl::Location fn::String ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 125.

(Undocumented.)

fun localDef   (Def ::= sg::String sl::Location fn::String ty::Type isForward::Boolean )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 127.

(Undocumented.)

fun prodDef   (Def ::= sg::String sl::Location ns::NamedSignature hasForward::Boolean )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 129.

(Undocumented.)

fun funDef   (Def ::= sg::String sl::Location ns::NamedSignature )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 131.

(Undocumented.)

fun globalDef   (Def ::= sg::String sl::Location fn::String bound::[TyVar] contexts::[Context] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 133.

(Undocumented.)

fun classMemberDef   (Def ::= sg::String sl::Location fn::String bound::[TyVar] head::Context contexts::[Context] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 136.

(Undocumented.)

fun ntDef   (Def ::= sg::String sl::Location fn::String ks::[Kind] data::Boolean closed::Boolean tracked::Boolean )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 139.

(Undocumented.)

fun termDef   (Def ::= sg::String sl::Location fn::String regex::r:Regex easyName::Maybe<String> genRepeatProb::Maybe<Float> )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 142.

(Undocumented.)

fun lexTyVarDef   (Def ::= sg::String sl::Location fn::String tv::TyVar )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 147.

(Undocumented.)

fun aspectLexTyVarDef   (Def ::= sg::String sl::Location fn::String tv::TyVar )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 149.

(Undocumented.)

fun typeAliasDef   (Def ::= sg::String sl::Location fn::String mentionedAliases::[String] bound::[TyVar] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 151.

(Undocumented.)

fun synDef   (Def ::= sg::String sl::Location fn::String bound::[TyVar] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 154.

(Undocumented.)

fun inhDef   (Def ::= sg::String sl::Location fn::String bound::[TyVar] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 156.

(Undocumented.)

fun transDef   (Def ::= sg::String sl::Location fn::String bound::[TyVar] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 158.

(Undocumented.)

fun prodOccursDef   (Def ::= sg::String sl::Location ns::NamedSignature dcls::[Def] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 160.

(Undocumented.)

fun forwardDef   (Def ::= sg::String sl::Location ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 162.

(Undocumented.)

fun aliasedLhsDef   (Def ::= sg::String sl::Location fn::String ty::Type alias::String )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 165.

(Undocumented.)

fun aliasedChildDef   (Def ::= sg::String sl::Location fn::String ty::Type alias::String )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 167.

(Undocumented.)

fun annoDef   (Def ::= sg::String sl::Location fn::String bound::[TyVar] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 169.

(Undocumented.)

fun classDef   (Def ::= sg::String sl::Location fn::String supers::[Context] tv::TyVar k::Kind members::[Pair<String Boolean>] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 171.

(Undocumented.)

fun instDef   (Def ::= sg::String sl::Location fn::String bound::[TyVar] contexts::[Context] ty::Type definedMembers::[String] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 174.

(Undocumented.)

fun sigConstraintDef   (Def ::= sg::String sl::Location fn::String ty::Type ns::NamedSignature )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 177.

(Undocumented.)

fun currentInstDef   (Def ::= sg::String sl::Location fn::String ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 179.

(Undocumented.)

fun instSuperDef   (Def ::= sg::String sl::Location fn::String baseDcl::InstDclInfo )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 181.

(Undocumented.)

fun typeableSuperDef   (Def ::= sg::String sl::Location baseDcl::InstDclInfo )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 183.

(Undocumented.)

function performSubstitutionDef   (Def ::= d::Def s::Substitution )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Defs.sv line 198.

(Undocumented.)

data nonterminal NamedSignature

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 10.

(Undocumented.)

synthesized attribute inputElements :: [NamedSignatureElement]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 12.

(Undocumented.)

synthesized attribute outputElement :: NamedSignatureElement

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 13.

(Undocumented.)

synthesized attribute namedInputElements :: [NamedSignatureElement]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 14.

(Undocumented.)

synthesized attribute inputNames :: [String]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 15.

(Undocumented.)

synthesized attribute freshenNamedSignature :: NamedSignature

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 20.

(Undocumented.)

fun bogusNamedSignature   (NamedSignature ::= )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 88.

(Undocumented.)

nonterminal NamedSignatureElements

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 89.

(Undocumented.)

synthesized attribute elements :: [NamedSignatureElement]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 97.

(Undocumented.)

synthesized attribute elementNames :: [String]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 98.

(Undocumented.)

synthesized attribute elementShortNames :: [String]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 99.

(Undocumented.)

synthesized attribute elementTypes :: [Type]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 100.

(Undocumented.)

abstract production consNamedSignatureElement   (top::NamedSignatureElements ::= h::NamedSignatureElement t::NamedSignatureElements )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 102.

(Undocumented.)

abstract production nilNamedSignatureElement   (top::NamedSignatureElements ::= )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 112.

(Undocumented.)

global foldNamedSignatureElements

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 122.

(Undocumented.)

nonterminal NamedSignatureElement

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 123.

(Undocumented.)

synthesized attribute elementName :: String

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 131.

(Undocumented.)

synthesized attribute elementShortName :: String

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 132.

(Undocumented.)

abstract production namedSignatureElement   (top::NamedSignatureElement ::= n::String ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 137.

(Undocumented.)

abstract production bogusNamedSignatureElement   (top::NamedSignatureElement ::= )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 153.

(Undocumented.)

function namedSignatureElementLte   (Boolean ::= a::NamedSignatureElement b::NamedSignatureElement )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 161.

(Undocumented.)

fun findNamedSigElem   (Integer ::= s::String l::[NamedSignatureElement] z::Integer )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 168.

(Undocumented.)

function findNamedSigElemType   (Type ::= n::String l::[NamedSignatureElement] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 174.

(Undocumented.)

function unifyNamedSignature   (Substitution ::= ns1::NamedSignature ns2::NamedSignature )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 186.

(Undocumented.)

instance Eq NamedSignature

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 195.

(Undocumented.)

instance Eq NamedSignature.eq

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/NamedSignature.sv line 196.

(Undocumented.)

annotation sourceGrammar :: String

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 12.

(Undocumented.)

annotation sourceLocation :: Location

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 13.

(Undocumented.)

synthesized attribute fullName :: String

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 14.

(Undocumented.)

synthesized attribute typeScheme :: PolyType

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 15.

(Undocumented.)

synthesized attribute isType :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 18.

(Undocumented.)

synthesized attribute isTypeAlias :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 19.

(Undocumented.)

synthesized attribute isClass :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 20.

(Undocumented.)

synthesized attribute classMembers :: [Pair<String Boolean>]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 21.

(Undocumented.)

synthesized attribute isClosed :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 22.

(Undocumented.)

inherited attribute givenInstanceType :: Type

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 25.

(Undocumented.)

synthesized attribute superContexts :: [Context]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 26.

(Undocumented.)

synthesized attribute typerep2 :: Type

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 27.

(Undocumented.)

synthesized attribute definedMembers :: [String]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 28.

(Undocumented.)

synthesized attribute namedSignature :: NamedSignature

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 31.

(Undocumented.)

synthesized attribute hasForward :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 32.

(Undocumented.)

synthesized attribute attrOccurring :: String

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 35.

(Undocumented.)

inherited attribute givenNonterminalType :: Type

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 36.

(Undocumented.)

synthesized attribute isAnnotation :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 38.

(Undocumented.)

synthesized attribute isSynthesized :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 41.

(Undocumented.)

synthesized attribute isInherited :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 42.

(Undocumented.)

synthesized attribute isTranslation :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 43.

(Undocumented.)

synthesized attribute prodDefs :: [Def]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 46.

(Undocumented.)

synthesized attribute substitutedDclInfo :: ValueDclInfo

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 48.

(Undocumented.)

inherited attribute givenSubstitution :: Substitution

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 49.

(Undocumented.)

closed nonterminal ValueDclInfo

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 51.

(Undocumented.)

aspect default production top::ValueDclInfo ::= {#aspect_default_production_silver:compiler:definition:env:ValueDclInfo}

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 56.

(Undocumented.)

abstract production childDcl   (top::ValueDclInfo ::= fn::String ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 67.

(Undocumented.)

abstract production lhsDcl   (top::ValueDclInfo ::= fn::String ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 74.

(Undocumented.)

abstract production localDcl   (top::ValueDclInfo ::= fn::String ty::Type isForward::Boolean )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 83.

(Undocumented.)

abstract production forwardDcl   (top::ValueDclInfo ::= ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 93.

(Undocumented.)

abstract production prodDcl   (top::ValueDclInfo ::= ns::NamedSignature hasForward::Boolean )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 104.

(Undocumented.)

abstract production funDcl   (top::ValueDclInfo ::= ns::NamedSignature )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 113.

(Undocumented.)

abstract production classMemberDcl   (top::ValueDclInfo ::= fn::String bound::[TyVar] clsHead::Context contexts::[Context] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 122.

(Undocumented.)

abstract production globalValueDcl   (top::ValueDclInfo ::= fn::String bound::[TyVar] contexts::[Context] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 134.

(Undocumented.)

abstract production termIdDcl   (top::ValueDclInfo ::= fn::String )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 146.

(Undocumented.)

closed nonterminal TypeDclInfo

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 154.

(Undocumented.)

aspect default production top::TypeDclInfo ::= {#aspect_default_production_silver:compiler:definition:env:TypeDclInfo}

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 159.

(Undocumented.)

abstract production ntDcl   (top::TypeDclInfo ::= fn::String ks::[Kind] data::Boolean closed::Boolean tracked::Boolean )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 172.

(Undocumented.)

abstract production termDcl   (top::TypeDclInfo ::= fn::String regex::r:Regex easyName::Maybe<String> genRepeatProb::Maybe<Float> )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 182.

(Undocumented.)

abstract production lexTyVarDcl   (top::TypeDclInfo ::= fn::String isAspect::Boolean tv::TyVar )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 190.

(Undocumented.)

abstract production typeAliasDcl   (top::TypeDclInfo ::= fn::String mentionedAliases::[String] bound::[TyVar] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 201.

(Undocumented.)

abstract production clsDcl   (top::TypeDclInfo ::= fn::String supers::[Context] tv::TyVar k::Kind members::[Pair<String Boolean>] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 218.

(Undocumented.)

closed nonterminal AttributeDclInfo

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 241.

(Undocumented.)

aspect default production top::AttributeDclInfo ::= {#aspect_default_production_silver:compiler:definition:env:AttributeDclInfo}

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 246.

(Undocumented.)

abstract production synDcl   (top::AttributeDclInfo ::= fn::String bound::[TyVar] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 260.

(Undocumented.)

abstract production inhDcl   (top::AttributeDclInfo ::= fn::String bound::[TyVar] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 268.

(Undocumented.)

abstract production transDcl   (top::AttributeDclInfo ::= fn::String bound::[TyVar] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 276.

(Undocumented.)

abstract production annoDcl   (top::AttributeDclInfo ::= fn::String bound::[TyVar] ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 285.

(Undocumented.)

nonterminal ProductionAttrDclInfo

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 292.

(Undocumented.)

abstract production paDcl   (top::ProductionAttrDclInfo ::= ns::NamedSignature dcls::[Def] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 297.

(Undocumented.)

nonterminal OccursDclInfo

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 307.

(Undocumented.)

aspect default production top::OccursDclInfo ::= {#aspect_default_production_silver:compiler:definition:env:OccursDclInfo}

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 314.

(Undocumented.)

abstract production occursDcl   (top::OccursDclInfo ::= fnnt::String fnat::String ntty::Type atty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 320.

(Undocumented.)

abstract production occursInstConstraintDcl   (top::OccursDclInfo ::= fnat::String ntty::Type atty::Type tvs::[TyVar] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 349.

(Undocumented.)

abstract production occursSigConstraintDcl   (top::OccursDclInfo ::= fnat::String ntty::Type atty::Type ns::NamedSignature )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 359.

(Undocumented.)

abstract production occursSuperDcl   (top::OccursDclInfo ::= fnat::String atty::Type baseDcl::InstDclInfo )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 369.

(Undocumented.)

abstract production annoInstanceDcl   (top::OccursDclInfo ::= fnnt::String fnat::String ntty::Type atty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 378.

(Undocumented.)

abstract production annoInstConstraintDcl   (top::OccursDclInfo ::= fnat::String ntty::Type atty::Type tvs::[TyVar] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 401.

(Undocumented.)

abstract production annoSigConstraintDcl   (top::OccursDclInfo ::= fnat::String ntty::Type atty::Type ns::NamedSignature )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 412.

(Undocumented.)

abstract production annoSuperDcl   (top::OccursDclInfo ::= fnat::String atty::Type baseDcl::InstDclInfo )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 423.

(Undocumented.)

nonterminal InstDclInfo

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 431.

(Undocumented.)

aspect default production top::InstDclInfo ::= {#aspect_default_production_silver:compiler:definition:env:InstDclInfo}

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 437.

(Undocumented.)

abstract production instDcl   (top::InstDclInfo ::= fn::String bound::[TyVar] contexts::[Context] ty::Type definedMembers::[String] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 450.

(Undocumented.)

abstract production instConstraintDcl   (top::InstDclInfo ::= fntc::String ty::Type tvs::[TyVar] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 460.

(Undocumented.)

abstract production sigConstraintDcl   (top::InstDclInfo ::= fntc::String ty::Type ns::NamedSignature )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 467.

(Undocumented.)

abstract production currentInstDcl   (top::InstDclInfo ::= fntc::String ty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 474.

(Undocumented.)

abstract production instSuperDcl   (top::InstDclInfo ::= fntc::String baseDcl::InstDclInfo )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 481.

(Undocumented.)

abstract production typeableInstConstraintDcl   (top::InstDclInfo ::= ty::Type tvs::[TyVar] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 490.

(Undocumented.)

abstract production typeableSigConstraintDcl   (top::InstDclInfo ::= ty::Type ns::NamedSignature )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 497.

(Undocumented.)

abstract production typeableSuperDcl   (top::InstDclInfo ::= baseDcl::InstDclInfo )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 504.

(Undocumented.)

abstract production inhSubsetInstConstraintDcl   (top::InstDclInfo ::= i1::Type i2::Type tvs::[TyVar] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 513.

(Undocumented.)

abstract production inhSubsetSigConstraintDcl   (top::InstDclInfo ::= i1::Type i2::Type ns::NamedSignature )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 521.

(Undocumented.)

function determineAttributeType   (Type ::= occursDclInfo::OccursDclInfo ntty::Type )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 531.

(Undocumented.)

function performSubstitutionDclInfo   (ValueDclInfo ::= valueDclInfo::ValueDclInfo s::Substitution )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 539.

(Undocumented.)

function defsFromPADcls   ([Def] ::= dcls::[ProductionAttrDclInfo] s::NamedSignature )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/DclInfo.sv line 546.

(Undocumented.)

nonterminal EnvItem<a>

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 1.

(Undocumented.)

synthesized attribute itemName :: String

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 11.

(Undocumented.)

synthesized attribute dcl<a> :: a

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 12.

(Undocumented.)

synthesized attribute envContribs<a> :: [Pair<String a>]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 13.

(Undocumented.)

inherited attribute filterItems :: [String]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 15.

(Undocumented.)

monoid attribute filterIncludeOnly :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 16.

(Undocumented.)

monoid attribute filterIncludeHiding :: Boolean

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 17.

(Undocumented.)

inherited attribute withRenames :: [(String,String)]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 19.

(Undocumented.)

monoid attribute renamed

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 20.

(Undocumented.)

inherited attribute pfx :: String

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 21.

(Undocumented.)

monoid attribute prepended

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 22.

(Undocumented.)

abstract production renamedEnvItem   (attribute fullName {} occurs on a, attribute compareTo<a {}> occurs on a, attribute isEqual {compareTo} occurs on a => ei::EnvItem<a> ::= newname::String di::a )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 28.

(Undocumented.)

abstract production fullNameEnvItem   (attribute fullName {} occurs on a, attribute compareTo<a {}> occurs on a, attribute isEqual {compareTo} occurs on a => ei::EnvItem<a> ::= di::a )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 57.

(Undocumented.)

abstract production onlyRenamedEnvItem   (attribute compareTo<a {}> occurs on a, attribute isEqual {compareTo} occurs on a => ei::EnvItem<a> ::= newname::String di::a )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 75.

(Undocumented.)

function defaultEnvItem   (attribute fullName {} occurs on a, attribute compareTo<a {}> occurs on a, attribute isEqual {compareTo} occurs on a => EnvItem<a> ::= di::a )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 91.

(Undocumented.)

fun fullNameToShort   (String ::= s::String )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 99.

(Undocumented.)

global mapGetDcls

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 102.

(Undocumented.)

global mapFullnameDcls

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 103.

(Undocumented.)

global mapDefaultWrapDcls

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvItem.sv line 109.

(Undocumented.)

synthesized attribute declaredName :: String

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 26.

(Undocumented.)

monoid attribute moduleNames :: [String]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 32.

(Undocumented.)

monoid attribute exportedGrammars :: [String]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 36.

(Undocumented.)

monoid attribute optionalGrammars :: [String]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 41.

(Undocumented.)

monoid attribute condBuild :: [[String]]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 45.

(Undocumented.)

monoid attribute allGrammarDependencies :: [String]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 50.

(Undocumented.)

monoid attribute occursDefs :: [OccursDclInfo]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 55.

(Undocumented.)

monoid attribute defs :: [Def]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 65.

(Undocumented.)

inherited attribute env :: Env

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 69.

(Undocumented.)

inherited attribute compiledGrammars :: EnvTree<Decorated RootSpec>

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 78.

(Undocumented.)

inherited attribute config :: Decorated CmdArgs

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 82.

(Undocumented.)

inherited attribute productionFlowGraphs :: EnvTree<ProductionGraph>

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 86.

(Undocumented.)

inherited attribute grammarFlowTypes :: EnvTree<FlowType>

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 87.

(Undocumented.)

synthesized attribute grammarSource :: String

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 92.

(Undocumented.)

synthesized attribute grammarTime :: Integer

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Attributes.sv line 96.

(Undocumented.)

data nonterminal Env

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 16.

(Undocumented.)

synthesized attribute typeTree :: [EnvTree<TypeDclInfo>]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 18.

(Undocumented.)

synthesized attribute valueTree :: [EnvTree<ValueDclInfo>]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 19.

(Undocumented.)

synthesized attribute attrTree :: [EnvTree<AttributeDclInfo>]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 20.

(Undocumented.)

synthesized attribute instTree :: EnvTree<InstDclInfo>

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 22.

(Undocumented.)

synthesized attribute prodOccursTree :: EnvTree<ProductionAttrDclInfo>

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 23.

(Undocumented.)

synthesized attribute occursTree :: EnvTree<OccursDclInfo>

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 24.

(Undocumented.)

synthesized attribute prodsForNtTree :: [EnvTree<ValueDclInfo>]

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 26.

(Undocumented.)

abstract production emptyEnv   (top::Env ::= )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 32.

(Undocumented.)

fun toEnv   (Env ::= d::[Def] od::[OccursDclInfo] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 46.

(Undocumented.)

abstract production appendEnv   (top::Env ::= e1::Env e2::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 59.

(Undocumented.)

abstract production newScopeEnv   (top::Env ::= ds::[Def] e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 76.

(Undocumented.)

abstract production occursEnv   (top::Env ::= d::[OccursDclInfo] e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 97.

(Undocumented.)

fun searchEnvAll   ([a] ::= search::String e::[EnvTree<a>] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 115.

(Undocumented.)

function searchEnv   ([a] ::= search::String e::[EnvTree<a>] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 117.

(Undocumented.)

fun getValueDclInScope   ([ValueDclInfo] ::= search::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 127.

(Undocumented.)

fun getValueDcl   ([ValueDclInfo] ::= search::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 129.

(Undocumented.)

fun getValueDclAll   ([ValueDclInfo] ::= search::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 130.

(Undocumented.)

fun getTypeDclInScope   ([TypeDclInfo] ::= search::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 132.

(Undocumented.)

fun getTypeDcl   ([TypeDclInfo] ::= search::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 134.

(Undocumented.)

fun getTypeDclAll   ([TypeDclInfo] ::= search::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 135.

(Undocumented.)

fun getAttrDclInScope   ([AttributeDclInfo] ::= search::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 137.

(Undocumented.)

fun getAttrDcl   ([AttributeDclInfo] ::= search::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 139.

(Undocumented.)

fun getAttrDclAll   ([AttributeDclInfo] ::= search::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 140.

(Undocumented.)

fun getOccuringAttrDcl   ([AttributeDclInfo] ::= fnnt::String search::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 146.

(Undocumented.)

function getOccuringAttrDclHelp   ([AttributeDclInfo] ::= allAttrs::[String] search::String e::[EnvTree<AttributeDclInfo>] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 148.

(Undocumented.)

fun getOccursDcl   ([OccursDclInfo] ::= fnat::String fnnt::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 161.

(Undocumented.)

fun occursOnHelp   ([OccursDclInfo] ::= i::[OccursDclInfo] fnat::String )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 163.

(Undocumented.)

function isDecorable   (Boolean ::= t::Type e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 172.

(Undocumented.)

fun getProdAttrs   ([ProductionAttrDclInfo] ::= fnprod::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 184.

(Undocumented.)

fun getKnownProds   ([ValueDclInfo] ::= fnnt::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 200.

(Undocumented.)

fun getAttrOccursOn   ([OccursDclInfo] ::= fnnt::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 211.

(Undocumented.)

fun getSynAttrsOn   ([String] ::= fnnt::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 216.

(Undocumented.)

fun getInhAttrsOn   ([String] ::= fnnt::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 228.

(Undocumented.)

fun getInhAndInhOnTransAttrsOn   ([String] ::= fnnt::String e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 242.

(Undocumented.)

function annotationsForNonterminal   ([NamedSignatureElement] ::= nt::Type env::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 256.

(Undocumented.)

function annoInstanceToNamed   (NamedSignatureElement ::= nt::Type anno::OccursDclInfo )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 265.

(Undocumented.)

function getInstanceDcl   ([InstDclInfo] ::= fntc::String t::Type e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 275.

(Undocumented.)

function getMinInhSetMembers   (([String],[TyVar]) ::= seen::[TyVar] t::Type e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 284.

(Undocumented.)

function getMinRefSet   ([String] ::= t::Type e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 303.

(Undocumented.)

function getMaxInhSetMembers   ((Maybe<[String]>,[TyVar]) ::= seen::[TyVar] t::Type e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 315.

(Undocumented.)

function getMaxRefSet   (Maybe<[String]> ::= t::Type e::Env )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Env.sv line 338.

(Undocumented.)

synthesized attribute typeName :: String

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Type.sv line 6.

(Undocumented.)

aspect default production top::Type ::= {#aspect_default_production_silver:compiler:definition:type:Type}

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/Type.sv line 30.

(Undocumented.)

type EnvTree

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvTree.sv line 8.

(Undocumented.)

fun searchEnvTree   ([a] ::= search::String et::EnvTree<a> )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvTree.sv line 13.

(Undocumented.)

fun buildTree   (EnvTree<a> ::= eis::[EnvItem<a>] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvTree.sv line 19.

(Undocumented.)

fun directBuildTree   (EnvTree<a> ::= eis::[Pair<String a>] )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvTree.sv line 24.

(Undocumented.)

fun emptyEnvTree   (EnvTree<a> ::= )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvTree.sv line 26.

(Undocumented.)

fun appendEnvTree   (EnvTree<a> ::= e1::EnvTree<a> e2::EnvTree<a> )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvTree.sv line 28.

(Undocumented.)

fun consEnvTree   (EnvTree<a> ::= eis::[EnvItem<a>] et::EnvTree<a> )

Contained in grammar [silver:compiler:definition:env]. Defined at silver/compiler/definition/env/EnvTree.sv line 30.

(Undocumented.)