Package org.derive4j.processor.api

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

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 java.lang.Object

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

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)