Minnesota Extensible Language Tools Group

[silver:compiler:translation:java:type]

Contents of [silver:compiler:translation:java:type]:

Defined in this grammar:

synthesized attribute transContexts :: [String]

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Context.sv line 7.

(Undocumented.)

synthesized attribute transTypeableContexts :: [String]

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Context.sv line 8.

(Undocumented.)

synthesized attribute transContextSuperAccessors :: String

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Context.sv line 9.

(Undocumented.)

synthesized attribute transContext :: String

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Context.sv line 27.

(Undocumented.)

synthesized attribute transTypeableContext :: String

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Context.sv line 28.

(Undocumented.)

synthesized attribute transContextDummyInit :: String

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Context.sv line 29.

(Undocumented.)

synthesized attribute transContextMemberName :: String

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Context.sv line 31.

(Undocumented.)

synthesized attribute transContextSuperAccessorName :: String

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Context.sv line 32.

(Undocumented.)

synthesized attribute transContextSuperAccessor :: String

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Context.sv line 33.

(Undocumented.)

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

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Context.sv line 35.

(Undocumented.)

inherited attribute transContextDeps :: [String]

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Context.sv line 171.

(Undocumented.)

function makeConstraintDictName   (String ::= s::String t::Type tvs::[TyVar] )

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Context.sv line 239.

(Undocumented.)

function makeTypeableName   (String ::= t::Type tvs::[TyVar] )

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Context.sv line 246.

(Undocumented.)

function makeInhSubsetName   (String ::= i1::Type i2::Type tvs::[TyVar] )

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Context.sv line 253.

(Undocumented.)

fun makeInstanceSuperAccessorName   (String ::= s::String )

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Context.sv line 261.

(Undocumented.)

synthesized attribute transType :: String

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Type.sv line 7.

(Undocumented.)

synthesized attribute transCovariantType :: String

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Type.sv line 10.

(Undocumented.)

synthesized attribute transClassType :: String

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Type.sv line 14.

(Undocumented.)

inherited attribute skolemTypeReps :: [(TyVar,String)]

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Type.sv line 16.

(Undocumented.)

synthesized attribute transTypeRep :: String

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Type.sv line 18.

(Undocumented.)

synthesized attribute transTypeName :: String

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Type.sv line 20.

(Undocumented.)

function transFreshTypeRep   (String ::= t::Type )

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Type.sv line 22.

(Undocumented.)

function transTypeRepWith   (String ::= t::Type skolemTypeReps::[(TyVar,String)] )

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Type.sv line 29.

(Undocumented.)

function transTypeName   (String ::= te::Type )

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Type.sv line 36.

(Undocumented.)

function transTypeNameWith   (String ::= te::Type tvs::[TyVar] )

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Type.sv line 43.

(Undocumented.)

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

Contained in grammar [silver:compiler:translation:java:type]. Defined at silver/compiler/translation/java/type/Type.sv line 53.

(Undocumented.)