provrmlerror (library)
Author(s): Göran Smedbäck.
This file implements error predicates of different types.
Usage and interface
- Library usage:
:- use_module(library(provrml/provrmlerror)). - Exports:
- Predicates:
error_vrml/1, output_error/1.
- Predicates:
- Imports:
Documentation on exports
PREDICATE
Usage:error_vrml(Structure)
Given a structure with the error type as its head with possible arguments, it will write the associated error-text.
- Call and exit should be compatible with:
(basic_props:term/1)Structure is any term. - The following properties should hold at call time:
(term_typing:nonvar/1)Structure is currently a term which is not a free variable.
PREDICATE
Usage:output_error(Message)
This predicate will print the error message given as the argument. This predicate is used for warnings that only needs to be given as information and not necessarily give an error by the VRML browser.
- Call and exit should be compatible with:
(basic_props:list/2)Message is a list of atms. - The following properties should hold at call time:
(term_typing:nonvar/1)Message is currently a term which is not a free variable.
