Class FreeVariables

java.lang.Object

org.derive4j.processor.api.FreeVariables

public final class FreeVariables
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	FreeVariables.CasesMatchers
private static final class	FreeVariables.Lazy
private static final class	FreeVariables.Variable

Constructor Summary

Constructors

Modifier	Constructor	Description
private	FreeVariables()

Method Summary

Modifier and Type	Method	Description
static FreeVariables.CasesMatchers.TotalMatcher_Variable	cases()
static String	getName(FreeVariable freeVariable)
static DeclaredType	getType(FreeVariable freeVariable)
static FreeVariable	lazy(Supplier<FreeVariable> freeVariable)
static Function<FreeVariable, FreeVariable>	modName(Function<String,String> nameMod)
static Function<FreeVariable, FreeVariable>	modType(Function<DeclaredType, DeclaredType> typeMod)
static Function<FreeVariable, FreeVariable>	setName(String newName)
static Function<FreeVariable, FreeVariable>	setType(DeclaredType newType)
static FreeVariable	variable(DeclaredType type, String name)

Methods inherited from class Object

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

Constructor Details

FreeVariables

private FreeVariables()

Method Details

variable

public static FreeVariable variable(DeclaredType type,
 String name)

lazy

public static FreeVariable lazy(Supplier<FreeVariable> freeVariable)

cases

public static FreeVariables.CasesMatchers.TotalMatcher_Variable cases()

getType

public static DeclaredType getType(FreeVariable freeVariable)

getName

public static String getName(FreeVariable freeVariable)

setType

public static Function<FreeVariable, FreeVariable> setType(DeclaredType newType)

modType

public static Function<FreeVariable, FreeVariable> modType(Function<DeclaredType, DeclaredType> typeMod)

setName

public static Function<FreeVariable, FreeVariable> setName(String newName)

modName

public static Function<FreeVariable, FreeVariable> modName(Function<String,String> nameMod)