001    // Java tool bridge GraphPainterBridge
002    // This file is generated automatically, please do not edit!
003    // generation time: Mar 14, 2007 10:38:27 AM
004    
005    package nl.cwi.sen1.gui.plugin;
006    
007    import aterm.*;
008    
009    public class GraphPainterBridge
010      extends GraphPainterTool
011    {
012      private GraphPainterTif tool;
013    
014      public GraphPainterBridge(ATermFactory factory, GraphPainterTif tool)
015      {
016        super(factory);
017        this.tool = tool;
018      }
019    
020      public void displayGraph(String s0, ATerm t1, ATerm t2)
021      {
022        if (tool != null) {
023          tool.displayGraph(s0, t1, t2);
024        }
025        else {
026          throw new UnsupportedOperationException("method `displayGraph' not supported.");
027        }
028      }
029      public void selectNode(String s0, ATerm t1, ATerm t2)
030      {
031        if (tool != null) {
032          tool.selectNode(s0, t1, t2);
033        }
034        else {
035          throw new UnsupportedOperationException("method `selectNode' not supported.");
036        }
037      }
038      public void updateGraph(String s0, ATerm t1, ATerm t2, ATerm t3, ATerm t4)
039      {
040        if (tool != null) {
041          tool.updateGraph(s0, t1, t2, t3, t4);
042        }
043        else {
044          throw new UnsupportedOperationException("method `updateGraph' not supported.");
045        }
046      }
047      public void showPopup(String s0, ATerm t1, ATerm t2, ATerm t3)
048      {
049        if (tool != null) {
050          tool.showPopup(s0, t1, t2, t3);
051        }
052        else {
053          throw new UnsupportedOperationException("method `showPopup' not supported.");
054        }
055      }
056      public ATerm createPanel(String s0, ATerm t1, ATerm t2, ATerm t3)
057      {
058        if (tool != null) {
059          return tool.createPanel(s0, t1, t2, t3);
060        }
061          throw new UnsupportedOperationException("method `createPanel' not supported.");
062      }
063      public ATerm sizeGraph(String s0, ATerm t1, ATerm t2)
064      {
065        if (tool != null) {
066          return tool.sizeGraph(s0, t1, t2);
067        }
068          throw new UnsupportedOperationException("method `sizeGraph' not supported.");
069      }
070      public void recAckEvent(ATerm t0)
071      {
072        if (tool != null) {
073          tool.recAckEvent(t0);
074        }
075        else {
076          throw new UnsupportedOperationException("method `recAckEvent' not supported.");
077        }
078      }
079      public void recTerminate(ATerm t0)
080      {
081        if (tool != null) {
082          tool.recTerminate(t0);
083        }
084        else {
085          throw new UnsupportedOperationException("method `recTerminate' not supported.");
086        }
087      }
088    }