org.basex.gui.editor
Class EditorText

java.lang.Object
  extended by org.basex.gui.editor.EditorText

public final class EditorText
extends java.lang.Object

This class contains the rendered text.

Author:
BaseX Team 2005-12, BSD License, Christian Gruen

Method Summary
 int curr()
          Returns the current character.
 int error()
          Returns the error position.
 void error(int s)
          Sets the error position.
 java.lang.String nextString()
          Returns the token as string.
 byte[] text()
          Returns the original text array.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

nextString

public java.lang.String nextString()
Returns the token as string.

Returns:
string

curr

public int curr()
Returns the current character.

Returns:
current character

text

public byte[] text()
Returns the original text array.

Returns:
text

error

public int error()
Returns the error position.

Returns:
error position

error

public void error(int s)
Sets the error position.

Parameters:
s - start position

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object