Class BoundExpressions

java.lang.Object

org.derive4j.processor.api.BoundExpressions

public final class BoundExpressions
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	BoundExpressions.CasesMatchers
private static final class	BoundExpressions.Expression_
private static final 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(List<FreeVariable> freeVariables, Expression expression)
static Expression	getExpression(BoundExpression boundExpression)
static List<FreeVariable>	getFreeVariables(BoundExpression boundExpression)
static BoundExpression	lazy(Supplier<BoundExpression> boundExpression)
static Function<BoundExpression, BoundExpression>	modExpression(Function<Expression, Expression> expressionMod)
static Function<BoundExpression, BoundExpression>	modFreeVariables(Function<List<FreeVariable>, List<FreeVariable>> freeVariablesMod)
static Function<BoundExpression, BoundExpression>	setExpression(Expression newExpression)
static Function<BoundExpression, BoundExpression>	setFreeVariables(List<FreeVariable> newFreeVariables)

Methods inherited from class Object

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

Constructor Details

BoundExpressions

private BoundExpressions()

Method Details

expression

public static BoundExpression expression(List<FreeVariable> freeVariables,
 Expression expression)

lazy

public static BoundExpression lazy(Supplier<BoundExpression> boundExpression)

cases

public static BoundExpressions.CasesMatchers.TotalMatcher_Expression cases()

getFreeVariables

public static List<FreeVariable> getFreeVariables(BoundExpression boundExpression)

getExpression

public static Expression getExpression(BoundExpression boundExpression)

setFreeVariables

public static Function<BoundExpression, BoundExpression> setFreeVariables(List<FreeVariable> newFreeVariables)

modFreeVariables

public static Function<BoundExpression, BoundExpression> modFreeVariables(Function<List<FreeVariable>, List<FreeVariable>> freeVariablesMod)

setExpression

public static Function<BoundExpression, BoundExpression> setExpression(Expression newExpression)

modExpression

public static Function<BoundExpression, BoundExpression> modExpression(Function<Expression, Expression> expressionMod)