Class JTypeContext.TypeMetavarMap

java.lang.Object

honeyroasted.jype.system.solver.constraints.JTypeContext.TypeMetavarMap

All Implemented Interfaces:

honeyroasted.almonds.SimpleName, Function<JType,JType>

Enclosing interface:

JTypeContext

public static final class JTypeContext.TypeMetavarMap
extends Object
implements Function<JType,JType>, honeyroasted.almonds.SimpleName

Constructor Summary

Constructors

Constructor	Description
TypeMetavarMap(Map<JMetaVarType, JType> instantiations, Map<JVarType, JMetaVarType> metaVars)

Method Summary

Modifier and Type	Method	Description
JType	apply(JType type)
Collection<JType>	apply(Collection<JType> types, Supplier<Collection<JType>> constructor)
static JTypeContext.TypeMetavarMap	createEmpty()
static JTypeContext.TypeMetavarMap	empty()
boolean	equals(Object object)
int	hashCode()
Map<JMetaVarType, JType>	instantiations()
Map<JVarType, JMetaVarType>	metaVars()
JMetaVarTypeResolveVisitor	metaVarTypeResolveVisitor()
String	simpleName()
String	toString()
JVarTypeResolveVisitor	varTypeResolveVisitor()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.function.Function

andThen, compose

Constructor Details

TypeMetavarMap

public TypeMetavarMap(Map<JMetaVarType, JType> instantiations,
 Map<JVarType, JMetaVarType> metaVars)

Method Details

createEmpty

public static JTypeContext.TypeMetavarMap createEmpty()

empty

public static JTypeContext.TypeMetavarMap empty()

instantiations

public Map<JMetaVarType, JType> instantiations()

metaVars

public Map<JVarType, JMetaVarType> metaVars()

varTypeResolveVisitor

public JVarTypeResolveVisitor varTypeResolveVisitor()

metaVarTypeResolveVisitor

public JMetaVarTypeResolveVisitor metaVarTypeResolveVisitor()

apply

public JType apply(JType type)

Specified by:

apply in interface Function<JType,JType>

apply

public Collection<JType> apply(Collection<JType> types,
 Supplier<Collection<JType>> constructor)

toString

public String toString()

Overrides:

toString in class Object

simpleName

public String simpleName()

Specified by:

simpleName in interface honeyroasted.almonds.SimpleName

equals

public boolean equals(Object object)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object