| |
|
| java.lang.Object org.archive.crawler.settings.refinements.PortnumberCriteria
PortnumberCriteria | public class PortnumberCriteria implements Criteria(Code) | | A refinement criterion that checks if a URI matches a specific port number.
If the port number is not known it will try to use the default port number
for the URI's scheme.
author: John Erik Halse |
PortnumberCriteria | public PortnumberCriteria()(Code) | | Create a new instance of PortnumberCriteria.
|
PortnumberCriteria | public PortnumberCriteria(String portNumber)(Code) | | Create a new instance of PortnumberCriteria.
Parameters: portNumber - the port number for this criteria. |
getPortNumber | public String getPortNumber()(Code) | | Get the port number that is to be checked against a URI.
Returns the portNumber. |
isWithinRefinementBounds | public boolean isWithinRefinementBounds(UURI uri)(Code) | | |
setPortNumber | public void setPortNumber(String portNumber)(Code) | | Set the port number that is to be checked against a URI.
Parameters: portNumber - The portNumber to set. |
|
|
|