Minnesota Extensible Language Tools Group

[silver:compiler:metatranslation]

Contents of [silver:compiler:metatranslation]:

Defined in this grammar:

function translate   (Expr ::= ast::AST )

Contained in grammar [silver:compiler:metatranslation]. Defined at silver/compiler/metatranslation/Translation.sv line 13.

(Undocumented.)

function translatePattern   (Pattern ::= ast::AST )

Contained in grammar [silver:compiler:metatranslation]. Defined at silver/compiler/metatranslation/Translation.sv line 20.

(Undocumented.)

synthesized attribute translation<a> :: a

Contained in grammar [silver:compiler:metatranslation]. Defined at silver/compiler/metatranslation/Translation.sv line 27.

(Undocumented.)

synthesized attribute patternTranslation<a> :: a

Contained in grammar [silver:compiler:metatranslation]. Defined at silver/compiler/metatranslation/Translation.sv line 28.

(Undocumented.)

synthesized attribute foundLocation :: Maybe<Location>

Contained in grammar [silver:compiler:metatranslation]. Defined at silver/compiler/metatranslation/Translation.sv line 29.

(Undocumented.)

inherited attribute givenLocation :: Location

Contained in grammar [silver:compiler:metatranslation]. Defined at silver/compiler/metatranslation/Translation.sv line 30.

(Undocumented.)

fun makeName   (Name ::= n::String loc::Location )

Contained in grammar [silver:compiler:metatranslation]. Defined at silver/compiler/metatranslation/Translation.sv line 336.

(Undocumented.)

function makeQName   (QName ::= n::String loc::Location )

Contained in grammar [silver:compiler:metatranslation]. Defined at silver/compiler/metatranslation/Translation.sv line 341.

(Undocumented.)

function makeQNameType   (QNameType ::= n::String loc::Location )

Contained in grammar [silver:compiler:metatranslation]. Defined at silver/compiler/metatranslation/Translation.sv line 352.

(Undocumented.)