Minnesota Extensible Language Tools Group

[silver:compiler:definition:concrete_syntax]

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

Defined in this grammar:

terminal Ignore_kwd

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

(Undocumented.)

terminal Marking_kwd

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

(Undocumented.)

terminal Named_kwd

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

(Undocumented.)

terminal Left_kwd

Contained in grammar [silver:compiler:definition:concrete_syntax]. Defined at silver/compiler/definition/concrete_syntax/TerminalDcl.sv line 9.

(Undocumented.)

terminal Association_kwd

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

(Undocumented.)

terminal Right_kwd

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

(Undocumented.)

terminal None_kwd

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

(Undocumented.)

terminal RepeatProb_kwd

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

(Undocumented.)

terminal Precedence_kwd

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

(Undocumented.)

abstract production terminalDclDefault   (top::AGDcl ::= t::TerminalKeywordModifier id::Name r::RegExpr tm::TerminalModifiers )

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

(Undocumented.)

concrete production terminalDclKwdModifiers   (top::AGDcl ::= t::TerminalKeywordModifier 'terminal' id::Name r::RegExpr ';' )

Contained in grammar [silver:compiler:definition:concrete_syntax]. Defined at silver/compiler/definition/concrete_syntax/TerminalDcl.sv line 53.

(Undocumented.)

concrete production terminalDclAllModifiers   (top::AGDcl ::= t::TerminalKeywordModifier 'terminal' id::Name r::RegExpr tm::TerminalModifiers ';' )

Contained in grammar [silver:compiler:definition:concrete_syntax]. Defined at silver/compiler/definition/concrete_syntax/TerminalDcl.sv line 61.

(Undocumented.)

nonterminal RegExpr

Contained in grammar [silver:compiler:definition:concrete_syntax]. Defined at silver/compiler/definition/concrete_syntax/TerminalDcl.sv line 73.

(Undocumented.)

synthesized attribute terminalRegExprSpec :: abs:Regex

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

(Undocumented.)

synthesized attribute easyName :: Maybe<String>

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

(Undocumented.)

terminal RegexSlash_t

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

(Undocumented.)

concrete production regExpr_c   (top::RegExpr ::= '/' r::Regex '/' )

Contained in grammar [silver:compiler:definition:concrete_syntax]. Defined at silver/compiler/definition/concrete_syntax/TerminalDcl.sv line 80.

(Undocumented.)

abstract production regExpr   (top::RegExpr ::= r::abs:Regex )

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

(Undocumented.)

closed nonterminal TerminalKeywordModifier

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

(Undocumented.)

concrete production terminalKeywordModifierIgnore   (top::TerminalKeywordModifier ::= 'ignore' )

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

(Undocumented.)

concrete production terminalKeywordModifierMarking   (top::TerminalKeywordModifier ::= 'marking' )

Contained in grammar [silver:compiler:definition:concrete_syntax]. Defined at silver/compiler/definition/concrete_syntax/TerminalDcl.sv line 107.

(Undocumented.)

concrete production terminalKeywordModifierNone   (top::TerminalKeywordModifier ::= )

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

(Undocumented.)

nonterminal TerminalModifiers

Contained in grammar [silver:compiler:definition:concrete_syntax]. Defined at silver/compiler/definition/concrete_syntax/TerminalDcl.sv line 124.

(Undocumented.)

closed nonterminal TerminalModifier

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

(Undocumented.)

monoid attribute terminalModifiers :: [SyntaxTerminalModifier]

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

(Undocumented.)

monoid attribute genRepeatProb :: Maybe<Float>

Contained in grammar [silver:compiler:definition:concrete_syntax]. Defined at silver/compiler/definition/concrete_syntax/TerminalDcl.sv line 128.

(Undocumented.)

