Package eu.bandm.tools.d2d2.base

Class Resolver3.Equivalence

java.lang.Object

eu.bandm.tools.d2d2.model.MATCH_ONLY_00

eu.bandm.tools.d2d2.model.Match

eu.bandm.tools.d2d2.base.Resolver3.Equivalence

Enclosing class:

Resolver3

protected class Resolver3.Equivalence
extends Match

Field Summary

Fields

Modifier and Type	Field	Description
(package private) Expression	other

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

hasdescend, haspost, haspre

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

_visitor_debug_stream, partial

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Equivalence()

Method Summary

Modifier and Type	Method	Description
void	descend(Alt e)
void	descend(CharBinary e)
void	descend(CharSetConst e)
void	descend(GrUnary e)
void	descend(Insertion e)
void	descend(ParseParticle e)
void	descend(Perm e)
void	descend(Reference e)
void	descend(Seq e)
void	descend(StringConst e)
void	descend(Subst e)
void	pre(Expression exp)
boolean	test(Expression exp1, Expression exp2)	Returns whether the two expressions are equivalent.

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

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, action, action, action, action, action, action, action, descend, descend, descend, descend, descend, descend, descend, descend, descend, descend, descend, descend, descend, descend, descend, descend, descend, descend, descend, descend, descend, descend, descend, descend, descend, descend, descend, descend_ImportItem$globalSubsts, descend_ImportItem$localSubsts, descend_Module$definitions, descend_Module$imports, descend_Module$modules, descend_TagsRegExp$localdefs, post, post, post, post, post, post, post, post, post, post, post, post, post, post, post, post, post, post, post, post, post, post, post, post, post, post, post, post, post, post, post, post, post, post, post, post, post, post, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre, pre

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

other

Expression other

Constructor Details

Equivalence

protected Equivalence()

Method Details

test

public boolean test(Expression exp1,
 Expression exp2)

Returns whether the two expressions are equivalent.

pre

public void pre(Expression exp)

Overrides:

pre in class Match

descend

public void descend(Insertion e)

Overrides:

descend in class Match

descend

public void descend(GrUnary e)

Overrides:

descend in class Match

descend

public void descend(Reference e)

Overrides:

descend in class Match

descend

public void descend(Alt e)

Overrides:

descend in class Match

descend

public void descend(Perm e)

Overrides:

descend in class Match

descend

public void descend(Seq e)

Overrides:

descend in class Match

descend

public void descend(CharSetConst e)

Overrides:

descend in class Match

descend

public void descend(CharBinary e)

Overrides:

descend in class Match

descend

public void descend(ParseParticle e)

Overrides:

descend in class Match

descend

public void descend(StringConst e)

Overrides:

descend in class Match

descend

public void descend(Subst e)

Overrides:

descend in class Match