Class TypeRestrictions

java.lang.Object

org.derive4j.processor.api.model.TypeRestrictions

public final class TypeRestrictions
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	TypeRestrictions.CasesMatchers
private static final class	TypeRestrictions.Lazy
private static final class	TypeRestrictions.TypeRestriction_

Constructor Summary

Constructors

Modifier	Constructor	Description
private	TypeRestrictions()

Method Summary

Modifier and Type	Method	Description
static TypeRestrictions.CasesMatchers.TotalMatcher_TypeRestriction	cases()
static TypeMirror	getRefinementType(TypeRestriction typeRestriction)
static TypeVariable	getRestrictedTypeVariable(TypeRestriction typeRestriction)
static DataArgument	getTypeEq(TypeRestriction typeRestriction)
static TypeRestriction	lazy(Supplier<TypeRestriction> typeRestriction)
static Function<TypeRestriction, TypeRestriction>	modRefinementType(Function<TypeMirror, TypeMirror> refinementTypeMod)
static Function<TypeRestriction, TypeRestriction>	modRestrictedTypeVariable(Function<TypeVariable, TypeVariable> restrictedTypeVariableMod)
static Function<TypeRestriction, TypeRestriction>	modTypeEq(Function<DataArgument, DataArgument> typeEqMod)
static Function<TypeRestriction, TypeRestriction>	setRefinementType(TypeMirror newRefinementType)
static Function<TypeRestriction, TypeRestriction>	setRestrictedTypeVariable(TypeVariable newRestrictedTypeVariable)
static Function<TypeRestriction, TypeRestriction>	setTypeEq(DataArgument newTypeEq)
static TypeRestriction	typeRestriction(TypeVariable restrictedTypeVariable, TypeMirror refinementType, DataArgument typeEq)

Methods inherited from class Object

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

Constructor Details

TypeRestrictions

private TypeRestrictions()

Method Details

typeRestriction

public static TypeRestriction typeRestriction(TypeVariable restrictedTypeVariable,
 TypeMirror refinementType,
 DataArgument typeEq)

lazy

public static TypeRestriction lazy(Supplier<TypeRestriction> typeRestriction)

cases

public static TypeRestrictions.CasesMatchers.TotalMatcher_TypeRestriction cases()

getRestrictedTypeVariable

public static TypeVariable getRestrictedTypeVariable(TypeRestriction typeRestriction)

getRefinementType

public static TypeMirror getRefinementType(TypeRestriction typeRestriction)

getTypeEq

public static DataArgument getTypeEq(TypeRestriction typeRestriction)

setRestrictedTypeVariable

public static Function<TypeRestriction, TypeRestriction> setRestrictedTypeVariable(TypeVariable newRestrictedTypeVariable)

modRestrictedTypeVariable

public static Function<TypeRestriction, TypeRestriction> modRestrictedTypeVariable(Function<TypeVariable, TypeVariable> restrictedTypeVariableMod)

setRefinementType

public static Function<TypeRestriction, TypeRestriction> setRefinementType(TypeMirror newRefinementType)

modRefinementType

public static Function<TypeRestriction, TypeRestriction> modRefinementType(Function<TypeMirror, TypeMirror> refinementTypeMod)

setTypeEq

public static Function<TypeRestriction, TypeRestriction> setTypeEq(DataArgument newTypeEq)

modTypeEq

public static Function<TypeRestriction, TypeRestriction> modTypeEq(Function<DataArgument, DataArgument> typeEqMod)