| 
 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface IText
This interface defines text manipulations.
| Method Summary | |
|---|---|
|  void | clear()Clear the text. | 
|  void | delete()Delete any resource associated to the text. | 
|  int | getHeight()Retrieve the height of the text. | 
|  java.lang.String | getLine(int y)Retrieve a given line. | 
|  void | insert(Coordinate position,
       char c)Insert a character at a given position. | 
|  void | insertNewLine(Coordinate position)Split a line in two lines. | 
|  void | read(java.io.InputStream stream)Read the text from the given stream. | 
|  void | read(java.io.InputStream stream,
     Coordinate from)Insert a part of text from the given stream. | 
|  void | register(ITextView view)Register a view for events notification. | 
|  void | remove(Coordinate from,
       Coordinate to)Remove the text between two positions. | 
|  void | setLineSeparator(java.lang.String separator)Change the line separator. | 
|  void | write(java.io.OutputStream stream)Write the text to the given stream. | 
|  void | write(java.io.OutputStream stream,
      Coordinate from,
      Coordinate to)Write a part of the text to the given stream. | 
| Methods inherited from interface palmed.io.ISerializable | 
|---|
| marshall, unmarshall | 
| Method Detail | 
|---|
int getHeight()
java.lang.String getLine(int y)
y - the number of the line to retrieve
void insert(Coordinate position,
            char c)
position - the insertion pointc - the charactervoid insertNewLine(Coordinate position)
position - the insertion point
void remove(Coordinate from,
            Coordinate to)
The two positions must be ordered properly.
from - the first positionto - the second positionvoid register(ITextView view)
view - the view to registervoid clear()
void write(java.io.OutputStream stream)
           throws java.io.IOException
stream - the stream to write to
java.io.IOException - an io exception occurs
void read(java.io.InputStream stream)
          throws java.io.IOException
stream - the stream to read from
java.io.IOException - an io exception occurs
void write(java.io.OutputStream stream,
           Coordinate from,
           Coordinate to)
           throws java.io.IOException
stream - the stream to write tofrom - the starting pointto - the ending point
java.io.IOException - an io exception occurs
void read(java.io.InputStream stream,
          Coordinate from)
          throws java.io.IOException
stream - the stream to read fromfrom - the insertion point
java.io.IOException - an io exception occursvoid delete()
void setLineSeparator(java.lang.String separator)
To reset to the default mode preserving file format use null.
separator - a string value or null to reset| 
 | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||