online

Class PLAremote

java.lang.Object

online.PLAremote

Deprecated.

@Deprecated
public class PLAremote
extends java.lang.Object

Entry to running PLA remotely from a Jave Web Start application.

The first argument to main() specifies the host The second argument to main() specifies the port number on the host.

Author:

linda, ian

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	LISP Deprecated.

Constructor Summary

Constructors

Constructor and Description
PLAremote(java.lang.String host, int port) Deprecated.
PLAremote(java.lang.String host, int port, boolean gadget) Deprecated.
PLAremote(java.lang.String host, int port, boolean gadget, Interpreter eng) Deprecated.

Method Summary

Modifier and Type	Method and Description
static void	main(java.lang.String[] args) Deprecated.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

LISP

public static final java.lang.String LISP

Deprecated.

See Also:

Constant Field Values

Constructor Detail

PLAremote

public PLAremote(java.lang.String host,
                 int port,
                 boolean gadget)

Deprecated.

PLAremote

public PLAremote(java.lang.String host,
                 int port,
                 boolean gadget,
                 Interpreter eng)

Deprecated.

PLAremote

public PLAremote(java.lang.String host,
                 int port)

Deprecated.

Method Detail

main

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

Deprecated.