eu.bandm.tools.ops

Class Pattern.Proxy

java.lang.Object

eu.bandm.tools.ops.Pattern<A>

eu.bandm.tools.ops.Pattern.Contravariant<B>

eu.bandm.tools.ops.Pattern.Unary<A,A>

eu.bandm.tools.ops.Pattern.Proxy

Enclosing class:

Pattern<A>

public abstract class Pattern.Proxy
extends Pattern.Unary<A,A>

Nested Class Summary

Nested classes/interfaces inherited from class eu.bandm.tools.ops.Pattern

Pattern.Atomic<A>, Pattern.Binary<A,B,C>, Pattern.Contravariant<A>, Pattern.Proxy, Pattern.Transform<A,B>, Pattern.Unary<A,B>, Pattern.Variable<A>

Field Summary

Fields inherited from class eu.bandm.tools.ops.Pattern.Unary

body

Fields inherited from class eu.bandm.tools.ops.Pattern

any, none, p_null

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Proxy()

Method Summary

Modifier and Type	Method and Description
boolean	match(A x) Attempt to match this pattern against a given object.
boolean	matchAgain() Attempt to re-match this pattern against a previously matched object.

Methods inherited from class eu.bandm.tools.ops.Pattern.Unary

bindsVariable, clear, cut, disturbsVariable, isDeterministic, savesVariable

Methods inherited from class eu.bandm.tools.ops.Pattern.Contravariant

narrow

Methods inherited from class eu.bandm.tools.ops.Pattern

and, any, both, either, eq, first, forInstancesOf, limit, matchOnce, none, or, p_null, somewhere, transform, uniquely, variable, variable

Methods inherited from class java.lang.Object

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

Constructor Detail

Proxy

protected Proxy()

Method Detail

match

public boolean match(A x)

Description copied from class: Pattern

Attempt to match this pattern against a given object. If the class of this pattern imposes a specific order on matches, the first one is chosen. The pattern is activated on success, but deactivated on failure.

Specified by:

match in class Pattern<A>

matchAgain

public boolean matchAgain()

Description copied from class: Pattern

Attempt to re-match this pattern against a previously matched object. If the class of this pattern imposes a specific order on matches, they are chosen in that order, beginning with the second one. The pattern is activated on success, but deactivated on failure. The behaviour of this method is unspecified if the pattern is currently deactivated.

Patterns classes that do not overwrite this method guarantee

Overrides:

matchAgain in class Pattern<A>