inherited attribute leftOpTranslation :: String
Contained in grammar [silver:compiler:modification:collection:java]
. Defined at silver/compiler/modification/collection/java/Collection.sv line 38.
(Undocumented.)
inherited attribute rightOpTranslation :: String
Contained in grammar [silver:compiler:modification:collection:java]
. Defined at silver/compiler/modification/collection/java/Collection.sv line 39.
(Undocumented.)
fun makeCAClassName
(String ::= s::String
)
Contained in grammar [silver:compiler:modification:collection:java]
. Defined at silver/compiler/modification/collection/java/Collection.sv line 253.
(Undocumented.)