/** * Insert mark when knowing even the line offset. This method is used solely * by <tt>Analyzer</tt> when document is read. */ void insertMark(Mark mark, int offset, int line) throws BadLocationException, InvalidMarkException { mark.offset = offset; mark.line = line; marks.insert(mark); mark.setOp(this); }
marks.startMark.setOp(this);