equal
deleted
inserted
replaced
87 handlers.writeStartElement("oid"); |
87 handlers.writeStartElement("oid"); |
88 handlers.writeCharacters(value.toString()); |
88 handlers.writeCharacters(value.toString()); |
89 handlers.writeEndElement(); |
89 handlers.writeEndElement(); |
90 } |
90 } |
91 |
91 |
|
92 void writeDateTime(DateTimeType type, DateTime value) override { |
|
93 handlers.writeStartElement("date-time"); |
|
94 handlers.writeCharacters(value.toString()); |
|
95 handlers.writeEndElement(); |
|
96 } |
92 |
97 |
93 }; |
98 }; |
94 |
99 |
95 } |
100 } |
96 } |
101 } |