manifold.ext

Class TypeVarToTypeMap

java.lang.Object

manifold.ext.TypeVarToTypeMap

public class TypeVarToTypeMap
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	TypeVarToTypeMap.ITypeVarMatcher<E>

Field Summary

Fields

Modifier and Type	Field and Description
static TypeVarToTypeMap	EMPTY_MAP

Constructor Summary

Constructors

Constructor and Description
TypeVarToTypeMap()
TypeVarToTypeMap(TypeVarToTypeMap from)

Method Summary

Modifier and Type	Method and Description
boolean	containsKey(TypeVariable tvType)
Set<Map.Entry<TypeVariable,Pair<Type,Boolean>>>	entrySet()
Type	get(TypeVariable tvType)
<E> Type	getByMatcher(E tv, TypeVarToTypeMap.ITypeVarMatcher<E> matcher)
Type	getByString(String tv)
Pair<Type,Boolean>	getPair(TypeVariable tvType)
boolean	isEmpty()
boolean	isInferredForCovariance(TypeVariable tv)
boolean	isReparsing()
boolean	isStructural()
Set<TypeVariable>	keySet()
Type	put(TypeVariable tvType, Type type)
Type	put(TypeVariable tvType, Type type, boolean bReverse)
void	putAll(TypeVarToTypeMap from)
void	putAllAndInferred(TypeVarToTypeMap from)
Type	remove(TypeVariable tvType)
void	setInferredForCovariance(TypeVariable tv)
void	setReparsing(boolean bReparsing)
void	setStructural(boolean bStructural)
int	size()
Collection<Pair<Type,Boolean>>	values()

Methods inherited from class java.lang.Object

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

Field Detail

EMPTY_MAP

public static final TypeVarToTypeMap EMPTY_MAP

Constructor Detail

TypeVarToTypeMap

public TypeVarToTypeMap()

TypeVarToTypeMap

public TypeVarToTypeMap(TypeVarToTypeMap from)

Method Detail

get

public Type get(TypeVariable tvType)

getPair

public Pair<Type,Boolean> getPair(TypeVariable tvType)

getByMatcher

public <E> Type getByMatcher(E tv,
                             TypeVarToTypeMap.ITypeVarMatcher<E> matcher)

getByString

public Type getByString(String tv)

containsKey

public boolean containsKey(TypeVariable tvType)

put

public Type put(TypeVariable tvType,
                Type type)

put

public Type put(TypeVariable tvType,
                Type type,
                boolean bReverse)

putAll

public void putAll(TypeVarToTypeMap from)

putAllAndInferred

public void putAllAndInferred(TypeVarToTypeMap from)

isEmpty

public boolean isEmpty()

size

public int size()

keySet

public Set<TypeVariable> keySet()

entrySet

public Set<Map.Entry<TypeVariable,Pair<Type,Boolean>>> entrySet()

remove

public Type remove(TypeVariable tvType)

values

public Collection<Pair<Type,Boolean>> values()

isStructural

public boolean isStructural()

setStructural

public void setStructural(boolean bStructural)

isInferredForCovariance

public boolean isInferredForCovariance(TypeVariable tv)

setInferredForCovariance

public void setInferredForCovariance(TypeVariable tv)

isReparsing

public boolean isReparsing()

setReparsing

public void setReparsing(boolean bReparsing)