diff options
author | Harvey Harrison <[email protected]> | 2014-07-07 07:26:05 -0700 |
---|---|---|
committer | Harvey Harrison <[email protected]> | 2014-07-07 07:26:05 -0700 |
commit | 908822aa64c03ec4e8ca9fd3202f740c3e844bbd (patch) | |
tree | 5407e36a2f9a273cdbea24bd567ef8e54dff73fa | |
parent | e774abd1a18ee53caa2c550718179f0567d45323 (diff) |
gluegen: remove the unused reverse map from TypeDictionary
-rw-r--r-- | src/java/com/jogamp/gluegen/cgram/types/TypeDictionary.java | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/java/com/jogamp/gluegen/cgram/types/TypeDictionary.java b/src/java/com/jogamp/gluegen/cgram/types/TypeDictionary.java index f6409db..cd03388 100644 --- a/src/java/com/jogamp/gluegen/cgram/types/TypeDictionary.java +++ b/src/java/com/jogamp/gluegen/cgram/types/TypeDictionary.java @@ -48,20 +48,12 @@ public class TypeDictionary { /** Mapping from type name to type.*/ private final HashMap<String, Type> map = new HashMap<String, Type>(); - /** Reverse mapping; created lazily from the regular map */ - private final HashMap<Set<Type>, String> reverseMap = new HashMap<Set<Type>, String>(); - - /** Has a type been added/removed since the last time the reverse map was - * calculated? */ - private boolean reverseMapOutOfDate = false; - /** * Create a mapping from a type to its name. * @param name the name to which the type is defined * @param type the type that can be referred to by the specified name. */ public Type put(final String name, final Type type) { - reverseMapOutOfDate = true; return map.put(name, type); } @@ -88,7 +80,6 @@ public class TypeDictionary { /** Remove the mapping from the specified name to its associated type.*/ public Type remove(final String name) { - reverseMapOutOfDate = true; return map.remove(name); } |