| 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 .