org.eclipse.tptp.symptom.internal.util
Class RuleExtensionsRegistry

java.lang.Object
  java.util.AbstractMap
      java.util.HashMap
          org.eclipse.tptp.symptom.internal.util.RuleExtensionsRegistry

All Implemented Interfaces:

java.lang.Cloneable, java.util.Map, java.io.Serializable

public class RuleExtensionsRegistry

extends java.util.HashMap

See Also:

Serialized Form

Method Summary

static RuleExtensionsRegistry

getInstance()

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

Method Detail

getInstance

public static RuleExtensionsRegistry getInstance()