provrml_parser (library)
Author(s): Göran Smedbäck.Usage and interface
- Library usage:
:- use_module(library(provrml/provrml_parser)). - Exports:
- Predicates:
parser/2, nodeDeclaration/4. - Properties:
field_Id/1.
- Predicates:
- Imports:
- System library modules:
aggregates, dynamic, iso_misc, iso_char, iso_incomplete, operators, read, write, terms_check, terms_vars, cyclic_terms, lists, lookup, field_value, tokeniser, parser_util, possible, provrmlerror. - Packages:
prelude, nonpure, condcomp, assertions, isomodes, dcg, regtypes, iso.
- System library modules:
Documentation on exports
PREDICATE
Usage:parser(VRML,Terms)
The parser uses a tokeniser to read the input text string of VRML code and returns a list with the corresponding terms. The tokens will be read in this parser as the grammar says. The parser is according to the specification of the VRML grammar, accept that it is performed over tokens in sted of the actual code.
- Call and exit should be compatible with:
(basic_props:string/1)VRML is a string (a list of character codes).
(basic_props:list/2)Terms is a list of terms. - The following properties should hold at call time:
(term_typing:nonvar/1)VRML is currently a term which is not a free variable.
(term_typing:var/1)Terms is a free variable.
PREDICATE
Usage:nodeDeclaration(Parse_in,Parse_out,L,T)
The predicate is also accepted as a node field as has to be accessed from the module that reads field values, i.e., field_value.pl
- Call and exit should be compatible with:
(internal_types:parse/1)Parse_in is a parse structure.
(internal_types:parse/1)Parse_out is a parse structure.
(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)Parse_in is currently a term which is not a free variable.
(term_typing:var/1)Parse_out is a free variable.
