Package org.derive4j.processor.api
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 org.derive4j.processor.api.FreeVariable
FreeVariable.Case<X>
-
-
Field Summary
Fields Modifier and Type Field Description private FreeVariable
evaluation
private java.util.function.Supplier<FreeVariable>
expression
-
Constructor Summary
Constructors Constructor Description Lazy(java.util.function.Supplier<FreeVariable> freeVariable)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description private FreeVariable
_evaluate()
<X> X
variable(FreeVariable.Case<X> variable)
-
-
-
Field Detail
-
expression
private volatile java.util.function.Supplier<FreeVariable> expression
-
evaluation
private FreeVariable evaluation
-
-
Constructor Detail
-
Lazy
Lazy(java.util.function.Supplier<FreeVariable> freeVariable)
-
-
Method Detail
-
_evaluate
private FreeVariable _evaluate()
-
variable
public <X> X variable(FreeVariable.Case<X> variable)
- Specified by:
variable
in classFreeVariable
-
-