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, wait
detect
public AbstractErrorDetector(java.lang.String id)
id
- the idjava.lang.NullPointerException
- if the id is null
java.lang.IllegalArgumentException
- if the id is empty or all whitespaceCopyright © 2011 Massachusetts Institute of Technology. All Rights Reserved.