io.parsingdata.metal

Interface Trampoline<T>

All Known Subinterfaces:

Trampoline.CompletedTrampoline<T>, Trampoline.IntermediateTrampoline<T>

public interface Trampoline<T>

Implements the concept of a trampoline, a mechanism that encodes a tail recursive call into a lambda, which can then be returned (unwinding the stack) and invoked. There is still some mutable local state in the computeResult() method required to perform the iteration, but the client code can be fully immutable as a result.

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	Trampoline.CompletedTrampoline<T>
static interface	Trampoline.IntermediateTrampoline<T>

Method Summary

Modifier and Type	Method and Description
static <T> Trampoline<T>	complete(Trampoline.CompletedTrampoline<T> completedTrampoline)
default T	computeResult()
boolean	hasNext()
static <T> Trampoline<T>	intermediate(Trampoline.IntermediateTrampoline<T> intermediateTrampoline)
Trampoline<T>	next()
T	result()

Method Detail

result

T result()

hasNext

boolean hasNext()

next

Trampoline<T> next()

computeResult

default T computeResult()

complete

static <T> Trampoline<T> complete(Trampoline.CompletedTrampoline<T> completedTrampoline)

intermediate

static <T> Trampoline<T> intermediate(Trampoline.IntermediateTrampoline<T> intermediateTrampoline)