Package eu.bandm.tools.ramus.runtime2

Class Tagged

java.lang.Object

eu.bandm.tools.ramus.runtime2.Data

eu.bandm.tools.ramus.runtime2.Tagged

public class Tagged
extends Data

Nested Class Summary

Nested classes/interfaces inherited from class eu.bandm.tools.ramus.runtime2.Data

Data.View<A>

Constructor Summary

Constructors

Constructor	Description
Tagged(int index, int total, Data value)

Method Summary

Modifier and Type	Method	Description
int	getIndex()
int	getTotal()
Data	getValue()
static Function<Data,Data>	tag(int index, int total)
String	toString()

Methods inherited from class eu.bandm.tools.ramus.runtime2.Data

asAtomic, asAtomic, asContent, asOption, asPair, asSequence, asTagged

Methods inherited from class java.lang.Object

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

Constructor Details

Tagged

public Tagged(int index,
 int total,
 Data value)

Method Details

getIndex

public int getIndex()

getTotal

public int getTotal()

getValue

public Data getValue()

tag

public static Function<Data,Data> tag(int index,
 int total)

toString

public String toString()

Overrides:

toString in class Object