Package eu.bandm.tools.ramus.runtime2

Class Update<M>

java.lang.Object

eu.bandm.tools.ramus.runtime2.Update<M>

All Implemented Interfaces:

Action.Continuation<State,State,M,State>, Function<State,Action<State,M,State>>

public abstract class Update<M>
extends Object
implements Action.Continuation<State,State,M,State>

Field Summary

Fields

Modifier and Type	Field	Description
(package private) static final boolean	OPTIMIZE

Method Summary

Modifier and Type	Method	Description
static <M> Update<M>	access(Object key)
static <M> Update	add(Object key)
static <M> Update<M>	assign(Object key)
static <M> Action.BiContinuation<Data,Data,Data,M,State>	collectOp(BiFunction<? super Data,? super Data,? extends M> error)
(package private) abstract int	complexity()
static <M> Update<M>	compose(Update<M> first, Update<M> second)
static <M> Update<M>	id()
final Update<M>	ignoringResult()
static <M> Update<M>	lift(Action.Continuation<? super State,State,M,State> cons)
static <M> Update<M>	lift(Action.Continuation<? super State,State,M,State> cons, int complexity)
static <M> Update<M>	map(Function<Data,Data> op)
static <M> Update<M>	merge(Action.BiContinuation<Data,Data,Data,M,State> op, Update<M> first, Update<M> second)
(package private) abstract Update<M>	optimize()
static <M> Update<M>	pop()
static <M> Update<M>	push()
static <M> Update<M>	pushEntries(Map<Object,? extends Data> entries)
static <M> Update<M>	pushEntry(Object key, Data value)
static <M> Update<M>	remove(Object key)
static <M> Update<M>	removeAll(Collection<Object> keys)
static <M> Update<M>	setEntries(Map<Object,? extends Data> entries)
static <M> Update<M>	setEntry(Object key, Data value)
static <M> Update<M>	setValue(Data value)
(package private) void	spillTo(Collection<? super Update<M>> elems)

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.ramus.runtime2.Action.Continuation

apply, apply

Methods inherited from interface java.util.function.Function

andThen, compose

Field Details

OPTIMIZE

static final boolean OPTIMIZE

See Also:

• Constant Field Values

Method Details

complexity

abstract int complexity()

optimize

abstract Update<M> optimize()

spillTo

void spillTo(Collection<? super Update<M>> elems)

id

public static <M> Update<M> id()

compose

public static <M> Update<M> compose(Update<M> first,
 Update<M> second)

setValue

public static <M> Update<M> setValue(Data value)

setEntry

public static <M> Update<M> setEntry(Object key,
 Data value)

setEntries

public static <M> Update<M> setEntries(Map<Object,? extends Data> entries)

push

public static <M> Update<M> push()

pushEntry

public static <M> Update<M> pushEntry(Object key,
 Data value)

pushEntries

public static <M> Update<M> pushEntries(Map<Object,? extends Data> entries)

pop

public static <M> Update<M> pop()

assign

public static <M> Update<M> assign(Object key)

access

public static <M> Update<M> access(Object key)

add

public static <M> Update add(Object key)

remove

public static <M> Update<M> remove(Object key)

removeAll

public static <M> Update<M> removeAll(Collection<Object> keys)

lift

public static <M> Update<M> lift(Action.Continuation<? super State,State,M,State> cons)

lift

public static <M> Update<M> lift(Action.Continuation<? super State,State,M,State> cons,
 int complexity)

map

public static <M> Update<M> map(Function<Data,Data> op)

merge

public static <M> Update<M> merge(Action.BiContinuation<Data,Data,Data,M,State> op,
 Update<M> first,
 Update<M> second)

collectOp

public static <M>
Action.BiContinuation<Data,Data,Data,M,State> collectOp(BiFunction<? super Data,? super Data,? extends M> error)

ignoringResult

public final Update<M> ignoringResult()