Internal
Much of this information is internal documentation. Care has not been made to make links work and make the documentation conprehensible for outsiders.

When you are not using the mjolner tool to find a crash bug or the like, it can sometimes be helpfull to write out some debug statements. It is highly recommened not to use a putline or puttext or any normal beta output methods, instead one should the debug-patterns in cpntools/debug.bet.

There are quite a few different types of debugging patterns, which one can switch on and off. The various patterns are use for different debug situations. There fx. a pattern called debugCPNet which is use for monitoring CPNet.

Then there is one pattern which is always used instead of putlines and the like. This is debugTemp. A nice thing about all these debug patterns are, that their all are subpatterns of putFormat. This means that one can use a printf-like output manner.

A last thing to mention here is the assert pattern. This is not directly a debug pattern, but is placed in the same file. This is nice to use for certain invariants, but one has to remember to write … assert (# #), although it makes no sense.