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 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 and Description
protected	Equivalence()

Method Summary

Modifier and Type	Method and 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, 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, 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

Constructor Detail

Equivalence

protected Equivalence()

Method Detail

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