|
|||||||||
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 |