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
All Methods Static Methods Concrete Methods 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)
-
-
-
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)
-
-