38 |
public String namespace; |
public String namespace; |
39 |
|
|
40 |
public String span2xml(Span s0) { |
public String span2xml(Span s0) { |
41 |
if(s0 instanceof org.nongnu.alph.impl.FakeTextSpan) { |
if(s0 instanceof org.nongnu.alph.FakeTextSpan) { |
42 |
org.nongnu.alph.impl.FakeTextSpan t = |
org.nongnu.alph.FakeTextSpan t = |
43 |
(org.nongnu.alph.impl.FakeTextSpan)s0; |
(org.nongnu.alph.FakeTextSpan)s0; |
44 |
return "<fts t=\""+ |
return "<fts t=\""+ |
45 |
XMLUtil.escapeXML(t.getText())+"\"/>"; |
XMLUtil.escapeXML(t.getText())+"\"/>"; |
46 |
} else if(s0 instanceof org.nongnu.alph.impl.URN5TextSpan) { |
} else if(s0 instanceof org.nongnu.alph.RICCTextSpan) { |
47 |
org.nongnu.alph.impl.URN5TextSpan t = |
org.nongnu.alph.RICCTextSpan t = |
48 |
(org.nongnu.alph.impl.URN5TextSpan)s0; |
(org.nongnu.alph.RICCTextSpan)s0; |
49 |
return "<uts b=\""+t.getScrollId()+ |
return "<uts b=\""+t.getScrollId()+ |
50 |
"\" o=\""+t.offset()+ |
"\" o=\""+t.offset()+ |
51 |
"\" t=\""+XMLUtil.escapeXML(t.getText())+"\"/>"; |
"\" t=\""+XMLUtil.escapeXML(t.getText())+"\"/>"; |