diff test/editortest/REPText.java @ 414:784a4d67e6a5

(no commit message)
author one
date Tue, 09 Dec 2008 15:44:28 +0900
parents
children b7f42fc75a36
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/test/editortest/REPText.java	Tue Dec 09 15:44:28 2008 +0900
@@ -0,0 +1,13 @@
+package test.editortest;
+
+import java.util.List;
+
+public interface REPText {
+	
+	public void insert(int lineno, String text);
+	
+	public String delete(int lineno, String text);
+
+	public List<String> list();
+
+}