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 }