Yiding: /* 参考 */

2015-07-05T01:11:11Z

参考

← Older revision		Revision as of 03:11, 5 July 2015
Line 167:		Line 167:

	==参考==		==参考==
	[[Category:Tutorials]]		[[:Category:Tutorials]]
	[[Category:GUI]]		[[:Category:GUI]]

	[[Category:Tutorials部分中文译文]]		[[Category:Tutorials部分中文译文]]

Yiding at 01:05, 5 July 2015

2015-07-05T01:05:55Z

Show changes

Yiding: Blanked the page

2015-07-05T00:54:55Z

Blanked the page

Show changes

Yiding: Created page with "（以下内容，译自:Category:Tutorials中的DialogForm Validation。更多内容可以参看:Category:Tutorials部分中文译文及:Category:Chinese。）用..."

2015-07-05T00:40:23Z

Created page with "（以下内容，译自Category:Tutorials中的DialogForm Validation。更多内容可以参看Category:Tutorials部分中文译文及Category:Chinese。）用..."

New page

（以下内容，译自[[:Category:Tutorials]]中的DialogForm Validation。更多内容可以参看[[:Category:Tutorials部分中文译文]]及[[:Category:Chinese]]。）

用户按了对话框中的OK按钮后，就意味着将要出现某件事情。不过只有对话框或表单中的数据有效时，事情才会出现。对话框和表单必须经过 '''有效性确认'''。本专题将描述由PFC GUI支持的有效性确认机制，还要介绍如何使用校验控件''integerControl'' 和 ''realControl'' 及如何确认对话框表单中其它的控件。

本文将演示如何确认在对话框或表单中的控件。首先，要介绍有效性确认的概念。我们会看到integerControl和realControl是如何使用有效性确认概念的。接着，我们要考虑在容器控件中的有效性确认问题。最后，来看几个常用控件的有效性确认，这些控件有：editControl、listBox、新建用户控件。

'''下载''' 本文使用的示例工程源文件：

