01: package tide.editor.completions;
02:
03: public final class Completion {
04: // the normal completion
05: String completion;
06:
07: // optionally
08: String precompletion = null;
09:
10: public Completion(String completion) {
11: this .completion = completion;
12: }
13:
14: public String getCompletion() {
15: return completion;
16: }
17:
18: public String getPrecompletion() {
19: return precompletion;
20: }
21:
22: public void setPrecompletion(String a) {
23: this.precompletion = a;
24: }
25:
26: }
|