Package org.derive4j.processor.api

Class FreeVariables

java.lang.Object

org.derive4j.processor.api.FreeVariables

public final class FreeVariables
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	FreeVariables.CasesMatchers
private static class	FreeVariables.Lazy
private static 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 java.lang.String	getName(FreeVariable freeVariable)
static javax.lang.model.type.DeclaredType	getType(FreeVariable freeVariable)
static FreeVariable	lazy(java.util.function.Supplier<FreeVariable> freeVariable)
static java.util.function.Function<FreeVariable,FreeVariable>	modName(java.util.function.Function<java.lang.String,java.lang.String> nameMod)
static java.util.function.Function<FreeVariable,FreeVariable>	modType(java.util.function.Function<javax.lang.model.type.DeclaredType,javax.lang.model.type.DeclaredType> typeMod)
static java.util.function.Function<FreeVariable,FreeVariable>	setName(java.lang.String newName)
static java.util.function.Function<FreeVariable,FreeVariable>	setType(javax.lang.model.type.DeclaredType newType)
static FreeVariable	variable(javax.lang.model.type.DeclaredType type, java.lang.String name)

Methods inherited from class java.lang.Object

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

Constructor Detail

FreeVariables

private FreeVariables()

Method Detail

variable

public static FreeVariable variable(javax.lang.model.type.DeclaredType type,
                                    java.lang.String name)

lazy

public static FreeVariable lazy(java.util.function.Supplier<FreeVariable> freeVariable)

cases

public static FreeVariables.CasesMatchers.TotalMatcher_Variable cases()

getType

public static javax.lang.model.type.DeclaredType getType(FreeVariable freeVariable)

getName

public static java.lang.String getName(FreeVariable freeVariable)

setType

public static java.util.function.Function<FreeVariable,FreeVariable> setType(javax.lang.model.type.DeclaredType newType)

modType

public static java.util.function.Function<FreeVariable,FreeVariable> modType(java.util.function.Function<javax.lang.model.type.DeclaredType,javax.lang.model.type.DeclaredType> typeMod)

setName

public static java.util.function.Function<FreeVariable,FreeVariable> setName(java.lang.String newName)

modName

public static java.util.function.Function<FreeVariable,FreeVariable> modName(java.util.function.Function<java.lang.String,java.lang.String> nameMod)