Tool Documentation
- jgoc - the JavaGo Compiler
- javago.Run - a launcher
Synopsis
jgoc [options] file(s)
Description
Jgoc takes programs written in the JavaGO language (whose file extension is "jgo")
as input,
and generates standard Java programs.
The result files are generated on the current directory where jgoc is executed.
New classes that represent the execution state of programs
may be also generated.
When JavaGO programs refer to user-defined classes,
jgoc must know the exact type information of them.
There are two ways for providing this.
- Specify the directories where the user-defined classes are put
by using option -classpath.
- Specify the paths of source code files or class files as extra arguments for jgoc.
When the extension of a file is ".java" or ".class",
jgoc reads its type information.
Options
- -classpath directories
- replaces the directory where classes are looked for.
- -d directory
- specifies a root directory where class files will be generated.
Synopsis
java javago.Run [options]
Description
Javago.Run executes a program of JavaGO.
It provides class files for migration servers on migration.
Options
- -quit [server URL]
- terminates a migration server specified by a URL.
A URL must be of the form jgp://host:port.
- -status [server URL]
- requests a migration server to show its current status.
The result is output on the console of a migration server.
- -codebase [code base URL] [main class] (-arg [arg1] ...)
- executes a program. A directory which contains class files
of the program must be specified by the code base URL.
The code base URL can refer to either a local directory or a web directory.
The execution of a program starts by calling method main of the main class.
Arguments for method main can be specified by option -arg.
|