public class Pick
extends java.lang.Object
| Constructor and Description |
|---|
Pick(javax.xml.stream.XMLEventReader reader) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getPublicId() |
Time |
getTime() |
java.lang.String |
getWaveformID() |
public Pick(javax.xml.stream.XMLEventReader reader)
throws javax.xml.stream.XMLStreamException,
SeisFileException
javax.xml.stream.XMLStreamExceptionSeisFileExceptionpublic java.lang.String getPublicId()
public Time getTime()
public java.lang.String getWaveformID()