[silver:compiler:definition:origins]

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

Defined in this grammar:

data nonterminal ContextOriginInfoSource

Contained in grammar [silver:compiler:definition:origins]. Defined at silver/compiler/definition/origins/BlockContext.sv line 5.

(Undocumented.)


abstract production useContextLhsAndRules   (ContextOriginInfoSource ::= )

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

(Undocumented.)


abstract production useRuntimePassedInfo   (ContextOriginInfoSource ::= )

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

(Undocumented.)


abstract production useBogusInfo   (ContextOriginInfoSource ::= name::String )

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

(Undocumented.)


synthesized attribute originsContextSource :: ContextOriginInfoSource

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

(Undocumented.)