* Visual Prolog 7.4 和 7.3 IDE下安装示例：
*:'''Help -> Install Examples...'''
* [http://download.pdc.dk/vip/72/tutorial_examples/validation.zip Visual Prolog 7.2 version].
* [http://download.pdc.dk/vip/71/examples/tutorial_examples/validation.zip Visual Prolog 7.1 version].

==有效性确认的概念==

有效性确认的概念基础思想是：“控件值应该是有效的”。有效性的确认发生在对话框或表单中按动OK按钮时，但确认工作也可以由程序安排。

控件负责声明自己的内容是有效的，因此，可以对控件设置有效性确认响应器。

对话框或表单作有效性确认时，是逐个控件依次进行的，但如果结果导致

<vip>contentsInvalid(Source, FocusControl, ErrorMessage)</vip>

则确认工作就终止了。

==integerControl和realControl中的有效性确认==

我们来创建一个表单，并用类integerControl和realControl加入两个 '''custom controls''' （用户控件）。可以在提供的示例工程<vp>integerControlAndRealControl</vp>看到相应的表单结果。

示例生成的代码如下：

<vip>integerControl_ctl := integercontrol::new(This),
integerControl_ctl:setPosition(92, 4),
integerControl_ctl:setSize(60,12),
realControl_ctl := realcontrol::new(This),
realControl_ctl:setPosition(92, 20),
realControl_ctl:setSize(60,12),</vip>

还需要加上对 <vp>integerControlAndRealControl</vp> 表单的调用：

<vip>predicates
onFileIntegercontrolRealcontrol : window::menuItemListener.
clauses
onFileIntegercontrolRealcontrol(Source, _MenuTag) :-
Form = integerControlAndRealControl::new(Source),
Form:show().</vip>

运行这个工程，如果输入了非整数值，将会看到一个说明错误的消息框。

我们也可以加入 <vp>onOK</vp> 响应器来获取确认后的值：

<vip>predicates
onOk : button::clickResponder.
clauses
onOk(_) = button::defaultAction() :-
Integer = integerControl_ctl:getInteger(),
Real = realControl_ctl:getReal(),
stdIO::write("Integer value = ",Integer, "\n"),
stdIO::write("Real value = ",Real, "\n").</vip>

要注意，如果有效性确认不成功，是'''不会'''调用 <vp>onOK</vp> 响应器的，而且该响应器的调用是发生在所有确认谓词之后。

我们来看一下源文件 '''\pfc\gui\controls\integerControl.pro''' ，看看有效性确认是如何实现的。

<vip>clauses
new() :-
editControl::new(),
addValidateResponder(onIntValidate).

predicates
onIntValidate : validateResponder.
clauses
onIntValidate(_) = contentsInvalid(This,This, ErrorMessage) :-
string(ErrorMessage) = checkContent(getText()),
!.
onIntValidate(_) = contentsOk.</vip>

也就是说，如果局部谓词checkContent认为文本内容是 <vp>integer</vp> 则确认成功。

上面我们说过，确认工作也可以强制程序安排进行。可以这样加一个按钮 TryValidation 及相应的代码：

<vip>predicates
onTryValidation : button::clickResponder.
clauses
onTryValidation(_Source) = button::defaultAction() :-
tryValidateWithErrorDialog(),
!,
stdIO::write("All controls are valid\n").
onTryValidation(_Source) = button::defaultAction().</vip>

==容器控件中的有效性确认==

考查容器控件中的有效性确认，我们先来创建一个这样的控件：在工程中创建一个新的控件<vp>fromTo</vp>，再在其中加入两个integerControl控件。

考虑到只有当<vp>From</vp>的值小于<vp>To</vp>的值控件<vp>fromTo</vp>才是有效的，因此可以这样设置<vp>fromTo</vp>控件的有效性确认响应器：

<vip>predicates
validateFromTo : control::validateResponder.
clauses
validateFromTo (Source) = control::contentsInvalid(Source,from_ctl,
"From value must be less than To value") :-
from_ctl:getInteger() >= to_ctl:getInteger(),
!.
validateFromTo (_) = control::contentsOk.</vip>

请注意，如果有效性确认不成功，控件 <vp>from_ctl</vp> 会得到焦点。

==常用控件的有效性确认==

我们在工程中创建一个新控件 <vp>myControl</vp> ，再创建一个表单并在其中添加三个控件：

*edit 控件；

*listbox 控件；

*<vp>myControl</vp> 类的用户控件。

可以在提供的示例''usualControls''中看到表单的结果。

初始化代码中包含了响应器的设置及对三个控件的初始化内容：

<vip>clauses
new(Parent) :-
formWindow::new(Parent),
generatedInitialize(),
edit_ctl:addValidateResponder(validateEditCtl),
listbox_ctl:addList(["First","Second","Third"]),
listbox_ctl:addValidateResponder(validateListBox).</vip>

有效性确认响应器是这样的：

<vip>predicates
validateEditCtl : control::validateResponder.
clauses
validateEditCtl(_) = control::contentsOk :-
"OK" = edit_ctl:getText(),
!.
validateEditCtl(Source) = control::contentsInvalid(
Source, Source,
"Edit control expects to have the text 'OK'").

predicates
validateListBox : control::validateResponder.
clauses
validateListBox(Source) = control::contentsInvalid(
Source,Source,
"Selection of the first row is not allowed") :-
0 = listbox_ctl:tryGetSelectedIndex(),
!.
validateListBox(_) = control::contentsOk().

predicates
validateMyControl : control::validateResponder.
clauses
validateMyControl(Source) = control::contentsInvalid(
Source,Source,
string::concat("A marker in the ",Missed,
" part is mandatory")) :-
Missed = toString(isMandatoryMarkNotActive(
mandatoryMark, activatedMark)),
!.
validateMyControl(_) = control::contentsOk().</vip>

可以看到，对控件的有效性确认可以有各种不同的方法。

==参考==

[[Category:Tutorials]]
[[Category:GUI]]

[[:Category:Tutorials部分中文译文]]

DialogForm Validation（对话框及表单的确认） - Revision history

Yiding: /* 参考 */

Yiding at 01:05, 5 July 2015

Yiding: Blanked the page

Yiding: Created page with "（以下内容，译自:Category:Tutorials中的DialogForm Validation。更多内容可以参看:Category:Tutorials部分中文译文及:Category:Chinese。） 用..."

Yiding: Created page with "（以下内容，译自:Category:Tutorials中的DialogForm Validation。更多内容可以参看:Category:Tutorials部分中文译文及:Category:Chinese。）用..."