eu.bandm.tools.ops.meta

Class Variable<A>

java.lang.Object

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

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

public class Variable<A>
extends Expression<A>

Field Summary

Fields

Modifier and Type	Field and Description
protected Features	features

Constructor Summary

Constructors

Constructor and Description
Variable(Features features)
Variable(String name, Features features)

Method Summary

Modifier and Type	Method and Description
Computation<A>	implement(Features features) Creates an implementation of this expression having specified features.
eu.bandm.tools.ops.meta.Variable.Binding	set(A value)
String	toString()

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

implement, mapsTo

Methods inherited from class java.lang.Object

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

Field Detail

features

protected final Features features

Constructor Detail

Variable

public Variable(Features features)

Variable

public Variable(String name,
                Features features)

Method Detail

set

public eu.bandm.tools.ops.meta.Variable.Binding set(A value)

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

toString

public String toString()

Overrides:

toString in class Object