001 // Java tool interface VisPluginTextUnparsingTif 002 // This file is generated automatically, please do not edit! 003 // generation time: Aug 22, 2007 2:40:01 PM 004 005 package nl.cwi.sen1.visplugin.text; 006 007 import aterm.*; 008 009 public interface VisPluginTextUnparsingTif 010 { 011 public void displayUnparsedRtuple(String s0); 012 public void recAckEvent(ATerm t0); 013 public void recTerminate(ATerm t0); 014 }