Minnesota Extensible Language Tools Group

[silver:compiler:modification:copper]

Contents of [silver:compiler:modification:copper]:

Defined in this grammar:

abstract production buildParserAction   (top::DriverAction ::= spec::ParserSpec compiledGrammars::EnvTree<Decorated RootSpec> silverGen::String cmdArgs::Decorated CmdArgs )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/BuildProcess.sv line 116.

Writes a parser out to a file.

We create a separate GrammarAction rather than building this into genJava as an optimization. The build process iteratively rebuilds all dependent grammars whenever an interface file change, which may happen for a number of reasons (e.g. defining a new attribute) that do not affect the concrete syntax used to build a parser in a rebuilt grammar. To avoid this, we cache the concrete syntax AST used to build the parser, and skip parser generation if the syntax AST is unchanged.

concrete production attributeDclParser   (top::AGDcl ::= 'parser' 'attribute' a::Name '::' te::TypeExpr 'action' acode::ActionCode_c ';' )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ParserAttributes.sv line 3.

(Undocumented.)

concrete production attributeAspectParser   (top::AGDcl ::= 'aspect' 'parser' 'attribute' a::QName 'action' acode::ActionCode_c ';' )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ParserAttributes.sv line 37.

(Undocumented.)

terminal DisambiguationFailure_t

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Expr.sv line 3.

(Undocumented.)

concrete production failureTerminalIdExpr   (top::Expr ::= 'disambiguationFailure' )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Expr.sv line 7.

(Undocumented.)

abstract production actionChildReference   (top::Expr ::= q::Decorated! QName )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Expr.sv line 21.

(Undocumented.)

abstract production pluckTerminalReference   (top::Expr ::= q::Decorated! QName )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Expr.sv line 38.

(Undocumented.)

abstract production terminalIdReference   (top::Expr ::= q::Decorated! QName )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Expr.sv line 60.

(Undocumented.)

abstract production lexerClassReference   (top::Expr ::= q::Decorated! QName )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Expr.sv line 79.

(Undocumented.)

abstract production parserAttributeReference   (top::Expr ::= q::Decorated! QName )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Expr.sv line 99.

(Undocumented.)

abstract production termAttrValueReference   (top::Expr ::= q::Decorated! QName )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Expr.sv line 119.

(Undocumented.)

monoid attribute superClasses :: [String]

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/DclInfo.sv line 3.

(Undocumented.)

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

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/DclInfo.sv line 5.

(Undocumented.)

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

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

(Undocumented.)

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

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

(Undocumented.)

abstract production lexerClassDcl   (top::ValueDclInfo ::= fn::String superClasses::[String] )

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

(Undocumented.)

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

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/DclInfo.sv line 71.

(Undocumented.)

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

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/DclInfo.sv line 88.

(Undocumented.)

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

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/DclInfo.sv line 106.

(Undocumented.)

terminal Prefix_t

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 5.

(Undocumented.)

concrete production prefixParserComponentModifier   (top::ParserComponentModifier ::= 'prefix' ts::TerminalPrefixItems 'with' s::TerminalPrefix )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 9.

(Undocumented.)

inherited attribute prefixedTerminals :: [String]

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 20.

(Undocumented.)

inherited attribute prefixedGrammars :: [String]

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 21.

(Undocumented.)

synthesized attribute terminalPrefix :: String

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 22.

(Undocumented.)

nonterminal TerminalPrefix

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 23.

(Undocumented.)

concrete production nameTerminalPrefix   (top::TerminalPrefix ::= s::QName )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 27.

(Undocumented.)

concrete production newTermModifiersTerminalPrefix   (top::TerminalPrefix ::= r::RegExpr tm::TerminalModifiers )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 37.

(Undocumented.)

concrete production newTermTerminalPrefix   (top::TerminalPrefix ::= r::RegExpr )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 60.

(Undocumented.)

