eu.bandm.tools.d2d2.base

Class StackPrinter

java.lang.Object

eu.bandm.tools.d2d2.base.StackPrinter

public class StackPrinter
extends Object

Prints the current stack state to a terminal, highlighting current position and possible continuations, for error diagnosis in interactive use cases.

ATTENTION: All methods in this context operate on the OBJECT IDENTITY of reference expressions, etc., thus identifying POSITIONS in complex expressions by object "==". This is only allowed in such a temporary "frozen" context.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	StackPrinter.ExpressionPrinter Simply prints expressions, inserting parentheses by priority.
protected static class	StackPrinter.FollowSet find all sub-expressions of the current content model which can be entered immediately in the current parsing situation.

Field Summary

Fields

Modifier and Type	Field and Description
protected Reference	activeRef Memoizes the reference which has been entered and is stored in the next-lower State_singleton.
Set<Expression>	followset Holds all references the tags of which could be entered in the current parsing state.
protected String	headerSeparatorString
protected DiagnosisMarkUp	markup
protected PrintWriter	printwriter
protected boolean	showIntermediate

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	StackPrinter()
protected	StackPrinter(DiagnosisMarkUp markup)
protected	StackPrinter(DiagnosisMarkUp markup, PrintWriter pw)

Method Summary

Modifier and Type	Method and Description
protected void	doPrintStack(State state)
protected String	getRefTag(Reference ref)
protected void	print(String text, boolean active, boolean possible)
void	printStack(State state)
void	printStack(State state, boolean showIntermediate)
protected String	stateLabel(State s)

Methods inherited from class java.lang.Object

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

Field Detail

markup

protected DiagnosisMarkUp markup

printwriter

protected PrintWriter printwriter

headerSeparatorString

protected String headerSeparatorString

showIntermediate

protected boolean showIntermediate

activeRef

protected Reference activeRef

Memoizes the reference which has been entered and is stored in the next-lower State_singleton. Causes higlighting.

followset

public Set<Expression> followset

Holds all references the tags of which could be entered in the current parsing state. Causes highlighting.

Constructor Detail

StackPrinter

protected StackPrinter()

StackPrinter

protected StackPrinter(DiagnosisMarkUp markup)

StackPrinter

protected StackPrinter(DiagnosisMarkUp markup,
                       PrintWriter pw)

Method Detail

stateLabel

protected String stateLabel(State s)

print

protected void print(String text,
                     boolean active,
                     boolean possible)

printStack

public void printStack(State state)

printStack

public void printStack(State state,
                       boolean showIntermediate)

doPrintStack

protected void doPrintStack(State state)

getRefTag

protected String getRefTag(Reference ref)