The Meta-Environment API

nl.cwi.sen1.gui.plugin
Class SVGPlugin

java.lang.Object
  extended by nl.cwi.sen1.gui.plugin.DefaultStudioPlugin
      extended by nl.cwi.sen1.gui.plugin.SVGPlugin
All Implemented Interfaces:
nl.cwi.sen1.gui.plugin.StudioPlugin, SvgTif

public class SVGPlugin
extends nl.cwi.sen1.gui.plugin.DefaultStudioPlugin
implements SvgTif


Field Summary
private  SvgBridge bridge
           
private  nl.cwi.sen1.gui.Studio studio
           
private static java.lang.String TOOL_NAME
           
 
Constructor Summary
SVGPlugin()
           
 
Method Summary
 void display(java.lang.String title, java.lang.String svgFileName)
           
 java.lang.String getName()
           
 void initStudioPlugin(nl.cwi.sen1.gui.Studio studio)
           
static void main(java.lang.String[] args)
           
 void recTerminate(aterm.ATerm t0)
           
 
Methods inherited from class nl.cwi.sen1.gui.plugin.DefaultStudioPlugin
addStudioPluginListener, fireStudioPluginClosed, removeStudioPluginListener
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

TOOL_NAME

private static final java.lang.String TOOL_NAME
See Also:
Constant Field Values

bridge

private SvgBridge bridge

studio

private nl.cwi.sen1.gui.Studio studio
Constructor Detail

SVGPlugin

public SVGPlugin()
Method Detail

display

public void display(java.lang.String title,
                    java.lang.String svgFileName)
Specified by:
display in interface SvgTif

recTerminate

public void recTerminate(aterm.ATerm t0)
Specified by:
recTerminate in interface SvgTif

getName

public java.lang.String getName()
Specified by:
getName in interface nl.cwi.sen1.gui.plugin.StudioPlugin

initStudioPlugin

public void initStudioPlugin(nl.cwi.sen1.gui.Studio studio)
Specified by:
initStudioPlugin in interface nl.cwi.sen1.gui.plugin.StudioPlugin

main

public static void main(java.lang.String[] args)

The Meta-Environment API