eu.bandm.tools.ops

Class Pattern.Transform<A,B>

java.lang.Object

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

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

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

eu.bandm.tools.ops.Pattern.Transform<A,B>

All Implemented Interfaces:

Function<A,B>

Enclosing class:

Pattern<A>

public abstract static class Pattern.Transform<A,B>
extends Pattern.Unary<B,A>
implements Function<A,B>

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	Transform(Pattern<? super B> body)

Method Summary

Modifier and Type	Method and Description
protected boolean	isApplicable(A x)
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

Methods inherited from interface eu.bandm.tools.ops.Function

apply

Constructor Detail

Transform

protected Transform(Pattern<? super B> body)

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>

isApplicable

protected boolean isApplicable(A x)