/**
* Finds the end of the word at position <code>pos</code> in <code>line</code>.
*
* <p>this is a slightly modified version of {@link
* org.gjt.sp.jedit.textarea.TextUtilities#findWordEnd(String, int, String)}
*/
public static int findWordEnd(String line, int pos, String noWordSep) {
if (pos != 0) pos--;
char ch = line.charAt(pos);
if (noWordSep == null) {
noWordSep = "";
}
boolean selectNoLetter = (!Character.isLetterOrDigit(ch) && noWordSep.indexOf(ch) == -1);
int wordEnd = line.length();
for (int i = pos; i < line.length(); i++) {
ch = line.charAt(i);
if (selectNoLetter ^ (!Character.isLetterOrDigit(ch) && noWordSep.indexOf(ch) == -1)) {
wordEnd = i;
break;
}
}
return wordEnd;
} // }}}
public void processKeyEvent(KeyEvent evt) {
evt = KeyEventWorkaround.processKeyEvent(evt);
if (evt == null) return;
switch (evt.getID()) {
case KeyEvent.KEY_TYPED:
char ch = evt.getKeyChar();
if (!nonDigit && Character.isDigit(ch)) {
super.processKeyEvent(evt);
repeat = true;
repeatCount = Integer.parseInt(action.getText());
} else {
nonDigit = true;
if (repeat) {
passToView(evt);
} else super.processKeyEvent(evt);
}
break;
case KeyEvent.KEY_PRESSED:
int keyCode = evt.getKeyCode();
if (evt.isActionKey()
|| evt.isControlDown()
|| evt.isAltDown()
|| evt.isMetaDown()
|| keyCode == KeyEvent.VK_BACK_SPACE
|| keyCode == KeyEvent.VK_DELETE
|| keyCode == KeyEvent.VK_ENTER
|| keyCode == KeyEvent.VK_TAB
|| keyCode == KeyEvent.VK_ESCAPE) {
nonDigit = true;
if (repeat) {
passToView(evt);
break;
} else if (keyCode == KeyEvent.VK_TAB) {
complete(true);
evt.consume();
} else if (keyCode == KeyEvent.VK_ESCAPE) {
evt.consume();
if (popup != null) {
popup.dispose();
popup = null;
action.requestFocus();
} else {
if (temp) view.removeToolBar(ActionBar.this);
view.getEditPane().focusOnTextArea();
}
break;
} else if ((keyCode == KeyEvent.VK_UP || keyCode == KeyEvent.VK_DOWN)
&& popup != null) {
popup.list.processKeyEvent(evt);
break;
}
}
super.processKeyEvent(evt);
break;
}
}
// {{{ regexpReplace() method
private static String regexpReplace(SearchMatcher.Match occur, CharSequence found)
throws Exception {
StringBuilder buf = new StringBuilder();
for (int i = 0; i < replace.length(); i++) {
char ch = replace.charAt(i);
switch (ch) {
case '$':
if (i == replace.length() - 1) {
// last character of the replace string,
// it is not a capturing group
buf.append(ch);
break;
}
ch = replace.charAt(++i);
if (ch == '$') {
// It was $$, so it is an escaped $
buf.append('$');
} else if (ch == '0') {
// $0 meaning the first capturing group :
// the found value
buf.append(found);
} else if (Character.isDigit(ch)) {
int n = ch - '0';
while (i < replace.length() - 1) {
ch = replace.charAt(++i);
if (Character.isDigit(ch)) {
n = n * 10 + (ch - '0');
} else {
// The character is not
// a digit, going back and
// end loop
i--;
break;
}
}
if (n < occur.substitutions.length) {
String subs = occur.substitutions[n];
if (subs != null) buf.append(subs);
}
}
break;
case '\\':
if (i == replace.length() - 1) {
buf.append('\\');
break;
}
ch = replace.charAt(++i);
switch (ch) {
case 'n':
buf.append('\n');
break;
case 't':
buf.append('\t');
break;
default:
buf.append(ch);
break;
}
break;
default:
buf.append(ch);
break;
}
}
return buf.toString();
} // }}}