java.io.Serializablepublic final class MessageIDTerm extends StringTerm
ignoreCase, pattern| Constructor | Description |
|---|---|
MessageIDTerm(java.lang.String msgid) |
Constructor.
|
| Modifier and Type | Method | Description |
|---|---|---|
boolean |
equals(java.lang.Object other) |
|
boolean |
match(Message msg) |
Returns true if the given message's Message-Id matches the
Message-Id specified in this term.
|
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, waitgetIgnoreCase, getPattern, hashCode, matchpublic MessageIDTerm(java.lang.String msgid)
msgid - the Message-Id to search forpublic boolean match(Message msg)
match in class SearchTermpublic boolean equals(java.lang.Object other)
equals in class StringTerm© Copyright 2003, 2004 The Free Software Foundation, All rights reserved