Package eu.bandm.tools.d2d2.base

Class Navigate.CharSetCalc

java.lang.Object

eu.bandm.tools.d2d2.model.MATCH_ONLY_00

eu.bandm.tools.d2d2.model.SinglePhase

eu.bandm.tools.d2d2.base.Navigate.CharSetCalc

Enclosing class:

Navigate

public static class Navigate.CharSetCalc
extends SinglePhase

Expand all character set expressions from the d2d definition language to an extensional representation as CharSet. Cache the results locally.

Under a CharBinary operator, all refs and defs and operators MUST be of character type. Otherwise (esp. under a star or plus operator) the top expression MAY be of character set type, which is indicated by a result!=null.

Field Summary

Fields

Modifier and Type	Field	Description
protected Map<Expression,CharSet>	charsets	Cache for all results calculated so far.
protected MessageReceiver<SimpleMessage<XMLDocumentIdentifier>>	msg	Evident
protected CharSet	result	Temporary visitor register.
protected boolean	underExpr	Whether the visited focus is argument to a binary character expression.

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

_visitor_debug_stream, partial

Constructor Summary

Constructors

Constructor	Description
CharSetCalc(MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg)	Evident

Method Summary

Modifier and Type	Method	Description
void	action(CharCut x)	Evaluate the arguments of the binary expression and construct the result.
void	action(CharJoin x)	Evaluate the arguments of the binary expression and construct the result.
void	action(CharMinus x)	Evaluate the arguments of the binary expression and construct the result.
void	action(CharRange x)	Evaluate the arguments of the binary expression and construct the result.
void	action(CharSetConst x)	A character set constant directly evaluates to itself.
void	action(CharsRegExp x)	Visit the defined expressions.
void	action(Definition x)	All definitions which are not CharsRegExp are NOT a character set.
void	action(Expression x)	All other expressions are not character expressions.
void	action(Insertion ins)	Visit the expression defined by the inserted reference.
void	action(ParseParticle x)	Any parse particle is NOT a character set.
void	action(Reference ref)	Only considered to be a character set when under a character set operator.
void	action(StringConst x)	A string constant of length==1 is treated as a character set constant.
CharSet	find(Expression exp)	Evaluate the expression: Either return the cached result or invoke visiting.
protected boolean	lookUp(Expression exp)	Copy the cached value to the result register.
protected @Opt CharSet	makeRange(CharSet from, CharSet to, CharBinary rangeExpr)	Construct the range between two singleton sets.
protected void	memorize(Expression exp)	Put to cache.
protected void	operation(CharBinary x, char code)	Evaluate the arguments of the binary expression and construct the result.
protected void	rangeerror(Expression exp, String pos)	Range operator between non-singleton sets.
protected boolean	reportError(CharBinary x, String pos)	Report the case that a char set binary operator is wrongly applied.
protected void	xerror(Location<XMLDocumentIdentifier> loc, String txt)	Emit an error message.

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, action, follow_allRawModules, follow_definitions, follow_defInstances, follow_docu, follow_firsts, follow_globalSubsts, follow_imports, follow_itemDocu, follow_localdefs, follow_localSubsts, follow_modules, follow_namespaces, follow_obligates, follow_on, follow_resolved, follow_sources, follow_weakfirsts, follow_xattributes

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

_visitor_trace, action, action, action, action, compile, followAll_allRawModules, followAll_definitions, followAll_defInstances, followAll_docu, followAll_firsts, followAll_globalSubsts, followAll_imports, followAll_itemDocu, followAll_localdefs, followAll_localSubsts, followAll_modules, followAll_namespaces, followAll_obligates, followAll_on, followAll_resolved, followAll_sources, followAll_weakfirsts, followAll_xattributes, 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

charsets

protected Map<Expression,CharSet> charsets

Cache for all results calculated so far.

msg

protected MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg

Evident

result

protected CharSet result

Temporary visitor register.

underExpr

protected boolean underExpr

Whether the visited focus is argument to a binary character expression.

Constructor Details

CharSetCalc

public CharSetCalc(MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg)

Evident

Method Details

memorize

protected void memorize(Expression exp)

Put to cache.

lookUp

protected boolean lookUp(Expression exp)

Copy the cached value to the result register.

Returns:

whether the cache contains a value.

find

public CharSet find(Expression exp)

Evaluate the expression: Either return the cached result or invoke visiting.

xerror

protected void xerror(Location<XMLDocumentIdentifier> loc,
 String txt)

Emit an error message.

action

public void action(Reference ref)

Only considered to be a character set when under a character set operator.

Overrides:

action in class SinglePhase

action

public void action(Definition x)

All definitions which are not CharsRegExp are NOT a character set.

Overrides:

action in class SinglePhase

action

public void action(ParseParticle x)

Any parse particle is NOT a character set.

Overrides:

action in class SinglePhase

action

public void action(CharsRegExp x)

Visit the defined expressions.

Overrides:

action in class SinglePhase

action

public void action(Insertion ins)

Visit the expression defined by the inserted reference.

Overrides:

action in class SinglePhase

action

public void action(CharSetConst x)

A character set constant directly evaluates to itself.

Overrides:

action in class SinglePhase

action

public void action(StringConst x)

A string constant of length==1 is treated as a character set constant.

Overrides:

action in class SinglePhase

rangeerror

protected void rangeerror(Expression exp,
 String pos)

Range operator between non-singleton sets.

makeRange

@Opt
protected @Opt CharSet makeRange(CharSet from,
 CharSet to,
 CharBinary rangeExpr)

Construct the range between two singleton sets.

reportError

protected boolean reportError(CharBinary x,
 String pos)

Report the case that a char set binary operator is wrongly applied.

operation

protected void operation(CharBinary x,
 char code)

Evaluate the arguments of the binary expression and construct the result.

action

public void action(CharJoin x)

Evaluate the arguments of the binary expression and construct the result.

Overrides:

action in class SinglePhase

action

public void action(CharCut x)

Evaluate the arguments of the binary expression and construct the result.

Overrides:

action in class SinglePhase

action

public void action(CharMinus x)

Evaluate the arguments of the binary expression and construct the result.

Overrides:

action in class SinglePhase

action

public void action(CharRange x)

Evaluate the arguments of the binary expression and construct the result.

Overrides:

action in class SinglePhase

action

public void action(Expression x)

All other expressions are not character expressions.

Overrides:

action in class SinglePhase