|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface TextOperator
This interface defines text operations that are needed by the predictive editor.
| Method Summary | |
|---|---|
TextElement |
createTextElement(java.lang.String text)
This method should create a text element for the given text. |
java.lang.String |
getGlue(TextElement left,
TextElement right)
This method should return the "glue" to connect two text elements. |
java.lang.String |
getTextInContext(TextElement textElement,
java.lang.String preceding,
java.lang.String following)
This method checks the context of a text element and can do small surface adaptations of a token according to the surrounding text. |
java.util.List<java.lang.String> |
splitIntoTokens(java.lang.String text)
This method should split a text into its tokens. |
| Method Detail |
|---|
java.util.List<java.lang.String> splitIntoTokens(java.lang.String text)
text - The input text.
java.lang.String getTextInContext(TextElement textElement,
java.lang.String preceding,
java.lang.String following)
textElement - The text element whose text should be adapted to the context.preceding - The preceding text.following - The following text.
TextElement createTextElement(java.lang.String text)
text - The text.
java.lang.String getGlue(TextElement left,
TextElement right)
left - The left-hand side text element.right - The right-hand side text element.
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||