/**
* Draw every char in separate terminal cell to guaranty equal width for different lines.
* Nevertheless to improve kerning we draw word characters as one block for monospaced fonts.
*/
private void drawChars(int x, int y, CharBuffer buf, TextStyle style, Graphics2D gfx) {
final int blockLen = 1;
int offset = 0;
int drawCharsOffset = 0;
// workaround to fix Swing bad rendering of bold special chars on Linux
// TODO required for italic?
CharBuffer renderingBuffer;
if (mySettingsProvider.DECCompatibilityMode() && style.hasOption(TextStyle.Option.BOLD)) {
renderingBuffer = CharUtils.heavyDecCompatibleBuffer(buf);
} else {
renderingBuffer = buf;
}
while (offset + blockLen <= buf.length()) {
if (renderingBuffer.getBuf()[buf.getStart() + offset] == CharUtils.DWC) {
offset += blockLen;
drawCharsOffset += blockLen;
continue; // dont' draw second part(fake one) of double width character
}
Font font = getFontToDisplay(buf.charAt(offset + blockLen - 1), style);
// while (myMonospaced && (offset + blockLen < buf.getLength()) &&
// isWordCharacter(buf.charAt(offset + blockLen - 1))
// && (font == getFontToDisplay(buf.charAt(offset + blockLen - 1), style))) {
// blockLen++;
// }
gfx.setFont(font);
int descent = gfx.getFontMetrics(font).getDescent();
int baseLine = (y + 1) * myCharSize.height - descent;
int xCoord = (x + drawCharsOffset) * myCharSize.width;
int textLength =
CharUtils.getTextLengthDoubleWidthAware(
buf.getBuf(),
buf.getStart() + offset,
blockLen,
mySettingsProvider.ambiguousCharsAreDoubleWidth());
int yCoord = y * myCharSize.height;
gfx.setClip(
xCoord,
yCoord,
Math.min(textLength * myCharSize.width, getWidth() - xCoord),
Math.min(myCharSize.height, getHeight() - yCoord));
gfx.setColor(getPalette().getColor(myStyleState.getForeground(style.getForegroundForRun())));
gfx.drawChars(renderingBuffer.getBuf(), buf.getStart() + offset, blockLen, xCoord, baseLine);
drawCharsOffset += blockLen;
offset += blockLen;
}
gfx.setClip(null);
}
public UndoableEdit insertString(int where, String str, boolean beforeMarkers)
throws BadLocationException {
CharBuffer b = buffer;
if (where < 0 || where > b.length()) throw new BadLocationException("bad insert", where);
b.insert(where, str, beforeMarkers);
GapUndoableEdit undo = new GapUndoableEdit(where);
undo.content = this;
undo.data = str;
undo.nitems = str.length();
undo.isInsertion = true;
return undo;
}
private int parseInt(CharBuffer cb) throws Exception {
int value = 0;
int sign = 1;
for (int i = 0; i < cb.length(); i++) {
int ch = cb.charAt(i);
if (i == 0 && ch == '-') sign = -1;
else if (i == 0 && ch == '+') {
} else if (ch >= '0' && ch <= '9') value = 10 * value + ch - '0';
else throw new Exception();
}
return sign * value;
}
public UndoableEdit remove(int where, int nitems) throws BadLocationException {
CharBuffer b = buffer;
if (nitems < 0 || where < 0 || where + nitems > b.length())
throw new BadLocationException("invalid remove", where);
b.delete(where, nitems);
GapUndoableEdit undo = new GapUndoableEdit(where);
undo.content = this;
undo.data = new String(b.getArray(), b.gapEnd - nitems, nitems);
undo.nitems = nitems;
undo.isInsertion = false;
return undo;
}
/*
* Scan to whitespace or ':'
*/
private int scan(String string, int i, CharBuffer cb, boolean dash) throws Exception {
char ch;
cb.setLength(0);
int strlen = string.length();
for (; i < strlen; i++) {
if (!Character.isWhitespace(ch = string.charAt(i)) && (ch != ':' && (!dash || ch != '-')))
break;
}
for (; i < strlen; i++) {
if (!Character.isWhitespace(ch = string.charAt(i)) && (ch != ':' && (!dash || ch != '-')))
cb.append((char) ch);
else break;
}
if (cb.length() == 0) throw new Exception();
return i;
}
private void drawCharacters(int x, int y, TextStyle style, CharBuffer buf, Graphics2D gfx) {
int xCoord = x * myCharSize.width;
int yCoord = y * myCharSize.height;
if (xCoord < 0 || xCoord > getWidth() || yCoord < 0 || yCoord > getHeight()) {
return;
}
gfx.setColor(getPalette().getColor(myStyleState.getBackground(style.getBackgroundForRun())));
int textLength =
CharUtils.getTextLengthDoubleWidthAware(
buf.getBuf(),
buf.getStart(),
buf.length(),
mySettingsProvider.ambiguousCharsAreDoubleWidth());
gfx.fillRect(
xCoord,
yCoord,
Math.min(textLength * myCharSize.width, getWidth() - xCoord),
Math.min(myCharSize.height, getHeight() - yCoord));
if (buf.isNul()) {
return; // nothing more to do
}
drawChars(x, y, buf, style, gfx);
gfx.setColor(getPalette().getColor(myStyleState.getForeground(style.getForegroundForRun())));
int baseLine = (y + 1) * myCharSize.height - myDescent;
if (style.hasOption(TextStyle.Option.UNDERLINED)) {
gfx.drawLine(xCoord, baseLine + 1, (x + textLength) * myCharSize.width, baseLine + 1);
}
}
/*
* XXX: okay, this is vile.
* Mon, 17 Jan 1994 11:14:55 -0500 (EST)
*
* In GMT time
*/
public long parseDate(String string) throws Exception {
try {
int strlen = string.length();
if (strlen == 0) return 0;
int i = skipWhitespace(string, strlen, 0);
int ch = string.charAt(i);
if (ch >= '0' && ch <= '9'
|| (ch == 'T'
&& i + 1 < strlen
&& string.charAt(i + 1) >= '0'
&& string.charAt(i + 1) <= '9')) return parseISO8601Date(string, i);
CharBuffer cb = new CharBuffer();
i = scan(string, 0, cb, true);
if (cb.length() == 0 || !Character.isDigit(cb.charAt(0))) i = scan(string, i, cb, true);
int dayOfMonth = parseInt(cb);
i = scan(string, i, cb, true);
String smonth = cb.toString();
int month;
for (month = 0; month < 12; month++) {
if (MONTH_NAMES[(int) month].equalsIgnoreCase(smonth)) break;
}
if (month == 12) throw new Exception("Unexpected month: " + month);
i = scan(string, i, cb, true);
int year = parseInt(cb);
if (cb.length() < 3 && year < 50) year += 2000;
else if (cb.length() < 3 && year < 100) year += 1900;
i = scan(string, i, cb, false);
long timeOfDay = parseInt(cb) * 3600000;
i = scan(string, i, cb, false);
timeOfDay += parseInt(cb) * 60000;
i = scan(string, i, cb, false);
timeOfDay += parseInt(cb) * 1000;
// XXX: gross hack
if (year <= 1600) dayOfMonth--;
long time =
(MS_PER_DAY
* (yearToDayOfEpoch(year)
+ monthToDayOfYear(month, isLeapYear(year))
+ dayOfMonth
- 1)
+ timeOfDay);
try {
i = scan(string, i, cb, false);
for (int j = 0; j < cb.length(); j++) {
if ((ch = cb.charAt(j)) == ';' || ch == ' ') cb.setLength(j);
}
ch = cb.length() > 0 ? cb.charAt(0) : 0;
if (ch == '-' || ch == '+' || ch >= '0' && ch <= '9') {
long zoneOffset;
zoneOffset = parseInt(cb);
zoneOffset = 60000 * (60 * (zoneOffset / 100) + zoneOffset % 100);
time -= zoneOffset;
setGMTTime(time);
} else if (cb.equalsIgnoreCase("gmt") || cb.equalsIgnoreCase("utc")) {
setGMTTime(time);
} else {
setLocalTime(time);
}
} catch (Exception e) {
log.log(Level.FINER, e.toString(), e);
}
return _localTimeOfEpoch - _zoneOffset;
} catch (Exception e) {
log.log(Level.FINER, e.toString(), e);
return Long.MAX_VALUE;
}
}
protected CharSequence getText(int index) {
int beginIndex = textIndexArray[index];
int endIndex = (index + 1 < numEntries) ? textIndexArray[index + 1] : textArray.length();
return this.textArray.subSequence(beginIndex, endIndex);
}
/** Parses the access log string. */
private ArrayList<Segment> parseFormat(String format) {
ArrayList<Segment> segments = new ArrayList<Segment>();
CharBuffer cb = new CharBuffer();
int i = 0;
while (i < _format.length()) {
char ch = _format.charAt(i++);
if (ch != '%' || i >= _format.length()) {
cb.append((char) ch);
continue;
}
String arg = null;
ch = _format.charAt(i++);
if (ch == '>') ch = _format.charAt(i++);
else if (ch == '{') {
if (cb.length() > 0) segments.add(new Segment(this, Segment.TEXT, cb.toString()));
cb.clear();
while (i < _format.length() && _format.charAt(i++) != '}') cb.append(_format.charAt(i - 1));
arg = cb.toString();
cb.clear();
ch = _format.charAt(i++);
}
switch (ch) {
case 'b':
case 'c':
case 'h':
case 'i':
case 'l':
case 'n':
case 'r':
case 's':
case 'T':
case 'D':
case 'o':
case 'u':
case 'U':
case 'v':
if (cb.length() > 0) segments.add(new Segment(this, Segment.TEXT, cb.toString()));
cb.clear();
segments.add(new Segment(this, ch, arg));
break;
case 't':
if (cb.length() > 0) segments.add(new Segment(this, Segment.TEXT, cb.toString()));
cb.clear();
if (arg != null) _timeFormat = arg;
segments.add(new Segment(this, ch, arg));
break;
default:
cb.append('%');
i--;
break;
}
}
cb.append(CauchoSystem.getNewlineString());
segments.add(new Segment(this, Segment.TEXT, cb.toString()));
return segments;
}
public javax.swing.text.Position createPosition(int offset) throws BadLocationException {
CharBuffer b = buffer;
if (offset < 0 || offset > b.length())
throw new BadLocationException("bad offset to createPosition", offset);
return new GapPosition(b, offset);
}
public int length() {
return buffer.length();
}