Package org.derive4j.processor.api
Class BoundExpressions
- java.lang.Object
-
- org.derive4j.processor.api.BoundExpressions
-
public final class BoundExpressions extends java.lang.Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
BoundExpressions.CasesMatchers
private static class
BoundExpressions.Expression_
private static class
BoundExpressions.Lazy
-
Constructor Summary
Constructors Modifier Constructor Description private
BoundExpressions()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static BoundExpressions.CasesMatchers.TotalMatcher_Expression
cases()
static BoundExpression
expression(java.util.List<FreeVariable> freeVariables, Expression expression)
static Expression
getExpression(BoundExpression boundExpression)
static java.util.List<FreeVariable>
getFreeVariables(BoundExpression boundExpression)
static BoundExpression
lazy(java.util.function.Supplier<BoundExpression> boundExpression)
static java.util.function.Function<BoundExpression,BoundExpression>
modExpression(java.util.function.Function<Expression,Expression> expressionMod)
static java.util.function.Function<BoundExpression,BoundExpression>
modFreeVariables(java.util.function.Function<java.util.List<FreeVariable>,java.util.List<FreeVariable>> freeVariablesMod)
static java.util.function.Function<BoundExpression,BoundExpression>
setExpression(Expression newExpression)
static java.util.function.Function<BoundExpression,BoundExpression>
setFreeVariables(java.util.List<FreeVariable> newFreeVariables)
-
-
-
Method Detail
-
expression
public static BoundExpression expression(java.util.List<FreeVariable> freeVariables, Expression expression)
-
lazy
public static BoundExpression lazy(java.util.function.Supplier<BoundExpression> boundExpression)
-
cases
public static BoundExpressions.CasesMatchers.TotalMatcher_Expression cases()
-
getFreeVariables
public static java.util.List<FreeVariable> getFreeVariables(BoundExpression boundExpression)
-
getExpression
public static Expression getExpression(BoundExpression boundExpression)
-
setFreeVariables
public static java.util.function.Function<BoundExpression,BoundExpression> setFreeVariables(java.util.List<FreeVariable> newFreeVariables)
-
modFreeVariables
public static java.util.function.Function<BoundExpression,BoundExpression> modFreeVariables(java.util.function.Function<java.util.List<FreeVariable>,java.util.List<FreeVariable>> freeVariablesMod)
-
setExpression
public static java.util.function.Function<BoundExpression,BoundExpression> setExpression(Expression newExpression)
-
modExpression
public static java.util.function.Function<BoundExpression,BoundExpression> modExpression(java.util.function.Function<Expression,Expression> expressionMod)
-
-