Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
The Meta-Environment API
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

nl.cwi.sen1.gui.plugin
Interface ConsoleTif

All Known Implementing Classes:
Console, ConsoleBridge, ConsoleTool
public interface ConsoleTif

Method Summary
 void addMessage(java.lang.String s0)
           
 void recTerminate(aterm.ATerm t0)
           
 

Method Detail

addMessage

void addMessage(java.lang.String s0)

recTerminate

void recTerminate(aterm.ATerm t0)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
The Meta-Environment API
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD