eu.bandm.tools.paisley

Class Rule<A,B>

java.lang.Object

eu.bandm.tools.paisley.Rule<A,B>

All Implemented Interfaces:

Function<A,B>

public abstract class Rule<A,B>
extends Object
implements Function<A,B>

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Rule(Pattern<? super A> left)

Method Summary

Modifier and Type	Method and Description
B	apply(A target)
Iterable<B>	applyAll(A target)
abstract B	fire()
protected <C> Variable<C>	fresh()
protected <C> Variable<C>	fresh(String name)
boolean	match(A target)
static <A,B> Rule<A,B>	rule(Pattern<? super A> left, Supplier<? extends B> right)

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.function.Function

andThen, compose, identity

Constructor Detail

Rule

protected Rule(Pattern<? super A> left)

Method Detail

match

public boolean match(A target)

fire

public abstract B fire()

apply

public B apply(A target)

Specified by:

apply in interface Function<A,B>

applyAll

public Iterable<B> applyAll(A target)

fresh

protected <C> Variable<C> fresh()

fresh

protected <C> Variable<C> fresh(String name)

rule

public static <A,B> Rule<A,B> rule(Pattern<? super A> left,
                                   Supplier<? extends B> right)