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

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

Description

protected

Transform(Pattern<? super B> body)
Method Summary

Modifier and Type

Method

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 Details
- Transform
  
  protected Transform(Pattern<? super B> body)
Method Details
- 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>
  
  Returns:
  
  true if the matching is successful, false if it fails. Which Pattern.Variables are bound by a successful match is class-specific.
- 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>
  
  Returns:
  
  true if the matching is successful, false if it fails. Which Pattern.Variables are bound by a successful match is class-specific. The default implementation always returns false.
- isApplicable
  
  protected boolean isApplicable(A x)

Class Pattern.Transform<A,B>

Nested Class Summary