public class TypeDictionary extends Object
Constructor and Description |
---|
TypeDictionary() |
Modifier and Type | Method and Description |
---|---|
boolean |
containsKey(String key) |
boolean |
containsValue(Type value) |
Set<Map.Entry<String,Type>> |
entrySet() |
Type |
get(String name)
Get the type corresponding to the given name.
|
boolean |
isEmpty() |
Set<String> |
keySet()
Get all the names that map to Types.
|
Type |
put(String name,
Type type)
Create a mapping from a type to its name.
|
Type |
remove(String name)
Remove the mapping from the specified name to its associated type.
|
Collection<Type> |
values()
Returns a collection of all the Types in the dictionary that are mapped via typedefs names.
|
public Type put(String name, Type type)
name
- the name to which the type is definedtype
- the type that can be referred to by the specified name.public Type get(String name)
public Type remove(String name)
public Set<String> keySet()
public boolean containsKey(String key)
public boolean containsValue(Type value)
public boolean isEmpty()
public Collection<Type> values()