-1
以下の例では、編集コントロールに数字だけが含まれていることを検証しています。ビジュアルプロローグ:編集コントロール:文字列に数字が含まれているかどうかをチェック
class predicates
validateNumber : control::validateResponder.
clauses
validateNumber(Control) = control::contentsOk :-
hasDomain(integer, _X),
_X = trytoTerm(Control:getText()),
!.
validateNumber(Control) = control::contentsInvalid(Control, Control,
string::format("%s must be an integer!", Control:getLabel())).
数字が含まれている場合、文字列にはアルファベットのみが含まれ、メッセージユーザーには数字のみが含まれていることを検証する例はありますか?