public abstract class AbstractErrorDetector extends java.lang.Object implements IErrorDetector
| Constructor and Description |
|---|
AbstractErrorDetector(java.lang.String id)
Constructs a new abstract error detector with the specified id.
|
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getID()
Returns an ID string that uniquely identifies this object or object type.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitdetectpublic AbstractErrorDetector(java.lang.String id)
id - the idjava.lang.NullPointerException - if the id is nulljava.lang.IllegalArgumentException - if the id is empty or all whitespaceCopyright © 2011 Massachusetts Institute of Technology. All Rights Reserved.