Minnesota Extensible Language Tools Group

[silver:compiler:modification:ffi]

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

Defined in this grammar:

concrete production ffiTypeDclLegacy   (top::AGDcl ::= 'type' id::Name tl::BracketedOptTypeExprs 'foreign' ';' )

Contained in grammar [silver:compiler:modification:ffi]. Defined at silver/compiler/modification/ffi/TypeDcl.sv line 10.

(Undocumented.)

concrete production ffiTypeDclUgly   (top::AGDcl ::= 'type' id::Name tl::BracketedOptTypeExprs 'foreign' '=' trans::String_t ';' )

Contained in grammar [silver:compiler:modification:ffi]. Defined at silver/compiler/modification/ffi/TypeDcl.sv line 33.

(Undocumented.)

terminal FFI_kwd

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

(Undocumented.)

nonterminal FFIDefs

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

(Undocumented.)

nonterminal FFIDef

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

(Undocumented.)

concrete production functionDclFFI   (top::AGDcl ::= 'function' id::Name ns::FunctionSignature body::ProductionBody 'foreign' '{' ffidefs::FFIDefs '}' )

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

(Undocumented.)

concrete production ffidefsOne   (top::FFIDefs ::= one::FFIDef )

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

(Undocumented.)

concrete production ffidefsMany   (top::FFIDefs ::= one::FFIDef more::FFIDefs )

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

(Undocumented.)

concrete production ffidef   (top::FFIDef ::= name::String_t ':' 'return' code::String_t ';' )

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

(Undocumented.)

abstract production foreignType   (top::Type ::= fn::String transType::String params::[Type] )

Contained in grammar [silver:compiler:modification:ffi]. Defined at silver/compiler/modification/ffi/Type.sv line 3.

(Undocumented.)

global ioForeignType

Contained in grammar [silver:compiler:modification:ffi]. Defined at silver/compiler/modification/ffi/Type.sv line 28.

(Undocumented.)