Package eu.bandm.tools.d2d2.base

Class Resolver.FirstCalculator

java.lang.Object

eu.bandm.tools.d2d2.model.MATCH_ONLY_00

eu.bandm.tools.d2d2.model.SinglePhase

eu.bandm.tools.d2d2.base.Navigate.VisitReachable<Object>

eu.bandm.tools.d2d2.base.Resolver.FirstCalculator

Enclosing class:

Resolver

public class Resolver.FirstCalculator
extends Navigate.VisitReachable<Object>

Sets up constants in each Expression, which cache structural properties of the syntax for later parsing.

• The ".firsts : String -> (Expression+int)" director map (this points to sub-expressions of an ALT or PERM or to starting position numbers of a SEQU!)
• whether character data is accepted
• whether epsilon accepted

During this, LL(1) violations are detected.
Visiting starts with the (externally requested) top-level module and follows ONLY references (to declarations contained anywhere!) ATTENTION: Does NOT visit the expressions X in "import _ from _ ^ ( X / _)"

Field Summary

Fields

Modifier and Type	Field	Description
(package private) TagsRegExp	currentdef

Fields inherited from class eu.bandm.tools.d2d2.base.Navigate.VisitReachable

done, result, todo

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

_visitor_debug_stream, partial

Constructor Summary

Constructors

Constructor	Description
FirstCalculator()

Method Summary

Modifier and Type	Method	Description
void	action(Alt alt)
void	action(CharsRegExp def)
void	action(Empty x)
void	action(Enumeration def)
void	action(Insertion x)
void	action(Opt x)
void	action(Pcdata x)
void	action(Perm x)
void	action(Plus x)
void	action(Reference ref)	Put "tag->expr" into directors' map for later parsing.
void	action(Seq x)
void	action(Star x)
void	action(TagsRegExp def)
protected void	addFromTo(Expression from, Expression to, boolean isalt)	From is the "sub"-expression FROM which the director map is copied inTO the map ruling the "super"-expression called "to".
protected void	copyMult(GrUnary x, boolean canEps)
(package private) boolean	isDone(Expression exp)
protected void	LL1_violation(String s, Expression from, Expression to)
protected void	makeGenericHints(String genname, Module referingMod, String modname)
protected void	makeGenericHints(String genname, XRegExp referrer, Definition referred)

Methods inherited from class eu.bandm.tools.d2d2.base.Navigate.VisitReachable

markToDo, markToDo, process, process, processAll, processPublic

Methods inherited from class eu.bandm.tools.d2d2.model.SinglePhase

action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, descend_ImportItem$globalSubsts, descend_ImportItem$localSubsts, descend_Module$definitions, descend_Module$imports, descend_Module$modules, descend_TagsRegExp$localdefs

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

_visitor_trace, action, action, action, action, compile, descend_Alt$on, descend_Perm$on, descend_Seq$on, foreignObject, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, nomatch

Methods inherited from class java.lang.Object

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

Field Details

currentdef

TagsRegExp currentdef

Constructor Details

FirstCalculator

public FirstCalculator()

Method Details

action

public void action(TagsRegExp def)

Overrides:

action in class SinglePhase

action

public void action(CharsRegExp def)

Overrides:

action in class SinglePhase

action

public void action(Enumeration def)

Overrides:

action in class SinglePhase

isDone

boolean isDone(Expression exp)

action

public void action(Empty x)

Overrides:

action in class SinglePhase

action

public void action(Pcdata x)

Overrides:

action in class SinglePhase

action

public void action(Insertion x)

Overrides:

action in class SinglePhase

makeGenericHints

protected void makeGenericHints(String genname,
 XRegExp referrer,
 Definition referred)

makeGenericHints

protected void makeGenericHints(String genname,
 Module referingMod,
 String modname)

action

public void action(Reference ref)

Put "tag->expr" into directors' map for later parsing.
Attention: Use the name of the referred to declaration object, which is a kind of "d2d-tag" with possibly local scope. Do NOT use the refering source text, which already has been normlized to module level scope.
References can refer to Tags, Chars and Enumerations !

Overrides:

action in class SinglePhase

copyMult

protected void copyMult(GrUnary x,
 boolean canEps)

action

public void action(Opt x)

Overrides:

action in class SinglePhase

action

public void action(Star x)

Overrides:

action in class SinglePhase

action

public void action(Plus x)

Overrides:

action in class SinglePhase

LL1_violation

protected void LL1_violation(String s,
 Expression from,
 Expression to)

addFromTo

protected void addFromTo(Expression from,
 Expression to,
 boolean isalt)

From is the "sub"-expression FROM which the director map is copied inTO the map ruling the "super"-expression called "to".

action

public void action(Alt alt)

Overrides:

action in class SinglePhase

action

public void action(Perm x)

Overrides:

action in class SinglePhase

action

public void action(Seq x)

Overrides:

action in class SinglePhase