# Usage

To embed a graph into an HTML document, you use an <applet> tag with attributes:

- code="AppletPremon.class"
- width=width in pixels
- height=height in pixels

and parameters:

- <param name="exp" value="term">
- <param name="base" value="constructors"> (optional)
- <param name="free" value="context"> (optional)

For example the graph:
is generated by:

       <applet code="AppletPremon.class" width=100 height=120>
       <param name="base" value="
          val * (int, int) : int;
          val + (int, int) : int;
          val - (int, int) : int;
          val / (int, int) : int;
       ">
       <param name="exp" value="
          (1+2)*3
       ">
       </applet>

Previous | Next