Top
compile_to_c
clean
SmallEiffel Tools: compile_to_jvm
compile_to_jvm [options] Root-Class [Root-Procedure]
Compile_to_jvm is the SmallEiffel Java byte code
generator for the Java Virtual Machine.
Compile_to_jvm must have at least one argument to indicate
the starting execution point of the system.
Thus, execution will start in Root-Procedure of Root-Class.
The default Root-Procedure is make.
Options to select Eiffel compilation mode
As with compile_to_c there are 8 different compilation
modes: -boost, -no_check, -require_check, -ensure_check,
-invariant_check, -loop_check and -all_check.
Options have the same meaning as they do in compile_to_c.
Other options
-o output_name
Place the main output in file output_name.class
and other class files in the directory output_name.
When this option is not present, the default is Root-Class.
-verbose
Use this option to see additional information during the compilation (the full path of
loaded files is printed, type inference score, created class files,
etc).
Examples
Example 1
When SmallEiffel is correctly installed, you can simply type
the following command to test the hello world program:
compile_to_jvm hello_world
Then, to execute the produced Java byte code, you can
use the command:
java hello_world
Example 2
As with compile_to_c you can add the option -boost to avoid
all assertions checks:
compile_to_jvm -boost hello_world
Example 3
To change the name of the output main class, you have to add the
option -o:
compile_to_jvm -boost -o out hello_world
Then, you can run the Java byte code with:
java out
Note that the name used for the class files directory is also
changed (this directory is also named out).
Example 4
Finally, the -verbose option may be useful to check what files
are loaded, what files are created, or to fix some installation
problem:
compile_to_jvm -verbose hello_world
Top
compile_to_c
clean
This page was last changed by Oliver Elphick on 3rd August 1997.