Package eu.bandm.tools.d2d2.base

Class CharParserPrepare.ReduceToCardinalities

java.lang.Object

eu.bandm.tools.d2d2.model.MATCH_ONLY_00

eu.bandm.tools.d2d2.model.SinglePhase

eu.bandm.tools.d2d2.base.CharParserPrepare.ReduceToCardinalities

Enclosing class:

CharParserPrepare

public static class CharParserPrepare.ReduceToCardinalities
extends SinglePhase

Field Summary

Fields

Modifier and Type	Field	Description
(package private) int	addmax
(package private) int	addmin
(package private) CheckedList<Expression>	components
(package private) Definition	currentDef
(package private) Reference	currentRef
(package private) Set<Definition>	done
(package private) int	max
(package private) int	min
(package private) Set<Definition>	todo

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

_visitor_debug_stream, partial

Constructor Summary

Constructors

Constructor	Description
ReduceToCardinalities()

Method Summary

Modifier and Type	Method	Description
void	action(Alt exp)
void	action(Insertion ref)
void	action(Opt exp)
void	action(Perm exp)
void	action(Plus exp)
void	action(Reference ref)
void	action(Seq exp)
void	action(Star exp)
(package private) void	add(List<Expression> exps)
Expression	translate(Expression in)	Returns a top-level permutation expression which contains all found sub-elements in their possible cardinalities.
Expression	translate(CheckedList<Expression> ins)
void	translateOne(Expression in)

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, action, action, action, action, action, 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_rawModules, follow_text, follow_weakfirsts, follow_xattributes

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

_visitor_trace, action, action, action, action, action, compile, 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_rawModules, followAll_text, 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, match, nomatch

Methods inherited from class java.lang.Object

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

Field Details

components

CheckedList<Expression> components

todo

Set<Definition> todo

done

Set<Definition> done

currentDef

Definition currentDef

currentRef

Reference currentRef

min

int min

max

int max

addmin

int addmin

addmax

int addmax

Constructor Details

ReduceToCardinalities

public ReduceToCardinalities()

Method Details

translate

public Expression translate(CheckedList<Expression> ins)

translate

public Expression translate(Expression in)

Returns a top-level permutation expression which contains all found sub-elements in their possible cardinalities.

translateOne

public void translateOne(Expression in)

action

public void action(Reference ref)

Overrides:

action in class SinglePhase

action

public void action(Opt exp)

Overrides:

action in class SinglePhase

action

public void action(Plus exp)

Overrides:

action in class SinglePhase

action

public void action(Star exp)

Overrides:

action in class SinglePhase

add

void add(List<Expression> exps)

action

public void action(Seq exp)

Overrides:

action in class SinglePhase

action

public void action(Perm exp)

Overrides:

action in class SinglePhase

action

public void action(Alt exp)

Overrides:

action in class SinglePhase

action

public void action(Insertion ref)

Overrides:

action in class SinglePhase