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.)