001    // Java tool bridge ModuleManagerBridge
002    // This file is generated automatically, please do not edit!
003    // generation time: Mar 7, 2007 10:19:46 AM
004    
005    package nl.cwi.sen1.modulemanager;
006    
007    import aterm.*;
008    
009    public class ModuleManagerBridge
010      extends ModuleManagerTool
011    {
012      private ModuleManagerTif tool;
013    
014      public ModuleManagerBridge(ATermFactory factory, ModuleManagerTif tool)
015      {
016        super(factory);
017        this.tool = tool;
018      }
019    
020      public void deleteDependencies(ATerm t0)
021      {
022        if (tool != null) {
023          tool.deleteDependencies(t0);
024        }
025        else {
026          throw new UnsupportedOperationException("method `deleteDependencies' not supported.");
027        }
028      }
029      public void addDependency(ATerm t0, ATerm t1)
030      {
031        if (tool != null) {
032          tool.addDependency(t0, t1);
033        }
034        else {
035          throw new UnsupportedOperationException("method `addDependency' not supported.");
036        }
037      }
038      public void deleteModule(ATerm t0)
039      {
040        if (tool != null) {
041          tool.deleteModule(t0);
042        }
043        else {
044          throw new UnsupportedOperationException("method `deleteModule' not supported.");
045        }
046      }
047      public void deleteAttribute(ATerm t0, ATerm t1, ATerm t2)
048      {
049        if (tool != null) {
050          tool.deleteAttribute(t0, t1, t2);
051        }
052        else {
053          throw new UnsupportedOperationException("method `deleteAttribute' not supported.");
054        }
055      }
056      public void deleteDependency(ATerm t0, ATerm t1)
057      {
058        if (tool != null) {
059          tool.deleteDependency(t0, t1);
060        }
061        else {
062          throw new UnsupportedOperationException("method `deleteDependency' not supported.");
063        }
064      }
065      public void addAttribute(ATerm t0, ATerm t1, ATerm t2, ATerm t3)
066      {
067        if (tool != null) {
068          tool.addAttribute(t0, t1, t2, t3);
069        }
070        else {
071          throw new UnsupportedOperationException("method `addAttribute' not supported.");
072        }
073      }
074      public void registerAttributeUpdateRule(ATerm t0, ATerm t1, ATerm t2, ATerm t3)
075      {
076        if (tool != null) {
077          tool.registerAttributeUpdateRule(t0, t1, t2, t3);
078        }
079        else {
080          throw new UnsupportedOperationException("method `registerAttributeUpdateRule' not supported.");
081        }
082      }
083      public ATerm getAttribute(ATerm t0, ATerm t1, ATerm t2)
084      {
085        if (tool != null) {
086          return tool.getAttribute(t0, t1, t2);
087        }
088          throw new UnsupportedOperationException("method `getAttribute' not supported.");
089      }
090      public ATerm getAllAttributes(ATerm t0)
091      {
092        if (tool != null) {
093          return tool.getAllAttributes(t0);
094        }
095          throw new UnsupportedOperationException("method `getAllAttributes' not supported.");
096      }
097      public ATerm getDependencies()
098      {
099        if (tool != null) {
100          return tool.getDependencies();
101        }
102          throw new UnsupportedOperationException("method `getDependencies' not supported.");
103      }
104      public ATerm getChildrenModules(ATerm t0)
105      {
106        if (tool != null) {
107          return tool.getChildrenModules(t0);
108        }
109          throw new UnsupportedOperationException("method `getChildrenModules' not supported.");
110      }
111      public ATerm getAllParentModules(ATerm t0)
112      {
113        if (tool != null) {
114          return tool.getAllParentModules(t0);
115        }
116          throw new UnsupportedOperationException("method `getAllParentModules' not supported.");
117      }
118      public ATerm getClosableModules(ATerm t0)
119      {
120        if (tool != null) {
121          return tool.getClosableModules(t0);
122        }
123          throw new UnsupportedOperationException("method `getClosableModules' not supported.");
124      }
125      public ATerm getAllChildrenModules(ATerm t0)
126      {
127        if (tool != null) {
128          return tool.getAllChildrenModules(t0);
129        }
130          throw new UnsupportedOperationException("method `getAllChildrenModules' not supported.");
131      }
132      public ATerm getAllModules()
133      {
134        if (tool != null) {
135          return tool.getAllModules();
136        }
137          throw new UnsupportedOperationException("method `getAllModules' not supported.");
138      }
139      public ATerm createModule()
140      {
141        if (tool != null) {
142          return tool.createModule();
143        }
144          throw new UnsupportedOperationException("method `createModule' not supported.");
145      }
146      public ATerm getModuleIdByAttribute(ATerm t0, ATerm t1, ATerm t2)
147      {
148        if (tool != null) {
149          return tool.getModuleIdByAttribute(t0, t1, t2);
150        }
151          throw new UnsupportedOperationException("method `getModuleIdByAttribute' not supported.");
152      }
153      public ATerm getModuleGraph(ATerm t0)
154      {
155        if (tool != null) {
156          return tool.getModuleGraph(t0);
157        }
158          throw new UnsupportedOperationException("method `getModuleGraph' not supported.");
159      }
160      public ATerm getParentModules(ATerm t0)
161      {
162        if (tool != null) {
163          return tool.getParentModules(t0);
164        }
165          throw new UnsupportedOperationException("method `getParentModules' not supported.");
166      }
167      public void recAckEvent(ATerm t0)
168      {
169        if (tool != null) {
170          tool.recAckEvent(t0);
171        }
172        else {
173          throw new UnsupportedOperationException("method `recAckEvent' not supported.");
174        }
175      }
176      public void recTerminate(ATerm t0)
177      {
178        if (tool != null) {
179          tool.recTerminate(t0);
180        }
181        else {
182          throw new UnsupportedOperationException("method `recTerminate' not supported.");
183        }
184      }
185    }