public Span clone(){ Span result = new Span( start, end ); result.setSrcSpan( this.getSrcSpan() ); return result; } }
private Span getTag(SpanManager sm, int offset) { int start = sm.indexOf("<", offset); if (start == -1) { return null; } int end = sm.indexOf(">", start); if (end == -1) { return null; } Span s = new Span(start, end + 1); if (calculateSrcSpans) { s .setSrcSpan(new SrcSpan(sm.getSrcPos(start), sm .getSrcPos(end) + 1)); } return s; }
qs.setSrcSpan(new SrcSpan(sm.getSrcPos(openTag), sm .getSrcPos(line.getEnd())));
qs.setSrcSpan(new SrcSpan(sm.getSrcPos(start), sm.getSrcPos(end + qlen - 1) + 1));
if (calculateSrcSpans) tSpan.setSrcSpan(new SrcSpan(sm.getSrcPos(s.getStart()), sm .getSrcPos(e.getEnd())));