annotate test/editortest/REPText.java @ 416:b7f42fc75a36

(no commit message)
author one
date Wed, 31 Dec 2008 14:47:39 +0900
parents 784a4d67e6a5
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
414
784a4d67e6a5 (no commit message)
one
parents:
diff changeset
1 package test.editortest;
784a4d67e6a5 (no commit message)
one
parents:
diff changeset
2
784a4d67e6a5 (no commit message)
one
parents:
diff changeset
3 import java.util.List;
784a4d67e6a5 (no commit message)
one
parents:
diff changeset
4
784a4d67e6a5 (no commit message)
one
parents:
diff changeset
5 public interface REPText {
784a4d67e6a5 (no commit message)
one
parents:
diff changeset
6
784a4d67e6a5 (no commit message)
one
parents:
diff changeset
7 public void insert(int lineno, String text);
784a4d67e6a5 (no commit message)
one
parents:
diff changeset
8
416
b7f42fc75a36 (no commit message)
one
parents: 414
diff changeset
9 public String delete(int lineno);
b7f42fc75a36 (no commit message)
one
parents: 414
diff changeset
10
b7f42fc75a36 (no commit message)
one
parents: 414
diff changeset
11 public List<String> list();
b7f42fc75a36 (no commit message)
one
parents: 414
diff changeset
12
b7f42fc75a36 (no commit message)
one
parents: 414
diff changeset
13 public void addTextListener(REPTextListener listener);
414
784a4d67e6a5 (no commit message)
one
parents:
diff changeset
14
416
b7f42fc75a36 (no commit message)
one
parents: 414
diff changeset
15 public int size();
b7f42fc75a36 (no commit message)
one
parents: 414
diff changeset
16
b7f42fc75a36 (no commit message)
one
parents: 414
diff changeset
17 public String get(int i);
414
784a4d67e6a5 (no commit message)
one
parents:
diff changeset
18
784a4d67e6a5 (no commit message)
one
parents:
diff changeset
19 }