}
public void lineGetStyle(LineStyleEvent event) {	int lineStart = event.lineOffset;	int lineEnd = lineStart + event.lineText.length();	int high = searchForStyle(lineStart, lineEnd);	StyleRange style = null;	Vector lineStyles = new Vector();	// index will represent a style that 	// -- starts after the line (end processing)	// -- ends before the line (continue processing)	// -- starts before the line, ends in the line (add range)	// -- starts in the line, ends in the line (add range)	// -- starts in the line, ends after the line (add range)	// -- starts before the line, ends after the line (add range)	for (int index = high; index < styleCount; index++) {		style = styles[index];		if (style.start > lineEnd)			// style starts after the line, end looping 			break;		int styleEnd = style.start + style.length - 1;		if (styleEnd >= lineStart) lineStyles.addElement(style);	}	event.styles = new StyleRange[lineStyles.size()];	lineStyles.copyInto(event.styles);}