edu.rice.cs.cunit.threadCheck
Class XMLAnnotUtils.ConcurrentyDefinitions

java.lang.Object
  java.util.AbstractMap<K,V>
      java.util.HashMap<ThreadCheckAnnotationRecord,ThreadCheckDefinitionRecord>
          edu.rice.cs.cunit.threadCheck.XMLAnnotUtils.ConcurrentyDefinitions

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.util.Map<ThreadCheckAnnotationRecord,ThreadCheckDefinitionRecord>

Enclosing class:

XMLAnnotUtils

public static class XMLAnnotUtils.ConcurrentyDefinitions
extends java.util.HashMap<ThreadCheckAnnotationRecord,ThreadCheckDefinitionRecord>

Class that maintains a map between invariants and definitions.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class java.util.AbstractMap

java.util.AbstractMap.SimpleEntry<K,V>, java.util.AbstractMap.SimpleImmutableEntry<K,V>

Constructor Summary

XMLAnnotUtils.ConcurrentyDefinitions()

Method Summary

Methods inherited from class java.util.HashMap

clear, clone, containsKey, containsValue, entrySet, get, isEmpty, keySet, put, putAll, remove, size, values

Methods inherited from class java.util.AbstractMap

equals, hashCode, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Map

equals, hashCode

Constructor Detail

XMLAnnotUtils.ConcurrentyDefinitions

public XMLAnnotUtils.ConcurrentyDefinitions()