Minnesota Extensible Language Tools Group

[silver:rewrite]

Contents of [silver:rewrite]:

Defined in this grammar:

fun rewriteWith   (runtimeTypeable a => Maybe<a> ::= s::Strategy x::a )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 9.

(Undocumented.)

inherited attribute term :: AST

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 12.

(Undocumented.)

synthesized attribute result :: Maybe<AST>

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 13.

(Undocumented.)

nonterminal Strategy

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 15.

(Undocumented.)

abstract production id   (top::Strategy ::= )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 18.

(Undocumented.)

abstract production fail   (top::Strategy ::= )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 25.

(Undocumented.)

abstract production sequence   (top::Strategy ::= s1::Strategy s2::Strategy )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 32.

(Undocumented.)

abstract production choice   (top::Strategy ::= s1::Strategy s2::Strategy )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 41.

(Undocumented.)

global choice_

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 50.

(Undocumented.)

abstract production all   (top::Strategy ::= s::Strategy )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 58.

(Undocumented.)

abstract production some   (top::Strategy ::= s::Strategy )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 67.

(Undocumented.)

abstract production one   (top::Strategy ::= s::Strategy )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 76.

(Undocumented.)

abstract production traversal   (top::Strategy ::= prodName::String childStrategies::[Strategy] annotationStrategies::[Pair<String Strategy>] )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 85.

(Undocumented.)

abstract production consListCongruence   (top::Strategy ::= h::Strategy t::Strategy )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 100.

(Undocumented.)

abstract production nilListCongruence   (top::Strategy ::= )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 110.

(Undocumented.)

