lifeio.dcl

DEFINITION MODULE lifeio;
IMPORT deltaFile,lifepoint;

RULE
:: FWriteL ![STRING] !UNQ FILE -> UNQ FILE;
:: FCloseStd !UNQ FILE !FILES -> (!BOOL, !FILES);      
:: SReadPtsList !FILE -> PntList;
:: ReadPtsList !UNQ FILE -> (!PntList, !UNQ FILE);
:: WritePtsList !PntList !UNQ FILE -> UNQ FILE;
:: WritePS !STRING !Rect !PntList !UNQ FILE -> UNQ FILE; 

Back to tutorial