eu.bandm.tools.d2d2.base

Class StackPrinter.FollowSet

java.lang.Object

eu.bandm.tools.umod.runtime.OptimizingVisitor

eu.bandm.tools.d2d2.rt.MATCH_ONLY_00

eu.bandm.tools.d2d2.rt.SinglePhase_rt

eu.bandm.tools.d2d2.base.StackPrinter.FollowSet

Enclosing class:

StackPrinter

protected static class StackPrinter.FollowSet
extends SinglePhase_rt

find all sub-expressions of the current content model which can be entered immediately in the current parsing situation. Operates for a certain State_singleton, which represents an element definition and its contents model. The parsing state is realized by the stack frames "above" this State_singleton: (a) by index positions in a State_sequ, (b) by the "check list" in a State_perm. The collected set is used for highlighting in error message stack frame prints, to show the correct alternatives to the erronuous input.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	StackPrinter.FollowSet.ExprAnalyse
protected class	StackPrinter.FollowSet.NoMoreEpsilon

Field Summary

Fields

Modifier and Type	Field and Description
static Set<Expression>	empty
static Reference	epsilonRefence
protected Set<Expression>	result

Fields inherited from class eu.bandm.tools.d2d2.rt.MATCH_ONLY_00

_visitor_debug_stream, partial

Fields inherited from class eu.bandm.tools.umod.runtime.OptimizingVisitor

affectedClasses, fieldFlags, hasdescend, haspost, haspre, METHODNAME_allFields2codeNumber

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	FollowSet()

Method Summary

Modifier and Type	Method and Description
void	action(State_perm permstate)
void	action(State_rep state)
void	action(State_sequ state)
Set<Expression>	calculate(State state)

Methods inherited from class eu.bandm.tools.d2d2.rt.SinglePhase_rt

action, action, action, action, action, action, action, action, action, collectFlags, getKey, getLowestGeneratedClass

Methods inherited from class eu.bandm.tools.d2d2.rt.MATCH_ONLY_00

_visitor_trace, action, action, action, action, action, action, action, action, action, allFields2codeNumber, foreignObject, get_class2reachedSccs, get_class2scc, get_field2sccs, match, match, match, match, match, match, match, match, match, match, match, match, match, nomatch

Methods inherited from class eu.bandm.tools.umod.runtime.OptimizingVisitor

calculateFlags, collectFlags_action, collectFlags_actionDorewrite, collectFlags_actionPreDescendPost, collectFlags_actionRewritefields, collectMethods

Methods inherited from class java.lang.Object

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

Field Detail

result

protected Set<Expression> result

epsilonRefence

public static final Reference epsilonRefence

empty

public static final Set<Expression> empty

Constructor Detail

FollowSet

protected FollowSet()

Method Detail

calculate

public Set<Expression> calculate(State state)

action

public void action(State_rep state)

Overrides:

action in class SinglePhase_rt

action

public void action(State_sequ state)

Overrides:

action in class SinglePhase_rt

action

public void action(State_perm permstate)

Overrides:

action in class SinglePhase_rt