14 |
public String namespace; |
public String namespace; |
15 |
|
|
16 |
public String span2xml(Span s0) { |
public String span2xml(Span s0) { |
17 |
if(s0 instanceof org.nongnu.alph.impl.URN5TextSpan) { |
if(s0 instanceof org.nongnu.alph.impl.FakeTextSpan) { |
18 |
org.nongnu.alph.impl.URN5TextSpan t = (org.nongnu.alph.impl.URN5TextSpan)s0; |
org.nongnu.alph.impl.FakeTextSpan t = |
19 |
|
(org.nongnu.alph.impl.FakeTextSpan)s0; |
20 |
|
return "<fts t=\""+ |
21 |
|
XMLUtil.escapeXML(t.getText())+"\"/>"; |
22 |
|
} else if(s0 instanceof org.nongnu.alph.impl.URN5TextSpan) { |
23 |
|
org.nongnu.alph.impl.URN5TextSpan t = |
24 |
|
(org.nongnu.alph.impl.URN5TextSpan)s0; |
25 |
return "<uts b=\""+t.getScrollId()+ |
return "<uts b=\""+t.getScrollId()+ |
26 |
"\" o=\""+t.offset()+ |
"\" o=\""+t.offset()+ |
27 |
"\" t=\""+XMLUtil.escapeXML(t.getText())+"\"/>"; |
"\" t=\""+XMLUtil.escapeXML(t.getText())+"\"/>"; |