32 |
"ts b=\""+s.getScrollId()+ |
"ts b=\""+s.getScrollId()+ |
33 |
"\" s=\""+s.offset()+ |
"\" s=\""+s.offset()+ |
34 |
"\" e=\""+(s.offset()+s.length())+"\"/>"; |
"\" e=\""+(s.offset()+s.length())+"\"/>"; |
35 |
|
} else if(s0 instanceof PageSpan) { |
36 |
|
PageSpan s = (PageSpan)s0; |
37 |
|
return "<" + (namespace == null ? "" : |
38 |
|
namespace+":") + |
39 |
|
"ps b=\""+s.getScrollId()+ |
40 |
|
"\" s=\""+s.offset()+ |
41 |
|
"\" e=\""+(s.offset()+s.length())+"\"/>"; |
42 |
|
} else if(s0 instanceof PageImageSpan) { |
43 |
|
PageImageSpan s = (PageImageSpan)s0; |
44 |
|
java.awt.Point p = s.getLocation(); |
45 |
|
java.awt.Dimension d = s.getSize(); |
46 |
|
return "<" + (namespace == null ? "" : |
47 |
|
namespace+":") + |
48 |
|
"pis b=\""+s.getScrollId()+ |
49 |
|
"\" p=\""+s.getPageIndex()+ |
50 |
|
"\" x=\""+p.x+"\" y=\""+p.y+ |
51 |
|
"\" width=\""+d.width+ |
52 |
|
"\" height=\""+d.height+"\"/>"; |
53 |
} else { |
} else { |
54 |
throw new Error("Don't know how to serialize "+s0+" yet"); |
throw new Error("Don't know how to serialize "+s0+" yet"); |
55 |
} |
} |