[silver:compiler:modification:ffi:util]

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

Defined in this grammar:

fun substituteAll   (String ::= s::String names::[String] results::[String] )

Contained in grammar [silver:compiler:modification:ffi:util]. Defined at silver/compiler/modification/ffi/util/FFIUtil.sv line 8.

(Undocumented.)


fun wrapStrictNotation   (String ::= s::String )

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

(Undocumented.)


fun wrapLazyNotation   (String ::= s::String )

Contained in grammar [silver:compiler:modification:ffi:util]. Defined at silver/compiler/modification/ffi/util/FFIUtil.sv line 13.

(Undocumented.)


fun wrapContextNotation   (String ::= i::Integer )

Contained in grammar [silver:compiler:modification:ffi:util]. Defined at silver/compiler/modification/ffi/util/FFIUtil.sv line 14.

(Undocumented.)


fun cleanStringLexeme   (String ::= s::String )

Contained in grammar [silver:compiler:modification:ffi:util]. Defined at silver/compiler/modification/ffi/util/FFIUtil.sv line 16.

(Undocumented.)


function cleanStringEscapes   (String ::= s::String )

Contained in grammar [silver:compiler:modification:ffi:util]. Defined at silver/compiler/modification/ffi/util/FFIUtil.sv line 19.

(Undocumented.)