Minnesota Extensible Language Tools Group

[silver:compiler:definition:flow:syntax]

Contents of [silver:compiler:definition:flow:syntax]:

Defined in this grammar:

terminal Flowtype

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 14.

(Undocumented.)

concrete production flowtypeDcl   (top::AGDcl ::= 'flowtype' nt::QName '=' specs::FlowSpecs ';' )

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 18.

(Undocumented.)

concrete production flowtypeAttrDcl   (top::AGDcl ::= 'flowtype' attr::FlowSpec 'on' nts::NtList ';' )

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 36.

(Undocumented.)

nonterminal FlowSpecs

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 49.

(Undocumented.)

concrete production oneFlowSpec   (top::FlowSpecs ::= h::FlowSpec )

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 53.

(Undocumented.)

concrete production snocFlowSpec   (top::FlowSpecs ::= h::FlowSpecs ',' t::FlowSpec )

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 58.

(Undocumented.)

nonterminal FlowSpec

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 64.

(Undocumented.)

inherited attribute onNt :: Type

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 66.

(Undocumented.)

concrete production flowSpecDcl   (top::FlowSpec ::= attr::FlowSpecId '{' inhs::FlowSpecInhs '}' )

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 70.

(Undocumented.)

nonterminal FlowSpecId

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 112.

(Undocumented.)

synthesized attribute synName :: String

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 114.

(Undocumented.)

synthesized attribute authorityGrammar :: String

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 115.

(Undocumented.)

concrete production qnameSpecId   (top::FlowSpecId ::= syn::QNameAttrOccur )

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 119.

(Undocumented.)

concrete production forwardSpecId   (top::FlowSpecId ::= 'forward' )

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 135.

(Undocumented.)

concrete production decorateSpecId   (top::FlowSpecId ::= 'decorate' )

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 145.

(Undocumented.)

nonterminal FlowSpecInhs

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 156.

(Undocumented.)

monoid attribute inhList :: [String]

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 158.

(Undocumented.)

monoid attribute refList :: [String]

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 159.

(Undocumented.)

concrete production nilFlowSpecInhs   (top::FlowSpecInhs ::= )

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 163.

(Undocumented.)

concrete production oneFlowSpecInhs   (top::FlowSpecInhs ::= h::FlowSpecInh )

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 168.

(Undocumented.)

concrete production consFlowSpecInhs   (top::FlowSpecInhs ::= h::FlowSpecInh ',' t::FlowSpecInhs )

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 173.

(Undocumented.)

nonterminal FlowSpecInh

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 179.

(Undocumented.)

concrete production flowSpecInh   (top::FlowSpecInh ::= inh::QNameAttrOccur )

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 185.

(Undocumented.)

concrete production flowSpecTrans   (top::FlowSpecInh ::= transSyn::QNameAttrOccur '.' inh::QNameAttrOccur )

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 199.

(Undocumented.)

concrete production flowSpecDec   (top::FlowSpecInh ::= 'decorate' )

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 235.

(Undocumented.)

concrete production flowSpecForward   (top::FlowSpecInh ::= 'forward' )

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 258.

(Undocumented.)

nonterminal NtList

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 278.

(Undocumented.)

concrete production nilNtList   (top::NtList ::= )

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 282.

(Undocumented.)

concrete production oneNtList   (top::NtList ::= h::NtName )

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 287.

(Undocumented.)

concrete production consNtList   (top::NtList ::= h::NtName ',' t::NtList )

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 292.

(Undocumented.)

nonterminal NtName

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 298.

(Undocumented.)

inherited attribute flowSpecSpec :: FlowSpec

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 302.

(Undocumented.)

concrete production ntName   (top::NtName ::= nt::QName )

Contained in grammar [silver:compiler:definition:flow:syntax]. Defined at silver/compiler/definition/flow/syntax/FlowSpec.sv line 304.

(Undocumented.)