Package org.derive4j.processor.api
Class BoundExpressions.Expression_
- java.lang.Object
-
- org.derive4j.processor.api.BoundExpression
-
- org.derive4j.processor.api.BoundExpressions.Expression_
-
- Enclosing class:
- BoundExpressions
private static final class BoundExpressions.Expression_ extends BoundExpression
-
-
Field Summary
Fields Modifier and Type Field Description private Expression
expression
private java.util.List<FreeVariable>
freeVariables
-
Constructor Summary
Constructors Constructor Description Expression_(java.util.List<FreeVariable> freeVariables, Expression expression)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description <X> X
expression(java.util.function.BiFunction<java.util.List<FreeVariable>,Expression,X> expression)
-
-
-
Field Detail
-
freeVariables
private final java.util.List<FreeVariable> freeVariables
-
expression
private final Expression expression
-
-
Constructor Detail
-
Expression_
Expression_(java.util.List<FreeVariable> freeVariables, Expression expression)
-
-
Method Detail
-
expression
public <X> X expression(java.util.function.BiFunction<java.util.List<FreeVariable>,Expression,X> expression)
- Specified by:
expression
in classBoundExpression
-
-