concrete production seperatedTerminalPrefix   (top::TerminalPrefix ::= t::String_t )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 67.

(Undocumented.)

abstract production terminalModifierUsePrefixSeperatorFor   (top::TerminalModifier ::= terms::[String] grams::[String] )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 82.

(Undocumented.)

synthesized attribute prefixItemNames :: [String]

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 91.

(Undocumented.)

synthesized attribute isAllMarking :: Boolean

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 92.

(Undocumented.)

nonterminal TerminalPrefixItems

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 93.

(Undocumented.)

concrete production consTerminalPrefixItem   (top::TerminalPrefixItems ::= t::TerminalPrefixItem ',' ts::TerminalPrefixItems )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 96.

(Undocumented.)

concrete production oneTerminalPrefixItem   (top::TerminalPrefixItems ::= t::TerminalPrefixItem )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 104.

(Undocumented.)

abstract production nilTerminalPrefixItem   (top::TerminalPrefixItems ::= )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 112.

(Undocumented.)

concrete production allMarkingTerminalPrefixItems   (top::TerminalPrefixItems ::= )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 121.

(Undocumented.)

nonterminal TerminalPrefixItem

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 129.

(Undocumented.)

concrete production qNameTerminalPrefixItem   (top::TerminalPrefixItem ::= t::QName )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 132.

(Undocumented.)

concrete production easyTerminalRefTerminalPrefixItem   (top::TerminalPrefixItem ::= t::EasyTerminalRef )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 142.

(Undocumented.)

terminal Prefer_t

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 147.

(Undocumented.)

terminal Over_t

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 150.

(Undocumented.)

concrete production disambiguateParserComponent   (top::ParserComponent ::= 'prefer' t::QName 'over' ts::TermList ';' )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 153.

(Undocumented.)

terminal Separator_kwd

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 188.

(Undocumented.)

concrete production lexerClassModifierPrefixSeperator   (top::LexerClassModifier ::= 'prefix' 'separator' s::String_t )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Prefix.sv line 193.

(Undocumented.)

terminal Action_kwd

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ActionCode.sv line 1.

(Undocumented.)

concrete production concreteProductionDclAction   (top::AGDcl ::= 'concrete' 'production' id::Name ns::ProductionSignature pm::ProductionModifiers body::ProductionBody 'action' acode::ActionCode_c )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ActionCode.sv line 5.

(Undocumented.)

nonterminal ActionCode_c

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ActionCode.sv line 46.

(Undocumented.)

synthesized attribute actionCode :: String

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ActionCode.sv line 48.

(Undocumented.)

concrete production actionCode_c   (top::ActionCode_c ::= '{' stmts::ProductionStmts '}' )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ActionCode.sv line 50.

(Undocumented.)

synthesized attribute containsPluck :: Boolean

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ActionCode.sv line 75.

(Undocumented.)

