Minnesota Extensible Language Tools Group

[silver:compiler:extension:rewriting]

Contents of [silver:compiler:extension:rewriting]:

Defined in this grammar:

synthesized attribute transform<a> :: a

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Pattern.sv line 3.

(Undocumented.)

synthesized attribute isPolymorphic :: Boolean

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Pattern.sv line 33.

(Undocumented.)

inherited attribute typeHasUniversalVars :: Boolean

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Pattern.sv line 34.

(Undocumented.)

inherited attribute typesHaveUniversalVars :: [Boolean]

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Pattern.sv line 35.

(Undocumented.)

inherited attribute namedTypesHaveUniversalVars :: [(String,Boolean)]

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Pattern.sv line 36.

(Undocumented.)

synthesized attribute wrappedMatchRuleList :: [AbstractMatchRule]

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Pattern.sv line 38.

(Undocumented.)

inherited attribute decRuleExprsIn :: [(String,Decorated Expr with {decorate, decSiteVertexInfo, boundVars})]

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Pattern.sv line 40.

(Undocumented.)

inherited attribute ruleIndex :: Integer

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Pattern.sv line 41.

(Undocumented.)

abstract production hackWrapKey   (top::Expr ::= key::String e::Expr )

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Pattern.sv line 146.

(Undocumented.)

synthesized attribute firstTransform :: ASTPattern

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Pattern.sv line 161.

(Undocumented.)

synthesized attribute varBindings :: [Pair<String Boolean>]

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Pattern.sv line 394.

(Undocumented.)

terminal Sequence_t

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Rewriting.sv line 20.

(Undocumented.)

terminal Choice_t

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Rewriting.sv line 25.

(Undocumented.)

concrete production sequenceOperator   (top::Expr ::= s1::Expr '<*' s2::Expr )

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Rewriting.sv line 28.

(Undocumented.)

concrete production choiceOperator   (top::Expr ::= s1::Expr '<+' s2::Expr )

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Rewriting.sv line 35.

(Undocumented.)

terminal Traverse_t

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Rewriting.sv line 40.

(Undocumented.)

concrete production traverseProdExprAnno   (top::Expr ::= 'traverse' n::QName '(' es::AppExprs ',' anns::AnnoAppExprs ')' )

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Rewriting.sv line 45.

(Undocumented.)

concrete production traverseProdAnno   (top::Expr ::= 'traverse' n::QName '(' anns::AnnoAppExprs ')' )

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Rewriting.sv line 74.

(Undocumented.)

concrete production traverseProdExpr   (top::Expr ::= 'traverse' n::QName '(' es::AppExprs ')' )

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Rewriting.sv line 79.

(Undocumented.)

concrete production traverseProdEmpty   (top::Expr ::= 'traverse' n::QName '(' ')' )

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Rewriting.sv line 84.

(Undocumented.)

abstract production traverseConsList   (top::Expr ::= 'traverse' '(' h::AppExpr '::' t::AppExpr ')' )

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Rewriting.sv line 90.

(Undocumented.)

concrete production traverseConsListFirstMissing   (top::Expr ::= 'traverse' '(' h::'_' '::' t::AppExpr ')' )

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Rewriting.sv line 98.

(Undocumented.)

concrete production traverseConsListFirstPresent   (top::Expr ::= 'traverse' '(' h::Expr '::' t::AppExpr ')' )

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Rewriting.sv line 103.

(Undocumented.)

concrete production traverseNilList   (top::Expr ::= 'traverse' '[' ']' )

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Rewriting.sv line 109.

(Undocumented.)

concrete production traverseList   (top::Expr ::= 'traverse' '[' es::AppExprs ']' )

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Rewriting.sv line 118.

(Undocumented.)

synthesized attribute traverseErrors :: [Message]

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Rewriting.sv line 128.

(Undocumented.)

synthesized attribute traverseTransform<a> :: a

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Rewriting.sv line 129.

(Undocumented.)

terminal Rule_t

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Rewriting.sv line 190.

(Undocumented.)

concrete production ruleExpr   (top::Expr ::= 'rule' 'on' ty::TypeExpr 'of' Opt_Vbar_t ml::MRuleList 'end' )

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Rewriting.sv line 194.

(Undocumented.)

abstract production hackExprType   (top::Expr ::= t::Type )

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Rewriting.sv line 266.

(Undocumented.)

abstract production antiquoteASTExpr   (top::ASTExpr ::= e::Expr )

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Rewriting.sv line 274.

(Undocumented.)

abstract production antiquoteStrategy   (top::Strategy ::= e::Expr )

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Rewriting.sv line 281.

(Undocumented.)

global builtin

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Rewriting.sv line 296.

(Undocumented.)

inherited attribute boundVars :: [Pair<String Boolean>]

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Expr.sv line 5.

(Undocumented.)

synthesized attribute decRuleExprs :: [(String,Decorated Expr with {decorate, decSiteVertexInfo, boundVars})]

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Expr.sv line 11.

(Undocumented.)

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

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Expr.sv line 13.

(Undocumented.)

synthesized attribute isPrimitive :: Boolean

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Expr.sv line 171.

(Undocumented.)

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

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Expr.sv line 177.

(Undocumented.)

synthesized attribute lambdaParams :: LambdaRHS

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Expr.sv line 437.

(Undocumented.)

monoid attribute bodyExprInhTransform

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Expr.sv line 438.

(Undocumented.)

synthesized attribute lambdaParam :: LambdaRHSElem

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Expr.sv line 464.

(Undocumented.)

synthesized attribute lambdaParamRefs :: Exprs

Contained in grammar [silver:compiler:extension:rewriting]. Defined at silver/compiler/extension/rewriting/Expr.sv line 655.

(Undocumented.)