12.12.7 Java applet functions

applet(keyword-args)

Parameters

The keyword-args can be given in any order. They include:

applet-code:"filename" where filename contains the code of the Java applet.

width:integer where integer is the width in pixels that the applet should consume.

height:integer where integer is the height in pixels that the applet should consume.

default:string where string is the text the browser should display if it does not support Java applets.

parameters:string where string contains all the parameters to the Java applet. Usually, this string is constructed by using concatenate on a set of calls to appletparameter.

Returns the HTML code that supports a Java applet. For example:

@NavApplet=applet
  (appletcode: "WMNavigator.class", 
   width: 500, height: 135,
   parameters:
     concatenate(
       appletparameter("next", filename(next)),
       appletparameter("previous",filename(previous)),
       appletparameter("up", filename(up)),
       appletparameter("top",filename(top)),
       appletparameter("toc",filename(TOC)),
       appletparameter("index",filename(INDEX)),
       appletparameter("parseabletoc", filename(TOC)),
       appletparameter("indentstring", "??")
                ),
   default: @NavPanel
  );

appletparameter(name, value)

Parameters

name is a string that names the parameter to the Java applet. value is the value of that parameter.

Returns the HTML code for a parameter to a Java applet.

In the following example, we assume that the function call
filename(next) returns "guide2.html":

appletparameter("next", filename(next)) 
--> <PARAM NAME="next", VALUE="guide2.html">