Reporting Utilties

This provides tools for custom formatting and customized reports for LCs and various output devices. For now we only support the terminal output in Lode.

The main function is the LogicConcept extension .report(options). It will format and output a LC document with syntax highlighting and various. The options object has the following fields:

 showDeclares, showAttributes , showBodies, showContexts, showRules ,
 showUserThms , showPartials , showConsiders , showInstantiations ,
 showNumbers , showProperNames , showUserRules , showUserInstantiations ,
 showValidation

which, when true, will show the corresponding part aspect of the document.

Some predefined reports are available by using a predefined options object:

 all, show, detailed , moderate, allclean, clean , user

These reporting routines also are used by the Lode writer for echoing LC documents and arrays of LCs and other objects.