Minnesota Extensible Language Tools Group

[silver:compiler:definition:concrete_syntax:ast]

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

Defined in this grammar:

synthesized attribute copperParser :: copper:ParserBean

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/CstAst.sv line 22.

The Copper API object corresponding to the parser.

synthesized attribute dominatingTerminals :: EnvTree<Decorated SyntaxDcl>

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/CstAst.sv line 25.

An environment containing all terminals that dominate any particular one.

monoid attribute productionPrecedence :: Maybe<Integer>

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

(Undocumented.)

monoid attribute customLayout :: Maybe<[String]>

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

(Undocumented.)

monoid attribute productionOperator :: Maybe<Decorated SyntaxDcl>

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

(Undocumented.)

nonterminal SyntaxProductionModifiers

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

(Undocumented.)

abstract production consProductionMod   (top::SyntaxProductionModifiers ::= h::SyntaxProductionModifier t::SyntaxProductionModifiers )

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

(Undocumented.)

abstract production nilProductionMod   (top::SyntaxProductionModifiers ::= )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/ProductionModifiers.sv line 24.

(Undocumented.)

nonterminal SyntaxProductionModifier

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

(Undocumented.)

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

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

(Undocumented.)

abstract production prodPrecedence   (top::SyntaxProductionModifier ::= lvl::Integer )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/ProductionModifiers.sv line 47.

(Undocumented.)

abstract production prodOperator   (top::SyntaxProductionModifier ::= term::String )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/ProductionModifiers.sv line 56.

(Undocumented.)

abstract production prodAction   (top::SyntaxProductionModifier ::= acode::String )

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

(Undocumented.)

abstract production prodLayout   (top::SyntaxProductionModifier ::= terms::[String] )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/ProductionModifiers.sv line 77.

(Undocumented.)

nonterminal SyntaxNonterminalModifiers

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

(Undocumented.)

abstract production consNonterminalMod   (top::SyntaxNonterminalModifiers ::= h::SyntaxNonterminalModifier t::SyntaxNonterminalModifiers )

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

(Undocumented.)

abstract production nilNonterminalMod   (top::SyntaxNonterminalModifiers ::= )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/NonterminalModifiers.sv line 17.

(Undocumented.)

nonterminal SyntaxNonterminalModifier

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

(Undocumented.)

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

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/NonterminalModifiers.sv line 29.

(Undocumented.)

abstract production ntLayout   (top::SyntaxNonterminalModifier ::= terms::[String] )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/NonterminalModifiers.sv line 39.

(Undocumented.)

monoid attribute ignored :: Boolean

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

(Undocumented.)

monoid attribute marking :: Boolean

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/TerminalModifiers.sv line 6.

(Undocumented.)

monoid attribute acode :: String

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

(Undocumented.)

monoid attribute opPrecedence :: Maybe<Integer>

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

(Undocumented.)

monoid attribute opAssociation :: Maybe<String>

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

(Undocumented.)

monoid attribute prefixSeperator :: Maybe<String>

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

(Undocumented.)

monoid attribute prefixSeperatorToApply :: Maybe<String>

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

(Undocumented.)

monoid attribute prettyName :: Maybe<String>

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

(Undocumented.)

inherited attribute terminalName :: String

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

(Undocumented.)

monoid attribute dominates_ :: [Decorated SyntaxDcl]

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/TerminalModifiers.sv line 15.

(Undocumented.)

monoid attribute submits_ :: [Decorated SyntaxDcl]

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

(Undocumented.)

monoid attribute lexerClasses :: [Decorated SyntaxDcl]

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/TerminalModifiers.sv line 17.

(Undocumented.)

nonterminal SyntaxTerminalModifiers

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/TerminalModifiers.sv line 17.

(Undocumented.)

abstract production consTerminalMod   (top::SyntaxTerminalModifiers ::= h::SyntaxTerminalModifier t::SyntaxTerminalModifiers )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/TerminalModifiers.sv line 35.

(Undocumented.)

abstract production nilTerminalMod   (top::SyntaxTerminalModifiers ::= )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/TerminalModifiers.sv line 44.

(Undocumented.)

closed nonterminal SyntaxTerminalModifier

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

(Undocumented.)

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

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

(Undocumented.)

abstract production termIgnore   (top::SyntaxTerminalModifier ::= )

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

(Undocumented.)

abstract production termMarking   (top::SyntaxTerminalModifier ::= )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/TerminalModifiers.sv line 84.

(Undocumented.)

abstract production termPrecedence   (top::SyntaxTerminalModifier ::= lvl::Integer )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/TerminalModifiers.sv line 92.

(Undocumented.)

abstract production termAssociation   (top::SyntaxTerminalModifier ::= direction::String )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/TerminalModifiers.sv line 100.

