eu.bandm.tools.ops.meta

Class Immediate<A>

java.lang.Object

eu.bandm.tools.ops.meta.Expression<A>

eu.bandm.tools.ops.meta.Term<A>

eu.bandm.tools.ops.meta.Immediate<A>

All Implemented Interfaces:

Cloneable

public class Immediate<A>
extends Term<A>

Method Summary

Modifier and Type	Method and Description
static <A,B,C> Expression<C>	fold(String name, BiFunction<A,B,C> op, Expression<A> left, Expression<B> right)
A	getValue()
Computation<A>	implement(Features features) Creates an implementation of this expression having specified features.
protected void	rewriteFields(List<?> args)

Methods inherited from class eu.bandm.tools.ops.meta.Term

arguments, checkArity, equals, equals, getName, hashCode, toString

Methods inherited from class eu.bandm.tools.ops.meta.Expression

implement, mapsTo

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

getValue

public A getValue()

rewriteFields

protected void rewriteFields(List<?> args)

Specified by:

rewriteFields in class Term<A>

implement

public Computation<A> implement(Features features)

Description copied from class: Expression

Creates an implementation of this expression having specified features.

Specified by:

implement in class Expression<A>

Parameters:

features - the specified features

fold

public static <A,B,C> Expression<C> fold(String name,
                                         BiFunction<A,B,C> op,
                                         Expression<A> left,
                                         Expression<B> right)