Class FreeVariables.Lazy

java.lang.Object

org.derive4j.processor.api.FreeVariable

org.derive4j.processor.api.FreeVariables.Lazy

Enclosing class:

FreeVariables

private static final class FreeVariables.Lazy
extends FreeVariable

Nested Class Summary

Nested classes/interfaces inherited from class FreeVariable

FreeVariable.Case<X>

Field Summary

Fields

Modifier and Type	Field	Description
private FreeVariable	evaluation
private Supplier<FreeVariable>	expression

Constructor Summary

Constructors

Constructor	Description
Lazy(Supplier<FreeVariable> freeVariable)

Method Summary

Modifier and Type	Method	Description
private FreeVariable	_evaluate()
<X> X	variable(FreeVariable.Case<X> variable)

Methods inherited from class Object

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

Field Details

expression

private volatile Supplier<FreeVariable> expression

evaluation

private FreeVariable evaluation

Constructor Details

Lazy

Lazy(Supplier<FreeVariable> freeVariable)

Method Details

_evaluate

private FreeVariable _evaluate()

variable

public <X> X variable(FreeVariable.Case<X> variable)

Specified by:

variable in class FreeVariable