[silver:compiler:modification:ffi:java]

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

Defined in this grammar:

synthesized attribute ffiTranslationString :: [String]

Contained in grammar [silver:compiler:modification:ffi:java]. Defined at silver/compiler/modification/ffi/java/FunctionDcl.sv line 12.

(Undocumented.)


function strictChildAccessor   (String ::= ns::NamedSignatureElement )

Contained in grammar [silver:compiler:modification:ffi:java]. Defined at silver/compiler/modification/ffi/java/FunctionDcl.sv line 32.

(Undocumented.)


fun computeSigTranslation   (String ::= str::String sig::NamedSignature )

Contained in grammar [silver:compiler:modification:ffi:java]. Defined at silver/compiler/modification/ffi/java/FunctionDcl.sv line 41.

(Undocumented.)