winmisc.dcl

DEFINITION MODULE winmisc;
IMPORT lifemisc, deltaEventIO, deltaIOSystem;
FROM deltaPicture IMPORT Point, Rectangle;
FROM deltaFont IMPORT FontName, FontStyle, FontSize;

MACRO Half x -> SHIFTR% x 1;

RULE
:: Message [STRING] !s !(IOState s) -> (!s, !IOState s);
:: Error STRING !s !(IOState s) -> (!s, !IOState s);
:: Crash STRING !s !(IOState s) -> (!s, !IOState s);
:: Verify STRING (=> s (=> (IOState s) (s, IOState s)))
				!s !(IOState s) -> (!s, !IOState s);
:: ExtendToState !(=> (IOState s) (IOState s)) 
			!s !(IOState s) -> (!s, !IOState s);

:: BTOMarkState !BOOL -> MarkState;
:: BTOSelectState !BOOL -> SelectState;

:: DrawText !Rectangle !FontName ![FontStyle] !FontSize 
			!Point ![STRING] !Picture -> Picture;
:: TextWindow WindowId WindowPos WindowTitle InitialWindowSize
	FontName [FontStyle] FontSize [STRING] -> WindowDef UNQ s UNQ io;

UpBack to tutorial