Language

This module contains routines handling with the MAL interpreter itself.

MODULE language;

UNSAFE COMMAND language.assert(X_0:bit, X_1:str):void;
COMMENT "";

UNSAFE COMMAND language.assert(X_0:int, X_1:str):void;
COMMENT "";

UNSAFE COMMAND language.assert(X_0:lng, X_1:str):void;
COMMENT "";

UNSAFE COMMAND language.assert(X_0:oid, X_1:str):void;
COMMENT "";

UNSAFE COMMAND language.assert(X_0:sht, X_1:str):void;
COMMENT "";

UNSAFE COMMAND language.assert(X_0:str, X_1:str):void;
COMMENT "";

UNSAFE PATTERN language.assert(X_0:any_1, X_1:str, X_2:str, X_3:any_2):void;
COMMENT "Assertion test.";

PATTERN language.block(X_0:int, X_1:any...):int;
COMMENT "Block on availability of all variables w, and then pass on v";

PATTERN language.call(X_0:bat[:str]):void;
COMMENT "Evaluate a program stored in a BAT.";

PATTERN language.call(X_0:str, X_1:str):void;
COMMENT "";

PATTERN language.call(X_0:str):void;
COMMENT "Evaluate a MAL string program.";

PATTERN language.dataflow():bit;
COMMENT "The current guarded block is executed using dataflow control.";

PATTERN language.pass(X_0:any_1):void;
COMMENT "Cheap instruction to disgard storage while retaining the dataflow dependency";

UNSAFE COMMAND language.raise(X_0:str):str;
COMMENT "Raise an exception labeled \nwith a specific message.";

PATTERN language.register(X_0:str, X_1:str, X_2:str, X_3:str):void;
COMMENT "Compile the code string to MAL and register it as a function.";

PATTERN language.sink(X_0:any...):void;
COMMENT "Variables to be considered together when triggering garbage collection.\nUsed in the dataflow blocks to avoid early release of values.";

PATTERN language.source(X_0:str):void;
COMMENT "Merge the instructions stored in the file with the current program.";