java.io.Serializable
public 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, wait
getIgnoreCase, getPattern, hashCode, match
public MessageIDTerm(java.lang.String msgid)
msgid
- the Message-Id to search forpublic boolean match(Message msg)
match
in class SearchTerm
public boolean equals(java.lang.Object other)
equals
in class StringTerm
© Copyright 2003, 2004 The Free Software Foundation, All rights reserved