SWI-Prolog 9.3.32
All Application Manual Name SummaryHelp

[not loaded]All predicatesShow sourcemessages.pl

Source translate_message(+Term)// is det
Translate a message Term into message lines. The produced lines is a list of
nl
Emit a newline
Fmt - Args
Emit the result of format(Fmt, Args)
Fmt
Emit the result of format(Fmt)
ansi(Code, Fmt, Args)
Use ansi_format/3 for color output.
flush
Used only as last element of the list. Simply flush the output instead of producing a final newline.
at_same_line
Start the messages at the same line (instead of using ~N)
deprecated
- Use code for message translation should call translate_message//1.
Source translate_message(+Term)// is det
Translate a message term into message lines. This version may be called from user and library definitions for message translation.
Source term_message(+Term)//
Deal with the formal argument of error(Format, ImplDefined) exception terms. The ImplDefined argument is handled by swi_location//2.
Source permission_error(Action, Type, Object)//[private]
Translate permission errors. Most follow te pattern "No permission to Action Type Object", but some are a bit different.
Source tabling_existence_error(+Ball, +Context)//[private]
Called on invalid shift/1 calls. Track those that result from tabling errors.
Source dwim_predicates(+PI, -Dwims)[private]
Find related predicate indicators.
Source swi_location(+Term)// is det
Print location information for error(Formal, ImplDefined) from the ImplDefined term.
Source swi_extra(+Term)// is det[private]
Extract information from the second argument of an error(Formal, ImplDefined) that is printed after the core of the message.
See also
- swi_location//1 uses the same term to insert context before the core of the message.
Source prolog_message(+Term)//[private]
 out_of_c_stack[private]
The thread's C-stack limit was exceeded. Give some advice on how to resolve this.
Source user_version_messages(+Terms)//[private]
Helper for the welcome message to print information registered using version/1.
 user_version_message(+Term)[private]
Source message_lang(-Lang) is multi[private]
True when Lang is a language id preferred for messages. Starts with the most specific language (e.g., nl_BE) and ends with en.
Source current_message_lang(-Lang) is det[private]
Get the current language for messages.
Source print_message(+Kind, +Term)
Print an error message using a term as generated by the exception system.
Source print_system_message(+Term, +Kind, +Lines)[private]
Print the message if the user did not intecept the message. The first is used for errors and warnings that can be related to source-location. Note that syntax errors have their own source-location and should therefore not be handled this way.
Source msg_context(+Prefix0, -Prefix) is det[private]
Add contextual information to a message. This uses the Prolog flag message_context. Recognised context terms are:

In addition, the hook message_prefix_hook/2 is called that allows for additional context information.

Source print_message_lines(+Stream, +PrefixOrKind, +Lines)
Quintus compatibility predicate to print message lines using a prefix.
Source insert_prefix(+Lines, +Prefix, +Ctx, -PrefixedLines)[private]
Source print_message_lines(+Stream, +Lines)[private]
Source safe_format(+Stream, +Format, +Args) is det[private]
Source message_to_string(+Term, -String)
Translate an error term into a string
Source print_once(Message, Level)[private]
True for messages that must be printed only once.
Source must_print(+Level, +Message)[private]
True if the message must be printed.