public class PhaseRequest extends java.lang.Object implements RequestGenerator
| Constructor and Description |
|---|
PhaseRequest(org.w3c.dom.Element config) |
PhaseRequest(java.lang.String beginPhase,
TimeInterval beginOffset,
java.lang.String endPhase,
TimeInterval endOffset,
java.lang.String model) |
| Modifier and Type | Method and Description |
|---|---|
RequestFilter[] |
generateRequest(CacheEvent event,
ChannelImpl channel,
CookieJar jar) |
RequestFilter |
generateRequest(EventAccessOperations event,
Channel channel) |
PhaseRequest |
getPhaseReq() |
public PhaseRequest(org.w3c.dom.Element config)
throws ConfigurationException
ConfigurationExceptionpublic PhaseRequest(java.lang.String beginPhase,
TimeInterval beginOffset,
java.lang.String endPhase,
TimeInterval endOffset,
java.lang.String model)
throws edu.sc.seis.TauP.TauModelException
edu.sc.seis.TauP.TauModelExceptionpublic RequestFilter[] generateRequest(CacheEvent event, ChannelImpl channel, CookieJar jar) throws java.lang.Exception
generateRequest in interface RequestGeneratorjava.lang.Exceptionpublic RequestFilter generateRequest(EventAccessOperations event, Channel channel) throws java.lang.Exception
java.lang.Exceptionpublic PhaseRequest getPhaseReq()