(Undocumented.)

abstract production termPrettyName   (top::SyntaxTerminalModifier ::= prettyName::String )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/TerminalModifiers.sv line 108.

(Undocumented.)

abstract production termClasses   (top::SyntaxTerminalModifier ::= cls::[String] )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/TerminalModifiers.sv line 116.

(Undocumented.)

abstract production termSubmits   (top::SyntaxTerminalModifier ::= sub::[String] )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/TerminalModifiers.sv line 142.

(Undocumented.)

abstract production termDominates   (top::SyntaxTerminalModifier ::= dom::[String] )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/TerminalModifiers.sv line 158.

(Undocumented.)

abstract production termAction   (top::SyntaxTerminalModifier ::= acode::String )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/TerminalModifiers.sv line 174.

(Undocumented.)

abstract production termPrefixSeperator   (top::SyntaxTerminalModifier ::= sep::String )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/TerminalModifiers.sv line 183.

(Undocumented.)

abstract production termUsePrefixSeperatorFor   (top::SyntaxTerminalModifier ::= terms::[String] grams::[String] )

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

(Undocumented.)

closed nonterminal SyntaxRoot

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/CstAst.sv line 18.

(Undocumented.)

abstract production cstRoot   (top::SyntaxRoot ::= parsername::String startnt::String s::Syntax customStartLayout::Maybe<[String]> terminalPrefixes::[Pair<String String>] componentGrammarMarkingTerminals::[Pair<String [String]>] )

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

(Undocumented.)

fun makeCopperName   (String ::= str::String )

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

(Undocumented.)

function buildLayoutEnv   (EnvTree<String> ::= allTerms::[String] layoutItems::[String] layoutContribs::[Pair<String String>] )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/CstAst.sv line 151.

(Undocumented.)

synthesized attribute copperRegex :: copper:Regex

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

(Undocumented.)

synthesized attribute copperRegexAlts :: [copper:Regex]

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

(Undocumented.)

synthesized attribute copperRegexSeqs :: [copper:Regex]

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

(Undocumented.)

