this.buffer = buffer; this.start = start; this.end = end; Element map = buffer.getDefaultRootElement(); int line = map.getElementIndex(start.getOffset());
if(!buffer.isTemporary()) bufferOpened(buffer); path = buffer.getPath(); this.line = line;
		SearchResult(Buffer buffer, Position start, Position end)		{			this.buffer = buffer;			this.start = start;			this.end = end;			Element map = buffer.getDefaultRootElement();			int line = map.getElementIndex(start.getOffset());			str = buffer.getName() + ":" + (line + 1) + ":"				+ getLine(map.getElement(line));		}