public class TypeDictionary extends Object
Constructor | Description |
---|---|
TypeDictionary() |
Modifier and Type | Method | 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.
|
List<Type> |
getEqualSemantics(Type s,
JavaConfiguration cfg,
boolean skipOpaque) |
|
Type |
getEqualSemantics1(Type s,
JavaConfiguration cfg,
boolean skipOpaque) |
|
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 List<Type> getEqualSemantics(Type s, JavaConfiguration cfg, boolean skipOpaque)
public Type getEqualSemantics1(Type s, JavaConfiguration cfg, boolean skipOpaque)
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()