Minnesota Extensible Language Tools Group

[silver:compiler:modification:let_fix:java]

Contents of [silver:compiler:modification:let_fix:java]:

Defined in this grammar:

synthesized attribute let_translation :: String

Contained in grammar [silver:compiler:modification:let_fix:java]. Defined at silver/compiler/modification/let_fix/java/Let.sv line 33.

(Undocumented.)

fun makeLocalValueName   (String ::= s::String )

Contained in grammar [silver:compiler:modification:let_fix:java]. Defined at silver/compiler/modification/let_fix/java/Let.sv line 37.

(Undocumented.)

fun makeSpecialLocalBinding   (String ::= fn::String et::String ty::String )

Contained in grammar [silver:compiler:modification:let_fix:java]. Defined at silver/compiler/modification/let_fix/java/Let.sv line 56.

(Undocumented.)