wincontrol.dcl

DEFINITION MODULE wincontrol;
IMPORT winhead;

RULE
:: TheControl DialogItemId ItemPos RunState Lifestate DialogItemId
                                                -> DialogItem State IO;
:: ControlApplyButton !DialogId !DialogItemId !ControlState
            !DialogItemId !State !IO -> (!State, !IO);
:: ChangeTheControl !DialogItemId !RunState
            !Lifestate !(DialogState State IO) -> DialogState State IO;

UpBack to tutorial