equal
deleted
inserted
replaced
74 private NamespaceDecl activeNamespaces; |
74 private NamespaceDecl activeNamespaces; |
75 |
75 |
76 |
76 |
77 Document(XmlSerializer out) { |
77 Document(XmlSerializer out) { |
78 this.out = out; |
78 this.out = out; |
79 for( DatatypeWriter dw : DatatypeWriter.BUILDIN ) |
79 for( DatatypeWriter dw : DatatypeWriter.BUILTIN ) |
80 datatypeWriters.put(dw.getType(),dw); |
80 datatypeWriters.put(dw.getType(),dw); |
81 } |
81 } |
82 |
82 |
83 void flush() { |
83 void flush() { |
84 out.flush(); |
84 out.flush(); |