Procedure

Procedures are the mean to import and use external code into IF specifications. They are intended to describe intensive data transformation, executed without interaction in some instance. Procedure specifications include their signature (procedure name, formal parameters, return type) and respectively their actual code (written directly in the external language).

xxxxxxxxxxxxxxxxxxprocedure-decl ::=  

procedure procedure-id ; 

$[$ fpar fpar-decl { , fpar-decl }$^*$ ; $]$ 

$[$ returns type-id ; $]$ 

$[$ {# c code #} $]$ 

endprocedure ;