mainform.pro

Visual Prolog 7.1的一些学习资料,希望对您有用

/*****************************************************************************

                        Copyright (c) Prolog Development Center A/S

******************************************************************************/

implement mainForm
    inherits formWindow
    open core, vpiDomains, resourceIdentifiers

constants
    className = "TaskWindow/mainForm".
    classVersion = "".

clauses
    classInfo(className, classVersion).

clauses
    new(Parent):-
        formWindow::new(Parent),
        generatedInitialize(),
        modal_ctl:setCheckedState(checkButton::checked).

predicates
    onShow : window::showListener.
clauses
    onShow(_, _CreationData).

predicates
    onDestroy : window::destroyListener.
clauses
    onDestroy(_).

predicates
    onSizeChanged : window::sizeListener.
clauses
    onSizeChanged(_):-
        vpiToolbar::resize(getVPIWindow()).

predicates
    onClickResponderDemo : button::clickResponder.
clauses
    onClickResponderDemo(_Source) = button::defaultAction() :-
        D = clickResponderDemo::new(This),
        D:setModal(toBoolean(modal_ctl:getCheckedState() = checkButton::checked)),
        D:show().

predicates
    onOkAndCancelDemo : button::clickResponder.
clauses
    onOkAndCancelDemo(_Source) = button::defaultAction() :-
        D = okButtonDemo::new(This),
        D:setModal(toBoolean(modal_ctl:getCheckedState() = checkButton::checked)),
        D:show().

predicates
    onDefaultButtonDemo : button::clickResponder.
clauses
    onDefaultButtonDemo(_Source) = button::defaultAction() :-
        D = defaultButtonDemo::new(This),
        D:setModal(toBoolean(modal_ctl:getCheckedState() = checkButton::checked)),
        D:show().

predicates
    onClose : frameDecoration::closeResponder.
clauses
    onClose(_Source) = frameDecoration::denyClose.

% This code is maintained by the VDE do not update it manually, 13:02:34-5.11.2004
facts
    clickResponderDemo_ctl : button.
    okAndCancelDemo_ctl : button.
    defaultButtonDemo_ctl : button.
    modal_ctl : checkButton.

predicates
    generatedInitialize : ().
clauses
    generatedInitialize():-
        setFont(vpi::fontCreateByName("MS Sans Serif", 8)),
        setText("MainForm"),
        setRect(rct(0,0,360,112)),
        setDecoration(frameDecoration::none()),
        setBorder(sizeBorder()),
        setState([wsf_ClipSiblings,wsf_ClipChildren]),
        menuSet(noMenu),
        DemoDialogs_ctl = groupBox::new(This),
        DemoDialogs_ctl:setText("Demo dialogs:"),
        DemoDialogs_ctl:setPosition(8, 8),
        DemoDialogs_ctl:setSize(344, 92),
        clickResponderDemo_ctl := button::new(DemoDialogs_ctl),
        clickResponderDemo_ctl:setText("Click Responder Demo"),
        clickResponderDemo_ctl:setPosition(16, 12),
        clickResponderDemo_ctl:setSize(80, 12),
        okAndCancelDemo_ctl := button::new(DemoDialogs_ctl),
        okAndCancelDemo_ctl:setText("Ok And Cancel Demo"),
        okAndCancelDemo_ctl:setPosition(16, 28),
        okAndCancelDemo_ctl:setSize(80, 12),
        defaultButtonDemo_ctl := button::new(DemoDialogs_ctl),
        defaultButtonDemo_ctl:setText("Default Button Demo"),
        defaultButtonDemo_ctl:setPosition(16, 44),
        defaultButtonDemo_ctl:setSize(80, 12),
        modal_ctl := checkButton::new(DemoDialogs_ctl),
        modal_ctl:setText("Modal dialogs"),
        modal_ctl:setPosition(16, 64),
        modal_ctl:setWidth(60),
        PressThisButtonToSeeTheDemoOfButtonsClickRespondersFeatures_ctl = textControl::new(DemoDialogs_ctl),
        PressThisButtonToSeeTheDemoOfButtonsClickRespondersFeatures_ctl:setText("Press this button to see the demo of buttons click responders features"),
        PressThisButtonToSeeTheDemoOfButtonsClickRespondersFeatures_ctl:setPosition(100, 13),
        PressThisButtonToSeeTheDemoOfButtonsClickRespondersFeatures_ctl:setSize(227, 10),
        PressThisButtonToSeeTheIllustrationOfUsingOkAndCancelButtons_ctl = textControl::new(DemoDialogs_ctl),
        PressThisButtonToSeeTheIllustrationOfUsingOkAndCancelButtons_ctl:setText("Press this button to see the illustration of using Ok and Cancel buttons"),
        PressThisButtonToSeeTheIllustrationOfUsingOkAndCancelButtons_ctl:setPosition(100, 29),
        PressThisButtonToSeeTheIllustrationOfUsingOkAndCancelButtons_ctl:setSize(228, 10),
        PressThisButtonToSeeTheExampleOfUsingDefaultButtons_ctl = textControl::new(DemoDialogs_ctl),
        PressThisButtonToSeeTheExampleOfUsingDefaultButtons_ctl:setText("Press this button to see the example of using default buttons"),
        PressThisButtonToSeeTheExampleOfUsingDefaultButtons_ctl:setPosition(100, 45),
        PressThisButtonToSeeTheExampleOfUsingDefaultButtons_ctl:setSize(197, 10),
        addShowListener(generatedOnShow),
        addShowListener(onShow),
        addSizeListener(onSizeChanged),
        setCloseResponder(onClose),
        addDestroyListener(onDestroy),
        clickResponderDemo_ctl:setClickResponder(onClickResponderDemo),
        okAndCancelDemo_ctl:setClickResponder(onOkAndCancelDemo),
        defaultButtonDemo_ctl:setClickResponder(onDefaultButtonDemo).

predicates
    generatedOnShow: window::showListener.
clauses
    generatedOnShow(_,_):-
        succeed.
% end of automatic code
end implement mainForm