DasherJava / src / dasherJava / core / output / TextCharOutput.java
TextCharOutput.java
Raw
package dasherJava.core.output;

public interface TextCharOutput {
	
	void outputChar(int unicode);
	void deleteLastChar();
	void deleteText(TextRange range);
	void moveTextCaret(TextTarget target);
	
	enum TextRange {
		TEXT_RANGE_CHAR,
		TEXT_RANGE_WORD,
		TEXT_RANGE_SENTENCE,
		TEXT_RANGE_LINE,
		TEXT_RANGE_PARAGRAPH,
		TEXT_RANGE_ALL
	}
	
	enum TextTarget {
		TEXT_TARGET_START,
		TEXT_TARGET_END,
		TEXT_TARGET_PREVIOUS_CHAR,
		TEXT_TARGET_NEXT_CHAR,
		TEXT_TARGET_PREVIOUS_WORD,
		TEXT_TARGET_NEXT_WORD,
		TEXT_TARGET_PREVIOUS_SENTENCE,
		TEXT_TARGET_NEXT_SENTENCE,
		TEXT_TARGET_PREVIOUS_LINE,
		TEXT_TARGET_NEXT_LINE,
		TEXT_TARGET_PREVIOUS_PARAGRAPH,
		TEXT_TARGET_NEXT_PARAGRAPH
	}
}