public class XMLTime
extends java.lang.Object
Constructor and Description |
---|
XMLTime() |
Modifier and Type | Method and Description |
---|---|
static Time |
getFissuresTime(org.w3c.dom.Element element) |
static Time |
getFissuresTime(javax.xml.stream.XMLStreamReader parser) |
static void |
insert(org.w3c.dom.Element element,
Time time) |
static void |
insert(javax.xml.stream.XMLStreamWriter writer,
Time time) |
public static void insert(javax.xml.stream.XMLStreamWriter writer, Time time) throws javax.xml.stream.XMLStreamException
javax.xml.stream.XMLStreamException
public static void insert(org.w3c.dom.Element element, Time time)
public static Time getFissuresTime(org.w3c.dom.Element element)
public static Time getFissuresTime(javax.xml.stream.XMLStreamReader parser) throws javax.xml.stream.XMLStreamException
javax.xml.stream.XMLStreamException