Up Top       Prev compile_to_c      Next 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).

-no_warning

Suppress output for all warning messages (error messages are still printed).

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 assertion 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 any installation problems:
compile_to_jvm -verbose hello_world


Up Top       Prev compile_to_c      Next clean



This page was last changed by Oliver Elphick on 3rd August 1997.