aspect default production top::TerminalModifier ::= {#aspect_default_production_silver:compiler:definition:concrete_syntax:TerminalModifier}

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

(Undocumented.)

abstract production terminalModifiersNone   (top::TerminalModifiers ::= )

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

(Undocumented.)

concrete production terminalModifierSingle   (top::TerminalModifiers ::= tm::TerminalModifier )

Contained in grammar [silver:compiler:definition:concrete_syntax]. Defined at silver/compiler/definition/concrete_syntax/TerminalDcl.sv line 144.

(Undocumented.)

concrete production terminalModifiersCons   (top::TerminalModifiers ::= h::TerminalModifier ',' t::TerminalModifiers )

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

(Undocumented.)

concrete production terminalModifierLeft   (top::TerminalModifier ::= 'association' '=' 'left' )

Contained in grammar [silver:compiler:definition:concrete_syntax]. Defined at silver/compiler/definition/concrete_syntax/TerminalDcl.sv line 155.

(Undocumented.)

concrete production terminalModifierRight   (top::TerminalModifier ::= 'association' '=' 'right' )

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

(Undocumented.)

concrete production terminalModifierNone   (top::TerminalModifier ::= 'association' '=' 'none' )

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

(Undocumented.)

concrete production terminalModifierPrecedence   (top::TerminalModifier ::= 'precedence' '=' i::Int_t )

Contained in grammar [silver:compiler:definition:concrete_syntax]. Defined at silver/compiler/definition/concrete_syntax/TerminalDcl.sv line 180.

(Undocumented.)

concrete production terminalModifierRepeatProb   (top::TerminalModifier ::= 'repeatProb' '=' f::Float_t )

Contained in grammar [silver:compiler:definition:concrete_syntax]. Defined at silver/compiler/definition/concrete_syntax/TerminalDcl.sv line 191.

(Undocumented.)

concrete production terminalModifierNamed   (top::TerminalModifier ::= 'named' name::String_t )

Contained in grammar [silver:compiler:definition:concrete_syntax]. Defined at silver/compiler/definition/concrete_syntax/TerminalDcl.sv line 204.

(Undocumented.)

monoid attribute hasSyntaxAst :: Boolean

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

(Undocumented.)

monoid attribute hasParserSpecs :: Boolean

Contained in grammar [silver:compiler:definition:concrete_syntax]. Defined at silver/compiler/definition/concrete_syntax/RootSpec.sv line 9.

(Undocumented.)

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

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

(Undocumented.)

abstract production syntaxAstInterfaceItem   (top::InterfaceItem ::= val::[SyntaxDcl] )

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

(Undocumented.)

abstract production parserSpecsInterfaceItem   (top::InterfaceItem ::= val::[ParserSpec] )

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

(Undocumented.)

monoid attribute syntaxAst :: [SyntaxDcl]

Contained in grammar [silver:compiler:definition:concrete_syntax]. Defined at silver/compiler/definition/concrete_syntax/Root.sv line 3.

(Undocumented.)

monoid attribute parserSpecs :: [ParserSpec]

Contained in grammar [silver:compiler:definition:concrete_syntax]. Defined at silver/compiler/definition/concrete_syntax/Root.sv line 4.

(Undocumented.)

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

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

(Undocumented.)

inherited attribute productionSig :: NamedSignature

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

(Undocumented.)

concrete production concreteProductionDcl   (top::AGDcl ::= 'concrete' 'production' id::Name ns::ProductionSignature pm::ProductionModifiers body::ProductionBody )

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

(Undocumented.)

nonterminal ProductionModifiers

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

(Undocumented.)

nonterminal ProductionModifierList

Contained in grammar [silver:compiler:definition:concrete_syntax]. Defined at silver/compiler/definition/concrete_syntax/ProductionDcl.sv line 37.

(Undocumented.)

closed nonterminal ProductionModifier

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

(Undocumented.)

monoid attribute productionModifiers :: [SyntaxProductionModifier]

Contained in grammar [silver:compiler:definition:concrete_syntax]. Defined at silver/compiler/definition/concrete_syntax/ProductionDcl.sv line 40.

(Undocumented.)

concrete production productionModifiersNone   (top::ProductionModifiers ::= )

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

(Undocumented.)

concrete production productionModifierSome   (top::ProductionModifiers ::= pm::ProductionModifierList )

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

(Undocumented.)

concrete production productionModifierSingle   (top::ProductionModifierList ::= pm::ProductionModifier )

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

(Undocumented.)

concrete production productionModifiersCons   (top::ProductionModifierList ::= h::ProductionModifier ',' t::ProductionModifierList )

Contained in grammar [silver:compiler:definition:concrete_syntax]. Defined at silver/compiler/definition/concrete_syntax/ProductionDcl.sv line 62.

(Undocumented.)

concrete production productionModifierPrecedence   (top::ProductionModifier ::= 'precedence' '=' i::Int_t )

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

(Undocumented.)

terminal Operator_kwd

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

(Undocumented.)

concrete production productionModifierOperator   (top::ProductionModifier ::= 'operator' '=' n::QNameType )

Contained in grammar [silver:compiler:definition:concrete_syntax]. Defined at silver/compiler/definition/concrete_syntax/ProductionDcl.sv line 79.

(Undocumented.)

monoid attribute concreteSyntaxTypeErrors :: [Message]

Contained in grammar [silver:compiler:definition:concrete_syntax]. Defined at silver/compiler/definition/concrete_syntax/ProductionDcl.sv line 95.

(Undocumented.)

synthesized attribute permittedInConcreteSyntax :: Boolean

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

(Undocumented.)

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

Contained in grammar [silver:compiler:definition:concrete_syntax]. Defined at silver/compiler/definition/concrete_syntax/ProductionDcl.sv line 150.

(Undocumented.)

nonterminal ParserSpec

Contained in grammar [silver:compiler:definition:concrete_syntax]. Defined at silver/compiler/definition/concrete_syntax/ParserSpec.sv line 3.

(Undocumented.)

synthesized attribute cstAst :: SyntaxRoot

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

(Undocumented.)

synthesized attribute startNT :: String

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

(Undocumented.)

monoid attribute terminalPrefixes :: [Pair<String String>]

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

(Undocumented.)

monoid attribute grammarTerminalPrefixes :: [Pair<String String>]

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

(Undocumented.)

abstract production parserSpec   (top::ParserSpec ::= fn::String snt::String grams::[String] customStartLayout::Maybe<[String]> terminalPrefixes::[Pair<String String>] grammarTerminalPrefixes::[Pair<String String>] addedDcls::[SyntaxDcl] )

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

(Undocumented.)

monoid attribute nonterminalModifiers :: [SyntaxNonterminalModifier]

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

(Undocumented.)