001 package nl.cwi.sen1.visplugin; 002 003 // Java tool interface VisualizationPluginTif 004 // This file is generated automatically, please do not edit! 005 // generation time: Mar 14, 2007 12:48:38 PM 006 007 008 import aterm.*; 009 010 public interface VisualizationPluginTif 011 { 012 public void vpFileDialogResult(int i0, String s1); 013 public void vpVisualizeFact(int i0, int i1, ATerm t2); 014 public void vpRstoreUnloaded(int i0); 015 public void vpFileDialogCancel(int i0); 016 public void vpFactOutOfDate(int i0, int i1); 017 public ATerm vpGetName(); 018 public ATerm vpIsTypeSupported(ATerm t0); 019 public void recAckEvent(ATerm t0); 020 public void recTerminate(ATerm t0); 021 }