field_value_check (library)
Author(s): Göran Smedbäck.Usage and interface
- Library usage:
:- use_module(library(provrml/field_value_check)). - Exports:
- Predicates:
fieldValue_check/8, mfstringValue/7.
- Predicates:
- Imports:
- System library modules:
provrml_io, generator_util, boundary, tokeniser, generator, parser_util. - Packages:
prelude, nonpure, condcomp, dcg, assertions, isomodes.
- System library modules:
Documentation on exports
PREDICATE
Usage:fieldValue_check(FieldTypeId,Value,ParseIn,ParseOut,InitValue,Boundary,L,T)
The predicate read the fieldValue from the input token stream from the ParseIn. Checks of the values will be done in other module but initiated here. The values will be, if correct, collected via the DCG with the out/3 predicate for later output.
All the predicates have the same meaning as the corresponding predicates in the input module field_value.pl. For more information about the different please see that module.
- Call and exit should be compatible with:
(basic_props:atm/1)FieldTypeId is an atom.
(basic_props:list/1)Value is a list.
(field_value_check:parse/1)field_value_check:parse(ParseIn)
(field_value_check:parse/1)field_value_check:parse(ParseOut)
(basic_props:atm/1)InitValue is an atom.
(basic_props:atm/1)Boundary is an atom.
(basic_props:list/1)L is a list.
(basic_props:list/1)T is a list. - The following properties should hold at call time:
(term_typing:nonvar/1)FieldTypeId is currently a term which is not a free variable.
(term_typing:nonvar/1)Value is currently a term which is not a free variable.
(term_typing:nonvar/1)ParseIn is currently a term which is not a free variable.
(term_typing:var/1)ParseOut is a free variable.
(term_typing:nonvar/1)InitValue is currently a term which is not a free variable.
(term_typing:nonvar/1)Boundary is currently a term which is not a free variable.
