Descriptions of the icons/glyphs in the graphical debugger?

Better to add more confusion now then to get, “why didn’t you tell me this then!”.

There are also different colors for the source code line highlights.

Green

Normal, Success

SWI_Prolog_Gtrace_Example_001_step_i_image_010_head_green

Red

Failure

SWI_Prolog_Gtrace_Example_001_step_i_image_010_Fail

Blue

Unification of the head

SWI_Prolog_Gtrace_Example_001_step_i_image_010_head

Yellow

Redo

SWI_Prolog_Gtrace_Example_001_step_i_image_020_frame_001

Magenta

Exception

I actually have an entire state transition diagram based on Overview of the Debugger but it was written using GraphViz dot and PNG files. The dot is used to generate a SVG.

PS

Tried to add FSA as SVG here but Discourse has an upload scanner that filters out HTML image tags by default, so as suggested by @jamesnvc converted it to a PDF and posted a link to it in Gtrace - Example finite-state automaton.

EDIT

See: ADDED: Allow hooking console coloring.

Personal Notes

Debugger Icons are located in SWI-Prolog package xpce
Directory: packages-xpce/prolog/lib/trace/icons/

Icons used in the Call Stack (ref)

Name Icon Description
deterministic det.xpm Red arrow pointing up
choicepoint ndet.xpm Red arrow with two heads
built_in builtin.xpm A house
foreign foreign.xpm Blue letter C
dynamic dynamic.xpm Black triangle pointing left then red circle
undefined undefined.xpm Red question mark
transparent meta.xpm Something with light blue and yellow, maybe a world map
user user.xpm Smiling face

Builtin
builtin

Determinsitc
det

Dynamic
dynamic

Foreign
foreign

Meta
meta

Choicepoint or Nondeterministic
ndet

Undefined
undefined

User
user