java.io.Serializable
public final class HeaderTerm extends StringTerm
Modifier and Type | Field | Description |
---|---|---|
protected java.lang.String |
headerName |
The header name.
|
ignoreCase, pattern
Constructor | Description |
---|---|
HeaderTerm(java.lang.String headerName,
java.lang.String pattern) |
Constructor.
|
Modifier and Type | Method | Description |
---|---|---|
boolean |
equals(java.lang.Object other) |
|
java.lang.String |
getHeaderName() |
Returns the name of the header to compare with.
|
int |
hashCode() |
|
boolean |
match(Message msg) |
Returns true if the header in the specified message matches the pattern
specified in this term.
|
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
getIgnoreCase, getPattern, match
public HeaderTerm(java.lang.String headerName, java.lang.String pattern)
headerName
- the header namepattern
- the pattern to search forpublic java.lang.String getHeaderName()
public boolean match(Message msg)
match
in class SearchTerm
public boolean equals(java.lang.Object other)
equals
in class StringTerm
public int hashCode()
hashCode
in class StringTerm
© Copyright 2003, 2004 The Free Software Foundation, All rights reserved