abstract production rewriteRule   (top::Strategy ::= pattern::ASTPattern result::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 119.

(Undocumented.)

abstract production require   (top::Strategy ::= pattern::ASTPattern cond::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 128.

(Undocumented.)

abstract production requireType   (top::Strategy ::= fn::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 147.

(Undocumented.)

abstract production printTerm   (top::Strategy ::= )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 160.

(Undocumented.)

abstract production rec   (top::Strategy ::= ctr::(Strategy ::= Strategy) )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 168.

(Undocumented.)

abstract production try   (top::Strategy ::= s::Strategy )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 175.

(Undocumented.)

abstract production repeat   (top::Strategy ::= s::Strategy )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 182.

(Undocumented.)

abstract production reduce   (top::Strategy ::= s::Strategy )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 189.

(Undocumented.)

abstract production bottomUp   (top::Strategy ::= s::Strategy )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 196.

(Undocumented.)

abstract production topDown   (top::Strategy ::= s::Strategy )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 203.

(Undocumented.)

abstract production downUp   (top::Strategy ::= s1::Strategy s2::Strategy )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 210.

(Undocumented.)

abstract production allBottomUp   (top::Strategy ::= s::Strategy )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 217.

(Undocumented.)

abstract production allTopDown   (top::Strategy ::= s::Strategy )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 224.

(Undocumented.)

abstract production allDownUp   (top::Strategy ::= s1::Strategy s2::Strategy )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 231.

(Undocumented.)

abstract production someBottomUp   (top::Strategy ::= s::Strategy )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 238.

(Undocumented.)

abstract production someTopDown   (top::Strategy ::= s::Strategy )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 245.

(Undocumented.)

abstract production someDownUp   (top::Strategy ::= s1::Strategy s2::Strategy )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 252.

(Undocumented.)

abstract production onceBottomUp   (top::Strategy ::= s::Strategy )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 259.

(Undocumented.)

abstract production onceTopDown   (top::Strategy ::= s::Strategy )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 266.

(Undocumented.)

abstract production onceDownUp   (top::Strategy ::= s1::Strategy s2::Strategy )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 273.

(Undocumented.)

abstract production innermost   (top::Strategy ::= s::Strategy )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 280.

(Undocumented.)

abstract production outermost   (top::Strategy ::= s::Strategy )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/Strategy.sv line 287.

(Undocumented.)

inherited attribute givenStrategy :: Strategy

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/AST.sv line 5.

(Undocumented.)

synthesized attribute allResult<a> :: Maybe<a>

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/AST.sv line 6.

(Undocumented.)

synthesized attribute someResult<a> :: Maybe<a>

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/AST.sv line 7.

(Undocumented.)

synthesized attribute oneResult<a> :: Maybe<a>

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/AST.sv line 8.

(Undocumented.)

inherited attribute productionName :: String

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/AST.sv line 10.

(Undocumented.)

inherited attribute childStrategies :: [Strategy]

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/AST.sv line 11.

(Undocumented.)

inherited attribute annotationStrategies :: [Pair<String Strategy>]

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/AST.sv line 12.

(Undocumented.)

synthesized attribute traversalResult<a> :: Maybe<a>

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/AST.sv line 13.

(Undocumented.)

inherited attribute headStrategy :: Strategy

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/AST.sv line 14.

(Undocumented.)

inherited attribute tailStrategy :: Strategy

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/AST.sv line 15.

(Undocumented.)

synthesized attribute consListCongruenceResult :: Maybe<AST>

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/AST.sv line 16.

(Undocumented.)

synthesized attribute nilListCongruenceResult :: Maybe<AST>

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/AST.sv line 17.

(Undocumented.)

aspect default production top::AST ::= {#aspect_default_production_silver:core:AST}

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/AST.sv line 26.

(Undocumented.)

synthesized attribute bindings :: [Pair<String AST>]

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/AST.sv line 193.

(Undocumented.)

synthesized attribute binding :: Pair<String AST>

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/AST.sv line 242.

(Undocumented.)

inherited attribute matchWith<a> :: a

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTPattern.sv line 3.

(Undocumented.)

synthesized attribute substitution :: Maybe<[Pair<String AST>]>

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTPattern.sv line 4.

(Undocumented.)

nonterminal ASTPattern

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTPattern.sv line 6.

(Undocumented.)

abstract production prodCallASTPattern   (top::ASTPattern ::= prodName::String children::ASTPatterns annotations::NamedASTPatterns )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTPattern.sv line 9.

(Undocumented.)

abstract production consListASTPattern   (top::ASTPattern ::= h::ASTPattern t::ASTPattern )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTPattern.sv line 28.

(Undocumented.)

abstract production nilListASTPattern   (top::ASTPattern ::= )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTPattern.sv line 47.

(Undocumented.)

abstract production listASTPattern   (top::ASTPattern ::= vals::ASTPatterns )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTPattern.sv line 58.

(Undocumented.)

abstract production stringASTPattern   (top::ASTPattern ::= s::String )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTPattern.sv line 66.

(Undocumented.)

abstract production integerASTPattern   (top::ASTPattern ::= i::Integer )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTPattern.sv line 77.

(Undocumented.)

abstract production floatASTPattern   (top::ASTPattern ::= f::Float )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTPattern.sv line 88.

(Undocumented.)

abstract production booleanASTPattern   (top::ASTPattern ::= b::Boolean )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTPattern.sv line 99.

(Undocumented.)

abstract production varASTPattern   (top::ASTPattern ::= n::String )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTPattern.sv line 111.

(Undocumented.)

abstract production wildASTPattern   (top::ASTPattern ::= )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTPattern.sv line 118.

(Undocumented.)

synthesized attribute astPatterns :: [ASTPattern]

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTPattern.sv line 125.

(Undocumented.)

nonterminal ASTPatterns

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTPattern.sv line 127.

(Undocumented.)

abstract production consASTPattern   (top::ASTPatterns ::= h::ASTPattern t::ASTPatterns )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTPattern.sv line 129.

(Undocumented.)

abstract production nilASTPattern   (top::ASTPatterns ::= )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTPattern.sv line 149.

(Undocumented.)

function appendASTPatterns   (ASTPatterns ::= a::ASTPatterns b::ASTPatterns )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTPattern.sv line 161.

(Undocumented.)

nonterminal NamedASTPatterns

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTPattern.sv line 171.

(Undocumented.)

abstract production consNamedASTPattern   (top::NamedASTPatterns ::= h::NamedASTPattern t::NamedASTPatterns )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTPattern.sv line 173.

(Undocumented.)

abstract production nilNamedASTPattern   (top::NamedASTPatterns ::= )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTPattern.sv line 188.

(Undocumented.)

function appendNamedASTPatterns   (NamedASTPatterns ::= a::NamedASTPatterns b::NamedASTPatterns )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTPattern.sv line 195.

(Undocumented.)

nonterminal NamedASTPattern

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTPattern.sv line 205.

(Undocumented.)

abstract production namedASTPattern   (top::NamedASTPattern ::= n::String v::ASTPattern )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTPattern.sv line 207.

(Undocumented.)

inherited attribute substitutionEnv :: [Pair<String AST>]

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 6.

(Undocumented.)

synthesized attribute value :: AST

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 7.

(Undocumented.)

nonterminal ASTExpr

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 9.

(Undocumented.)

abstract production prodCallASTExpr   (top::ASTExpr ::= prodName::String children::ASTExprs annotations::NamedASTExprs )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 13.

(Undocumented.)

abstract production consListASTExpr   (top::ASTExpr ::= h::ASTExpr t::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 24.

(Undocumented.)

abstract production nilListASTExpr   (top::ASTExpr ::= )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 35.

(Undocumented.)

abstract production listASTExpr   (top::ASTExpr ::= vals::ASTExprs )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 42.

(Undocumented.)

abstract production stringASTExpr   (top::ASTExpr ::= s::String )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 50.

(Undocumented.)

abstract production integerASTExpr   (top::ASTExpr ::= i::Integer )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 57.

(Undocumented.)

abstract production floatASTExpr   (top::ASTExpr ::= f::Float )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 64.

(Undocumented.)

abstract production booleanASTExpr   (top::ASTExpr ::= b::Boolean )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 71.

(Undocumented.)

abstract production terminalASTExpr   (top::ASTExpr ::= terminalName::String lexeme::ASTExpr location::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 78.

(Undocumented.)

abstract production anyASTExpr   (top::ASTExpr ::= x::a )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 89.

(Undocumented.)

abstract production varASTExpr   (top::ASTExpr ::= n::String )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 97.

(Undocumented.)

abstract production missingArgASTExpr   (top::ASTExpr ::= )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 107.

(Undocumented.)

abstract production applyASTExpr   (top::ASTExpr ::= f::ASTExpr args::ASTExprs namedArgs::NamedASTExprs )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 115.

(Undocumented.)

abstract production andASTExpr   (top::ASTExpr ::= a::ASTExpr b::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 126.

(Undocumented.)

abstract production orASTExpr   (top::ASTExpr ::= a::ASTExpr b::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 138.

(Undocumented.)

abstract production notASTExpr   (top::ASTExpr ::= a::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 150.

(Undocumented.)

abstract production gtASTExpr   (top::ASTExpr ::= a::ASTExpr b::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 161.

(Undocumented.)

abstract production ltASTExpr   (top::ASTExpr ::= a::ASTExpr b::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 174.

(Undocumented.)

abstract production gteqASTExpr   (top::ASTExpr ::= a::ASTExpr b::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 187.

(Undocumented.)

abstract production lteqASTExpr   (top::ASTExpr ::= a::ASTExpr b::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 200.

(Undocumented.)

abstract production eqeqASTExpr   (top::ASTExpr ::= a::ASTExpr b::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 213.

(Undocumented.)

abstract production neqASTExpr   (top::ASTExpr ::= a::ASTExpr b::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 227.

(Undocumented.)

abstract production ifThenElseASTExpr   (top::ASTExpr ::= c::ASTExpr t::ASTExpr e::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 241.

(Undocumented.)

abstract production noteAttachmentASTExpr   (top::ASTExpr ::= a::ASTExpr b::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 253.

(Undocumented.)

abstract production plusASTExpr   (top::ASTExpr ::= a::ASTExpr b::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 263.

(Undocumented.)

abstract production multiplyASTExpr   (top::ASTExpr ::= a::ASTExpr b::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 275.

(Undocumented.)

abstract production minusASTExpr   (top::ASTExpr ::= a::ASTExpr b::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 287.

(Undocumented.)

abstract production divideASTExpr   (top::ASTExpr ::= a::ASTExpr b::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 299.

(Undocumented.)

abstract production modulusASTExpr   (top::ASTExpr ::= a::ASTExpr b::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 311.

(Undocumented.)

abstract production negASTExpr   (top::ASTExpr ::= a::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 323.

(Undocumented.)

abstract production appendASTExpr   (top::ASTExpr ::= a::ASTExpr b::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 335.

(Undocumented.)

abstract production letASTExpr   (top::ASTExpr ::= a::NamedASTExprs body::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 347.

(Undocumented.)

abstract production lengthASTExpr   (top::ASTExpr ::= a::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 357.

(Undocumented.)

abstract production toIntegerASTExpr   (top::ASTExpr ::= a::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 369.

(Undocumented.)

abstract production toBooleanASTExpr   (top::ASTExpr ::= a::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 383.

(Undocumented.)

abstract production toFloatASTExpr   (top::ASTExpr ::= a::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 397.

(Undocumented.)

abstract production toStringASTExpr   (top::ASTExpr ::= a::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 411.

(Undocumented.)

abstract production matchASTExpr   (top::ASTExpr ::= e::ASTExpr pattern::ASTPattern res::ASTExpr fail::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 426.

(Undocumented.)

abstract production rewriteASTExpr   (top::ASTExpr ::= s::ASTExpr e::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 438.

(Undocumented.)

synthesized attribute astExprs :: [ASTExpr]

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 453.

(Undocumented.)

synthesized attribute values :: [AST]

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 454.

(Undocumented.)

synthesized attribute appValues :: [Maybe<AST>]

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 455.

(Undocumented.)

nonterminal ASTExprs

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 457.

(Undocumented.)

abstract production consASTExpr   (top::ASTExprs ::= h::ASTExpr t::ASTExprs )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 460.

(Undocumented.)

abstract production nilASTExpr   (top::ASTExprs ::= )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 473.

(Undocumented.)

function appendASTExprs   (ASTExprs ::= a::ASTExprs b::ASTExprs )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 482.

(Undocumented.)

synthesized attribute namedValues :: [NamedAST]

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 492.

(Undocumented.)

synthesized attribute namedAppValues :: [Pair<String Maybe<AST>>]

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 493.

(Undocumented.)

nonterminal NamedASTExprs

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 495.

(Undocumented.)

abstract production consNamedASTExpr   (top::NamedASTExprs ::= h::NamedASTExpr t::NamedASTExprs )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 498.

(Undocumented.)

abstract production nilNamedASTExpr   (top::NamedASTExprs ::= )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 506.

(Undocumented.)

function appendNamedASTExprs   (NamedASTExprs ::= a::NamedASTExprs b::NamedASTExprs )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 514.

(Undocumented.)

synthesized attribute namedValue :: NamedAST

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 524.

(Undocumented.)

synthesized attribute namedAppValue :: Pair<String Maybe<AST>>

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 525.

(Undocumented.)

nonterminal NamedASTExpr

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 527.

(Undocumented.)

abstract production namedASTExpr   (top::NamedASTExpr ::= n::String v::ASTExpr )

Contained in grammar [silver:rewrite]. Defined at silver/rewrite/ASTExpr.sv line 530.

(Undocumented.)