eu.bandm.tools.d2d2.base

Class Text2Udom.ErrorStrategy

java.lang.Object

eu.bandm.tools.d2d2.base.Text2Udom.ErrorStrategy

Enclosing class:

Text2Udom

public static class Text2Udom.ErrorStrategy
extends Object

Configuration object for the different ways of reacting to input errors. Please note: is READ also by higher levels, e.g. for file handling and disabling error checks.

Field Summary

Fields

Modifier and Type	Field and Description
DiagnosisMarkUp	diagnosisMarkUp The configuration info for the interactive acsii-graphic output
PrintWriter	diagnosisPrinter Where to send the stack info
int	errorsUntilBreak After how many errors to stop execution FIXME not yet supported
boolean	partialDocs Whether erronuous output documents may be produced.
boolean	preserveSourceFormatting How to copy source text into error messages.
int	printContext !=0 means we are in an interactive run mode.
PrintStream	rewriteSource Where to put a re-written input:

Constructor Summary

Constructors

Constructor and Description
ErrorStrategy()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

printContext

public int printContext

!=0 means we are in an interactive run mode.
==1 print stack information to every error message.
==2 additionally: print the document generated so far at the end of the parsing attempt

diagnosisMarkUp

public DiagnosisMarkUp diagnosisMarkUp

The configuration info for the interactive acsii-graphic output

diagnosisPrinter

public PrintWriter diagnosisPrinter

Where to send the stack info

rewriteSource

public PrintStream rewriteSource

Where to put a re-written input:

errorsUntilBreak

public int errorsUntilBreak

After how many errors to stop execution FIXME not yet supported

partialDocs

public boolean partialDocs

Whether erronuous output documents may be produced.

preserveSourceFormatting

public boolean preserveSourceFormatting

How to copy source text into error messages.

Constructor Detail

ErrorStrategy

public ErrorStrategy()