Package | Description |
---|---|
eu.bandm.tools.ramus.runtime2 |
Modifier and Type | Method and Description |
---|---|
ReverseList<A> |
ReverseList.append(A last)
Returns an extension of this list by a given element.
|
static <A> ReverseList<A> |
ReverseList.build(A... elems)
Returns a reverse list copy of the given array.
|
static <A> ReverseList<A> |
ReverseList.build(List<? extends A> elems)
Returns a reverse list copy of the given list.
|
static <A> ReverseList<A> |
ReverseList.cast(@Opt ReverseList<? extends A> list) |
static <A> ReverseList<A> |
ReverseList.empty() |
ReverseList<A> |
ReverseList.getFront()
Returns the sublist wothout the last element, if any.
|
Modifier and Type | Method and Description |
---|---|
static <A> ReverseList<A> |
ReverseList.cast(@Opt ReverseList<? extends A> list) |
static <A> List<A> |
ReverseList.snapshot(ReverseList<A> rev)
Deprecated.
use the instance method
snapshot() instead. |
protected void |
Action.Visitor.visitObstruction(O obstruction,
ReverseList<M> msgStack) |
protected void |
Action.Visitor.visitResult(R result,
ReverseList<M> msgStack) |
Modifier and Type | Method and Description |
---|---|
static <R,M,O> Action.Visitor<R,M,O> |
Action.forEachObstruction(BiConsumer<O,ReverseList<M>> op) |
static <R,M,O> Action.Visitor<R,M,O> |
Action.forEachResult(BiConsumer<R,ReverseList<M>> op) |
Constructor and Description |
---|
ReverseList(ReverseList<? extends A> front,
A last) |
see also the complete user documentation .