001 // Java tool bridge EditorPluginBridge
002 // This file is generated automatically, please do not edit!
003 // generation time: Mar 7, 2007 4:16:27 PM
004
005 package nl.cwi.sen1.gui.plugin;
006
007 import aterm.*;
008
009 public class EditorPluginBridge
010 extends EditorPluginTool
011 {
012 private EditorPluginTif tool;
013
014 public EditorPluginBridge(ATermFactory factory, EditorPluginTif tool)
015 {
016 super(factory);
017 this.tool = tool;
018 }
019
020 public void getContents(ATerm t0)
021 {
022 if (tool != null) {
023 tool.getContents(t0);
024 }
025 else {
026 throw new UnsupportedOperationException("method `getContents' not supported.");
027 }
028 }
029 public void editFile(ATerm t0, String s1)
030 {
031 if (tool != null) {
032 tool.editFile(t0, s1);
033 }
034 else {
035 throw new UnsupportedOperationException("method `editFile' not supported.");
036 }
037 }
038 public void setFocus(ATerm t0, ATerm t1)
039 {
040 if (tool != null) {
041 tool.setFocus(t0, t1);
042 }
043 else {
044 throw new UnsupportedOperationException("method `setFocus' not supported.");
045 }
046 }
047 public void isModified(ATerm t0)
048 {
049 if (tool != null) {
050 tool.isModified(t0);
051 }
052 else {
053 throw new UnsupportedOperationException("method `isModified' not supported.");
054 }
055 }
056 public void killEditor(ATerm t0)
057 {
058 if (tool != null) {
059 tool.killEditor(t0);
060 }
061 else {
062 throw new UnsupportedOperationException("method `killEditor' not supported.");
063 }
064 }
065 public void displayMessage(ATerm t0, String s1)
066 {
067 if (tool != null) {
068 tool.displayMessage(t0, s1);
069 }
070 else {
071 throw new UnsupportedOperationException("method `displayMessage' not supported.");
072 }
073 }
074 public void setTooltip(ATerm t0, String s1)
075 {
076 if (tool != null) {
077 tool.setTooltip(t0, s1);
078 }
079 else {
080 throw new UnsupportedOperationException("method `setTooltip' not supported.");
081 }
082 }
083 public void registerTextCategories(ATerm t0, ATerm t1)
084 {
085 if (tool != null) {
086 tool.registerTextCategories(t0, t1);
087 }
088 else {
089 throw new UnsupportedOperationException("method `registerTextCategories' not supported.");
090 }
091 }
092 public void setSelection(ATerm t0, ATerm t1)
093 {
094 if (tool != null) {
095 tool.setSelection(t0, t1);
096 }
097 else {
098 throw new UnsupportedOperationException("method `setSelection' not supported.");
099 }
100 }
101 public void writeContents(ATerm t0)
102 {
103 if (tool != null) {
104 tool.writeContents(t0);
105 }
106 else {
107 throw new UnsupportedOperationException("method `writeContents' not supported.");
108 }
109 }
110 public void editorToFront(ATerm t0)
111 {
112 if (tool != null) {
113 tool.editorToFront(t0);
114 }
115 else {
116 throw new UnsupportedOperationException("method `editorToFront' not supported.");
117 }
118 }
119 public void setEditable(ATerm t0, ATerm t1)
120 {
121 if (tool != null) {
122 tool.setEditable(t0, t1);
123 }
124 else {
125 throw new UnsupportedOperationException("method `setEditable' not supported.");
126 }
127 }
128 public void setContents(ATerm t0, String s1)
129 {
130 if (tool != null) {
131 tool.setContents(t0, s1);
132 }
133 else {
134 throw new UnsupportedOperationException("method `setContents' not supported.");
135 }
136 }
137 public void highlightSlices(ATerm t0, ATerm t1)
138 {
139 if (tool != null) {
140 tool.highlightSlices(t0, t1);
141 }
142 else {
143 throw new UnsupportedOperationException("method `highlightSlices' not supported.");
144 }
145 }
146 public void setCursorAtOffset(ATerm t0, int i1)
147 {
148 if (tool != null) {
149 tool.setCursorAtOffset(t0, i1);
150 }
151 else {
152 throw new UnsupportedOperationException("method `setCursorAtOffset' not supported.");
153 }
154 }
155 public void showPopup(ATerm t0, ATerm t1)
156 {
157 if (tool != null) {
158 tool.showPopup(t0, t1);
159 }
160 else {
161 throw new UnsupportedOperationException("method `showPopup' not supported.");
162 }
163 }
164 public void addActions(ATerm t0, ATerm t1)
165 {
166 if (tool != null) {
167 tool.addActions(t0, t1);
168 }
169 else {
170 throw new UnsupportedOperationException("method `addActions' not supported.");
171 }
172 }
173 public void setInfo(ATerm t0, String s1)
174 {
175 if (tool != null) {
176 tool.setInfo(t0, s1);
177 }
178 else {
179 throw new UnsupportedOperationException("method `setInfo' not supported.");
180 }
181 }
182 public void clearFocus(ATerm t0)
183 {
184 if (tool != null) {
185 tool.clearFocus(t0);
186 }
187 else {
188 throw new UnsupportedOperationException("method `clearFocus' not supported.");
189 }
190 }
191 public void rereadContents(ATerm t0)
192 {
193 if (tool != null) {
194 tool.rereadContents(t0);
195 }
196 else {
197 throw new UnsupportedOperationException("method `rereadContents' not supported.");
198 }
199 }
200 public void recAckEvent(ATerm t0)
201 {
202 if (tool != null) {
203 tool.recAckEvent(t0);
204 }
205 else {
206 throw new UnsupportedOperationException("method `recAckEvent' not supported.");
207 }
208 }
209 public void recTerminate(ATerm t0)
210 {
211 if (tool != null) {
212 tool.recTerminate(t0);
213 }
214 else {
215 throw new UnsupportedOperationException("method `recTerminate' not supported.");
216 }
217 }
218 }