print_message(
+Severity,
+Message)
hookableportray_message(
+Severity,
+Message)
hookuser:portray_message(
+Severity,
+Message)
print_message/2
what to do.
generate_message_hook(
+Message,
-L0,
-L)
hookuser:generate_message_hook(
+Message,
-L0,
-L)
'SU_messages':generate_message/3
in the message generation phase
in print_message/2
.
'SU_messages':generate_message(
+Message,
-L0,
-L)
extendiblemessage_hook(
+Severity,
+Message,
+Lines)
hookuser:message_hook(
+Severity,
+Message,
+Lines)
print_message_lines/3
in
print_message/2
. A way for the user to intercept the abstract
message term Message of type Severity, whose
translation is Lines, before it is actually printed.
print_message_lines(
+Stream,
+Severity,
+Lines)
goal_source_info(
+AGoal,
-Goal,
-SourceInfo)