Minnesota Extensible Language Tools Group

[silver:compiler:extension:tuple]

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

Defined in this grammar:

nonterminal TuplePatternList

Contained in grammar [silver:compiler:extension:tuple]. Defined at silver/compiler/extension/tuple/PatternMatching.sv line 2.

(Undocumented.)

concrete production emptyTuplePattern   (top::Pattern ::= '(' ')' )

Contained in grammar [silver:compiler:extension:tuple]. Defined at silver/compiler/extension/tuple/PatternMatching.sv line 4.

(Undocumented.)

concrete production tuplePattern   (top::Pattern ::= '(' ts::TuplePatternList ')' )

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

(Undocumented.)

synthesized attribute asTuplePattern :: Pattern

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

(Undocumented.)

concrete production patternTuple_two   (top::TuplePatternList ::= fst::Pattern ',' snd::Pattern )

Contained in grammar [silver:compiler:extension:tuple]. Defined at silver/compiler/extension/tuple/PatternMatching.sv line 22.

(Undocumented.)

concrete production patternTuple_more   (top::TuplePatternList ::= fst::Pattern ',' snd::TuplePatternList )

Contained in grammar [silver:compiler:extension:tuple]. Defined at silver/compiler/extension/tuple/PatternMatching.sv line 29.

(Undocumented.)

terminal IntConst

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

(Undocumented.)

nonterminal TupleList

Contained in grammar [silver:compiler:extension:tuple]. Defined at silver/compiler/extension/tuple/Tuple.sv line 17.

(Undocumented.)

synthesized attribute translation :: Expr

Contained in grammar [silver:compiler:extension:tuple]. Defined at silver/compiler/extension/tuple/Tuple.sv line 21.

(Undocumented.)

concrete production emptyTuple   (top::Expr ::= '(' ')' )

Contained in grammar [silver:compiler:extension:tuple]. Defined at silver/compiler/extension/tuple/Tuple.sv line 23.

(Undocumented.)

concrete production tupleExpr   (top::Expr ::= '(' tl::TupleList ')' )

Contained in grammar [silver:compiler:extension:tuple]. Defined at silver/compiler/extension/tuple/Tuple.sv line 31.

(Undocumented.)

concrete production selector   (top::Expr ::= tuple::Expr '.' a::IntConst )

Contained in grammar [silver:compiler:extension:tuple]. Defined at silver/compiler/extension/tuple/Tuple.sv line 46.

(Undocumented.)

abstract production select   (top::Expr ::= exp::Expr i::Integer a::Integer len::Integer )

Contained in grammar [silver:compiler:extension:tuple]. Defined at silver/compiler/extension/tuple/Tuple.sv line 68.

(Undocumented.)

concrete production tupleList_2Elements   (top::TupleList ::= fst::Expr ',' snd::Expr )

Contained in grammar [silver:compiler:extension:tuple]. Defined at silver/compiler/extension/tuple/Tuple.sv line 85.

(Undocumented.)

concrete production tupleList_nElements   (top::TupleList ::= fst::Expr ',' snd::TupleList )

Contained in grammar [silver:compiler:extension:tuple]. Defined at silver/compiler/extension/tuple/Tuple.sv line 93.

(Undocumented.)

nonterminal ListOfTypeExprs

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

(Undocumented.)

synthesized attribute te_translation :: TypeExpr

Contained in grammar [silver:compiler:extension:tuple]. Defined at silver/compiler/extension/tuple/Type.sv line 10.

(Undocumented.)

synthesized attribute tupleElems :: [Type]

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

(Undocumented.)

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

Contained in grammar [silver:compiler:extension:tuple]. Defined at silver/compiler/extension/tuple/Type.sv line 19.

(Undocumented.)

abstract production tupleType   (top::Type ::= ts::[Type] )

Contained in grammar [silver:compiler:extension:tuple]. Defined at silver/compiler/extension/tuple/Type.sv line 63.

(Undocumented.)

concrete production emptyTupleTypeExpr   (top::TypeExpr ::= '(' ')' )

Contained in grammar [silver:compiler:extension:tuple]. Defined at silver/compiler/extension/tuple/Type.sv line 89.

(Undocumented.)

concrete production tupleTypeExpr   (top::TypeExpr ::= '(' tes::ListOfTypeExprs ')' )

Contained in grammar [silver:compiler:extension:tuple]. Defined at silver/compiler/extension/tuple/Type.sv line 97.

(Undocumented.)

concrete production tupleTypeExpr2   (top::ListOfTypeExprs ::= te1::TypeExpr ',' te2::TypeExpr )

Contained in grammar [silver:compiler:extension:tuple]. Defined at silver/compiler/extension/tuple/Type.sv line 105.

(Undocumented.)

concrete production tupleTypeExprn   (top::ListOfTypeExprs ::= te::TypeExpr ',' tes::ListOfTypeExprs )

Contained in grammar [silver:compiler:extension:tuple]. Defined at silver/compiler/extension/tuple/Type.sv line 112.

(Undocumented.)