aspect default production __generatedTop_5384::ProductionStmt ::= {#aspect_default_production_silver:compiler:definition:core:ProductionStmt}

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ActionCode.sv line 94.

(Undocumented.)

function hacklocaldeclarations   (String ::= d::Def )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ActionCode.sv line 103.

(Undocumented.)

function hackTransformLocals   ([Def] ::= d::Def )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ActionCode.sv line 113.

(Undocumented.)

synthesized attribute actionDefs :: [Def]

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ActionCode.sv line 128.

(Undocumented.)

terminal Pluck_kwd

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ProductionStmt.sv line 1.

(Undocumented.)

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ProductionStmt.sv line 3.

(Undocumented.)

terminal PushToken_kwd

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ProductionStmt.sv line 4.

(Undocumented.)

terminal Insert_kwd

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ProductionStmt.sv line 5.

(Undocumented.)

terminal Semantic_kwd

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ProductionStmt.sv line 7.

(Undocumented.)

terminal Token_kwd

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ProductionStmt.sv line 8.

(Undocumented.)

terminal At_kwd

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ProductionStmt.sv line 9.

(Undocumented.)

concrete production namePrint   (top::Name ::= 'print' )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ProductionStmt.sv line 13.

(Undocumented.)

concrete production namePluck   (top::Name ::= 'pluck' )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ProductionStmt.sv line 17.

(Undocumented.)

concrete production pluckDef   (top::ProductionStmt ::= 'pluck' e::Expr ';' )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ProductionStmt.sv line 22.

(Undocumented.)

concrete production printStmt   (top::ProductionStmt ::= 'print' e::Expr ';' )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ProductionStmt.sv line 56.

(Undocumented.)

abstract production parserAttributeValueDef   (top::ProductionStmt ::= val::Decorated! QName e::Expr )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ProductionStmt.sv line 89.

(Undocumented.)

concrete production pushTokenStmt   (top::ProductionStmt ::= 'pushToken' '(' val::QName ',' lexeme::Expr ')' ';' )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ProductionStmt.sv line 117.

(Undocumented.)

concrete production insertSemanticTokenStmt   (top::ProductionStmt ::= 'insert' 'semantic' 'token' n::QNameType 'at' loc::Expr ';' )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ProductionStmt.sv line 144.

(Undocumented.)

concrete production blockStmt   (top::ProductionStmt ::= '{' stmts::ProductionStmts '}' )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ProductionStmt.sv line 173.

(Undocumented.)

concrete production ifElseStmt   (top::ProductionStmt ::= 'if' '(' condition::Expr ')' th::ProductionStmt 'else' el::ProductionStmt )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ProductionStmt.sv line 192.

(Undocumented.)

concrete production ifStmt   (top::ProductionStmt ::= 'if' '(' condition::Expr ')' th::ProductionStmt )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ProductionStmt.sv line 229.

(Undocumented.)

abstract production parserAttributeDefLHS   (top::DefLHS ::= q::Decorated! QName )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ProductionStmt.sv line 237.

(Undocumented.)

abstract production termAttrValueValueDef   (top::ProductionStmt ::= val::Decorated! QName e::Expr )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ProductionStmt.sv line 257.

(Undocumented.)

synthesized attribute forceCopperDump :: Boolean

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/BuildProcess.sv line 13.

(Undocumented.)

abstract production copperdumpFlag   (top::CmdArgs ::= rest::CmdArgs )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/BuildProcess.sv line 21.

(Undocumented.)

synthesized attribute copperXmlDump :: Boolean

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/BuildProcess.sv line 41.

(Undocumented.)

abstract production copperXmlDumpFlag   (top::CmdArgs ::= rest::CmdArgs )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/BuildProcess.sv line 47.

(Undocumented.)

fun obtainParserSpecs   ([ParserSpec] ::= g::Decorated RootSpec benv::BuildEnv )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/BuildProcess.sv line 69.

(Undocumented.)

synthesized attribute permitActions :: Boolean

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/BlockContext.sv line 13.

(Undocumented.)

synthesized attribute permitPluck :: Boolean

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/BlockContext.sv line 14.

(Undocumented.)

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

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/BlockContext.sv line 16.

(Undocumented.)

abstract production actionContext   (top::BlockContext ::= g::ProductionGraph )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/BlockContext.sv line 24.

(Undocumented.)

abstract production disambiguationContext   (top::BlockContext ::= g::ProductionGraph )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/BlockContext.sv line 41.

(Undocumented.)

abstract production reduceActionContext   (top::BlockContext ::= sig::NamedSignature g::ProductionGraph )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/BlockContext.sv line 50.

(Undocumented.)

terminal Parser_kwd

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ParserDcl.sv line 3.

(Undocumented.)

concrete production parserDcl   (top::AGDcl ::= 'parser' n::Name '::' t::TypeExpr '{' m::ParserComponents '}' )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ParserDcl.sv line 9.

(Undocumented.)

nonterminal ParserComponents

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ParserDcl.sv line 49.

(Undocumented.)

concrete production nilParserComponent   (top::ParserComponents ::= )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ParserDcl.sv line 53.

(Undocumented.)

concrete production consParserComponent   (top::ParserComponents ::= c1::ParserComponent c2::ParserComponents )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ParserDcl.sv line 59.

(Undocumented.)

closed nonterminal ParserComponent

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ParserDcl.sv line 65.

(Undocumented.)

aspect default production top::ParserComponent ::= {#aspect_default_production_silver:compiler:modification:copper:ParserComponent}

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ParserDcl.sv line 69.

(Undocumented.)

concrete production parserComponent   (top::ParserComponent ::= m::ModuleName mods::ParserComponentModifiers ';' )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ParserDcl.sv line 75.

(Undocumented.)

inherited attribute componentGrammarName :: String

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ParserDcl.sv line 83.

(Undocumented.)

nonterminal ParserComponentModifiers

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ParserDcl.sv line 86.

(Undocumented.)

concrete production nilParserComponentModifier   (top::ParserComponentModifiers ::= )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ParserDcl.sv line 90.

(Undocumented.)

concrete production consParserComponentModifier   (top::ParserComponentModifiers ::= h::ParserComponentModifier t::ParserComponentModifiers )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ParserDcl.sv line 96.

(Undocumented.)

nonterminal ParserComponentModifier

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ParserDcl.sv line 102.

(Undocumented.)

aspect default production top::ParserComponentModifier ::= {#aspect_default_production_silver:compiler:modification:copper:ParserComponentModifier}

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/ParserDcl.sv line 106.

(Undocumented.)

terminal Dominates_t

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TerminalDcl.sv line 1.

(Undocumented.)

terminal Submits_t

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TerminalDcl.sv line 3.

(Undocumented.)

terminal Classes_kwd

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TerminalDcl.sv line 4.

(Undocumented.)

monoid attribute lexerClasses :: [String]

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

(Undocumented.)

concrete production terminalModifierDominates   (top::TerminalModifier ::= 'dominates' terms::TermPrecs )

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

(Undocumented.)

concrete production terminalModifierSubmitsTo   (top::TerminalModifier ::= 'submits' 'to' terms::TermPrecs )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TerminalDcl.sv line 20.

(Undocumented.)

concrete production terminalModifierClassSpec   (top::TerminalModifier ::= 'lexer' 'classes' cl::LexerClasses )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TerminalDcl.sv line 29.

(Undocumented.)

concrete production terminalModifierActionCode   (top::TerminalModifier ::= 'action' acode::ActionCode_c )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TerminalDcl.sv line 38.

(Undocumented.)

monoid attribute precTermList :: [String]

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TerminalDcl.sv line 57.

(Undocumented.)

nonterminal TermPrecs

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TerminalDcl.sv line 59.

(Undocumented.)

concrete production termPrecsOne   (top::TermPrecs ::= t::QName )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TerminalDcl.sv line 62.

(Undocumented.)

concrete production termPrecsList   (top::TermPrecs ::= '{' terms::TermPrecList '}' )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TerminalDcl.sv line 70.

(Undocumented.)

abstract production termPrecs   (top::TermPrecs ::= terms::TermPrecList )

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

(Undocumented.)

nonterminal TermPrecList

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TerminalDcl.sv line 82.

(Undocumented.)

abstract production termPrecList   (top::TermPrecList ::= h::QName t::TermPrecList )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TerminalDcl.sv line 85.

(Undocumented.)

abstract production termPrecListNull   (top::TermPrecList ::= )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TerminalDcl.sv line 105.

(Undocumented.)

concrete production termPrecListOne   (top::TermPrecList ::= t::QName )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TerminalDcl.sv line 111.

(Undocumented.)

concrete production termPrecListCons   (top::TermPrecList ::= t::QName ',' terms_tail::TermPrecList )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TerminalDcl.sv line 119.

(Undocumented.)

nonterminal LexerClasses

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

(Undocumented.)

concrete production lexerClassesOne   (top::LexerClasses ::= n::QName )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TerminalDcl.sv line 130.

(Undocumented.)

concrete production lexerClassesList   (top::LexerClasses ::= '{' cls::LexerClassList '}' )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TerminalDcl.sv line 138.

(Undocumented.)

abstract production lexerClasses   (top::LexerClasses ::= cls::LexerClassList )

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

(Undocumented.)

nonterminal LexerClassList

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TerminalDcl.sv line 150.

(Undocumented.)

concrete production lexerClassListOne   (top::LexerClassList ::= n::QName )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TerminalDcl.sv line 153.

(Undocumented.)

concrete production lexerClassListCons   (top::LexerClassList ::= n::QName ',' cl_tail::LexerClassList )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TerminalDcl.sv line 161.

(Undocumented.)

abstract production lexerClassListMain   (top::LexerClassList ::= n::QName t::LexerClassList )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TerminalDcl.sv line 170.

(Undocumented.)

abstract production lexerClassListNull   (cl::LexerClassList ::= )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TerminalDcl.sv line 182.

(Undocumented.)

terminal Layout_kwd

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/CustomLayout.sv line 1.

(Undocumented.)

concrete production productionModifierLayout   (top::ProductionModifier ::= 'layout' '{' terms::TermList '}' )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/CustomLayout.sv line 6.

(Undocumented.)

concrete production productionModifierLayoutNone   (top::ProductionModifier ::= 'layout' '{' '}' )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/CustomLayout.sv line 16.

(Undocumented.)

concrete production nonterminalModifierLayout   (top::NonterminalModifier ::= 'layout' '{' terms::TermList '}' )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/CustomLayout.sv line 25.

(Undocumented.)

concrete production nonterminalModifierLayoutNone   (top::NonterminalModifier ::= 'layout' '{' '}' )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/CustomLayout.sv line 35.

(Undocumented.)

aspect default production top::ParserComponent ::= {#aspect_default_production_silver:compiler:modification:copper:ParserComponent}

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/CustomLayout.sv line 48.

(Undocumented.)

concrete production parserComponentLayout   (top::ParserComponent ::= 'layout' '{' terms::TermList '}' ';' )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/CustomLayout.sv line 54.

(Undocumented.)

concrete production parserComponentLayoutNone   (top::ParserComponent ::= 'layout' '{' '}' ';' )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/CustomLayout.sv line 61.

(Undocumented.)

synthesized attribute lexerClassList :: [EnvItem<ValueDclInfo>]

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Env.sv line 6.

(Undocumented.)

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

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

(Undocumented.)

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

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

(Undocumented.)

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

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Env.sv line 34.

(Undocumented.)

fun pluckTermDef   (Def ::= sg::String sl::Location fn::String )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Env.sv line 37.

(Undocumented.)

fun lexerClassDef   (Def ::= sg::String sl::Location fn::String sc::[String] )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Env.sv line 40.

(Undocumented.)

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

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Env.sv line 43.

(Undocumented.)

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

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

(Undocumented.)

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

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Env.sv line 49.

(Undocumented.)

synthesized attribute lexerClassTree :: EnvTree<ValueDclInfo>

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Env.sv line 55.

(Undocumented.)

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

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Env.sv line 81.

(Undocumented.)

fun expandTransitiveSuperClasses   ([String] ::= seen::[String] toExpand::[String] e::Env )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Env.sv line 84.

(Undocumented.)

synthesized attribute lookupLexerClass :: QNameLookup<ValueDclInfo>

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

(Undocumented.)

global i_lexemeVariable

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Env.sv line 122.

(Undocumented.)

global i_shiftableVariable

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Env.sv line 124.

(Undocumented.)

global i_locVariables

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Env.sv line 126.

(Undocumented.)

global terminalActionVars

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Env.sv line 131.

(Undocumented.)

global productionActionVars

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

(Undocumented.)

global disambiguationActionVars

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/Env.sv line 133.

(Undocumented.)

global disambiguationClassActionVars

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

(Undocumented.)

nonterminal TermList

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TermList.sv line 8.

(Undocumented.)

monoid attribute termList :: [String]

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TermList.sv line 10.

(Undocumented.)

concrete production termListOne   (terms::TermList ::= t::QName )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TermList.sv line 14.

(Undocumented.)

concrete production termListCons   (terms::TermList ::= t::QName ',' terms_tail::TermList )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TermList.sv line 22.

(Undocumented.)

abstract production termList   (top::TermList ::= h::QName t::TermList )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TermList.sv line 31.

(Undocumented.)

abstract production termListNull   (top::TermList ::= )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/TermList.sv line 57.

(Undocumented.)

terminal Lexer_kwd

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/LexerClass.sv line 1.

(Undocumented.)

terminal Extends_kwd

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/LexerClass.sv line 3.

(Undocumented.)

terminal IdLexerClass_t

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/LexerClass.sv line 4.

(Undocumented.)

terminal IdLexerClassDcl_t

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/LexerClass.sv line 6.

(Undocumented.)

concrete production lexerClassDclEmpty   (top::AGDcl ::= 'lexer' 'class' id::Name ';' )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/LexerClass.sv line 9.

(Undocumented.)

concrete production lexerClassDecl   (top::AGDcl ::= 'lexer' 'class' id::Name modifiers::LexerClassModifiers ';' )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/LexerClass.sv line 17.

(Undocumented.)

nonterminal LexerClassModifiers

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/LexerClass.sv line 42.

(Undocumented.)

closed nonterminal LexerClassModifier

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/LexerClass.sv line 43.

(Undocumented.)

monoid attribute lexerClassModifiers :: [SyntaxLexerClassModifier]

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/LexerClass.sv line 45.

(Undocumented.)

abstract production lexerClassModifiersNone   (top::LexerClassModifiers ::= )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/LexerClass.sv line 51.

(Undocumented.)

concrete production lexerClassModifierSingle   (top::LexerClassModifiers ::= tm::LexerClassModifier )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/LexerClass.sv line 56.

(Undocumented.)

concrete production lexerClassModifiersCons   (top::LexerClassModifiers ::= h::LexerClassModifier ',' t::LexerClassModifiers )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/LexerClass.sv line 61.

(Undocumented.)

aspect default production top::LexerClassModifier ::= {#aspect_default_production_silver:compiler:modification:copper:LexerClassModifier}

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/LexerClass.sv line 67.

(Undocumented.)

concrete production lexerClassModifierExtends   (top::LexerClassModifier ::= 'extends' cls::LexerClasses )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/LexerClass.sv line 73.

(Undocumented.)

concrete production lexerClassModifierDominates   (top::LexerClassModifier ::= 'dominates' terms::TermPrecs )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/LexerClass.sv line 85.

(Undocumented.)

concrete production lexerClassModifierSubmitsTo   (top::LexerClassModifier ::= 'submits' 'to' terms::TermPrecs )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/LexerClass.sv line 96.

(Undocumented.)

concrete production lexerClassModifierDisambiguate   (top::LexerClassModifier ::= 'disambiguate' acode::ActionCode_c )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/LexerClass.sv line 107.

(Undocumented.)

terminal Disambiguation_kwd

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/DisambiguationGroup.sv line 1.

(Undocumented.)

concrete production disambiguationGroupDcl   (top::AGDcl ::= 'disambiguate' terms::TermList acode::ActionCode_c )

Contained in grammar [silver:compiler:modification:copper]. Defined at silver/compiler/modification/copper/DisambiguationGroup.sv line 5.

(Undocumented.)