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

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)

Methods inherited from class java.lang.Object

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

Constructor Detail

BoundExpressions

private BoundExpressions()

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)