Overview  Package   Class  Use  Deprecated  Index
Home >> All >> alice >> util >> [ jedit overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

alice.util.jedit
Class TextUtilities  

java.lang.Object
  alice.util.jedit.TextUtilities

---

public class TextUtilities

extends java.lang.Object

Class with several utility functions used by the text area component.

Version:

$Id: TextUtilities.java,v 1.4 1999/12/13 03:40:30 sp Exp $

---

Constructor Summary

TextUtilities()

 

Method Summary
static int	findMatchingBracket(javax.swing.text.Document doc, int offset)           Returns the offset of the bracket matching the one at the specified offset of the document, or -1 if the bracket is unmatched (or if the character is not a bracket).
static int	findWordEnd(java.lang.String line, int pos, java.lang.String noWordSep)           Locates the end of the word at the specified position.
static int	findWordStart(java.lang.String line, int pos, java.lang.String noWordSep)           Locates the start of the word at the specified position.

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 

Constructor Detail

TextUtilities

public TextUtilities()

Method Detail

findMatchingBracket

public static int findMatchingBracket(javax.swing.text.Document doc,
                                      int offset)
                               throws javax.swing.text.BadLocationException

Returns the offset of the bracket matching the one at the specified offset of the document, or -1 if the bracket is unmatched (or if the character is not a bracket).

---

findWordStart

public static int findWordStart(java.lang.String line,
                                int pos,
                                java.lang.String noWordSep)

Locates the start of the word at the specified position.

---

findWordEnd

public static int findWordEnd(java.lang.String line,
                              int pos,
                              java.lang.String noWordSep)

Locates the end of the word at the specified position.

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> alice >> util >> [ jedit overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---