aspect default production top::Regex ::= {#aspect_default_production_silver:regex:Regex}

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

(Undocumented.)

function asPrettyName   (Maybe<String> ::= r::Regex )

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

(Undocumented.)

aspect default production top::Regex ::= {#aspect_default_production_silver:regex:Regex}

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

(Undocumented.)

monoid attribute cstDcls :: [Pair<String Decorated SyntaxDcl>]

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

(Undocumented.)

inherited attribute cstEnv :: EnvTree<Decorated SyntaxDcl>

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

(Undocumented.)

monoid attribute cstErrors :: [String]

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

(Undocumented.)

monoid attribute cstProds :: [Pair<String SyntaxDcl>]

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

(Undocumented.)

inherited attribute cstNTProds :: EnvTree<SyntaxDcl>

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 15.

(Undocumented.)

monoid attribute cstNormalize :: [SyntaxDcl]

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

(Undocumented.)

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

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

(Undocumented.)

inherited attribute classTerminals :: EnvTree<String>

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

(Undocumented.)

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

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

(Undocumented.)

inherited attribute superClasses :: EnvTree<String>

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 22.

(Undocumented.)

inherited attribute subClasses :: EnvTree<String>

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 23.

(Undocumented.)

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

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

(Undocumented.)

inherited attribute parserAttributeAspects :: EnvTree<String>

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

(Undocumented.)

monoid attribute allTerminals :: [Decorated SyntaxDcl]

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

(Undocumented.)

monoid attribute allIgnoreTerminals :: [String]

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

(Undocumented.)

monoid attribute allMarkingTerminals :: [String]

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

(Undocumented.)

monoid attribute allProductions :: [Decorated SyntaxDcl]

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 39.

(Undocumented.)

monoid attribute allProductionNames :: [String]

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

(Undocumented.)

monoid attribute allNonterminals :: [Decorated SyntaxDcl]

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 41.

(Undocumented.)

monoid attribute disambiguationClasses :: [Decorated SyntaxDcl]

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 42.

(Undocumented.)

synthesized attribute domContribs :: [Decorated SyntaxDcl]

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 43.

(Undocumented.)

synthesized attribute subContribs :: [Decorated SyntaxDcl]

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 44.

(Undocumented.)

monoid attribute memberTerminals :: [Decorated SyntaxDcl]

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 45.

(Undocumented.)

monoid attribute dominatingTerminalContribs :: [(String,Decorated SyntaxDcl)]

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

(Undocumented.)

synthesized attribute terminalRegex :: Regex

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 47.

(Undocumented.)

inherited attribute containingGrammar :: String

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 48.

(Undocumented.)

monoid attribute lexerClassRefDcls :: String

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 49.

(Undocumented.)

synthesized attribute exportedProds :: [String]

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 50.

(Undocumented.)

synthesized attribute hasCustomLayout :: Boolean

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

(Undocumented.)

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

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 52.

(Undocumented.)

inherited attribute layoutTerms :: EnvTree<String>

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

(Undocumented.)

inherited attribute prefixesForTerminals :: EnvTree<String>

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 55.

(Undocumented.)

inherited attribute componentGrammarMarkingTerminals :: EnvTree<[String]>

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 56.

(Undocumented.)

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

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

(Undocumented.)

inherited attribute prettyNames :: tm:Map<String String>

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

(Undocumented.)

synthesized attribute copperElementReference :: copper:ElementReference

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 64.

(Undocumented.)

synthesized attribute copperGrammarElements :: [copper:GrammarElement]

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 65.

(Undocumented.)

nonterminal Syntax

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 65.

(Undocumented.)

abstract production nilSyntax   (top::Syntax ::= )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 92.

(Undocumented.)

abstract production consSyntax   (top::Syntax ::= s1::SyntaxDcl s2::Syntax )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 98.

(Undocumented.)

closed nonterminal SyntaxDcl

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

(Undocumented.)

synthesized attribute sortKey :: String

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 116.

(Undocumented.)

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

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 123.

(Undocumented.)

abstract production syntaxNonterminal   (top::SyntaxDcl ::= t::Type subdcls::Syntax exportedProds::[String] exportedLayoutTerms::[String] modifiers::SyntaxNonterminalModifiers )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 141.

(Undocumented.)

abstract production syntaxTerminal   (top::SyntaxDcl ::= n::String regex::Regex modifiers::SyntaxTerminalModifiers )

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

(Undocumented.)

abstract production syntaxProduction   (top::SyntaxDcl ::= ns::NamedSignature modifiers::SyntaxProductionModifiers )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 243.

(Undocumented.)

fun fetchChildren   (String ::= i::Integer ns::[NamedSignatureElement] )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 327.

(Undocumented.)

function insertLocationAnnotation   (String ::= ns::NamedSignature )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 332.

(Undocumented.)

fun lookupStrings   ([[a]] ::= t::[String] e::EnvTree<a> )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 344.

(Undocumented.)

fun checkRHS   ([String] ::= pn::String rhs::[Type] refs::[[Decorated SyntaxDcl]] )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 345.

(Undocumented.)

abstract production syntaxLexerClass   (top::SyntaxDcl ::= n::String modifiers::SyntaxLexerClassModifiers )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 361.

(Undocumented.)

abstract production syntaxParserAttribute   (top::SyntaxDcl ::= n::String ty::Type acode::String )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 402.

(Undocumented.)

abstract production syntaxParserAttributeAspect   (top::SyntaxDcl ::= n::String acode::String )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 429.

(Undocumented.)

abstract production syntaxDisambiguationGroup   (top::SyntaxDcl ::= n::String terms::[String] applicableToSubsets::Boolean acode::String )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 451.

(Undocumented.)

function sortKeyLte   (Boolean ::= l::SyntaxDcl r::SyntaxDcl )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/Syntax.sv line 490.

(Undocumented.)

inherited attribute className :: String

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

(Undocumented.)

nonterminal SyntaxLexerClassModifiers

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

(Undocumented.)

abstract production consLexerClassMod   (top::SyntaxLexerClassModifiers ::= h::SyntaxLexerClassModifier t::SyntaxLexerClassModifiers )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/LexerClassModifiers.sv line 24.

(Undocumented.)

abstract production nilLexerClassMod   (top::SyntaxLexerClassModifiers ::= )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/LexerClassModifiers.sv line 33.

(Undocumented.)

closed nonterminal SyntaxLexerClassModifier

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/LexerClassModifiers.sv line 42.

(Undocumented.)

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

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

(Undocumented.)

abstract production lexerClassExtends   (top::SyntaxLexerClassModifier ::= super::[String] )

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

(Undocumented.)

abstract production lexerClassSubmits   (top::SyntaxLexerClassModifier ::= sub::[String] )

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

(Undocumented.)

abstract production lexerClassDominates   (top::SyntaxLexerClassModifier ::= dom::[String] )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/LexerClassModifiers.sv line 92.

(Undocumented.)

abstract production lexerClassDisambiguate   (top::SyntaxLexerClassModifier ::= acode::String )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/LexerClassModifiers.sv line 110.

(Undocumented.)

abstract production lexerClassPrefixSeperator   (top::SyntaxLexerClassModifier ::= sep::String )

Contained in grammar [silver:compiler:definition:concrete_syntax:ast]. Defined at silver/compiler/definition/concrete_syntax/ast/LexerClassModifiers.sv line 147.

(Undocumented.)