next up previous contents
Next: The Foreign Language Interface Up: Connecting a Program and Previous: Connecting a Program and

Program Execution

  Compilers for SATHER-K are usually invoked by

compilername options classname

where classname is the name of the main class. The compiler will find the necessary classes as specified in 4.2. The compiler will eventually produce an executable with the same name.

The procedure main in the main class must not be overloaded. It may have a parameter of type ARRAY[*](STRING). The corresponding argument will be a sequence of strings on the command line from which the program was called. Note that the 0th component will be the programname.

The procedure main in the main class may also specify a result of type INT. This result should be 0 when the program execution ended correctly. Results tex2html_wrap_inline2717 indicate failure.

The compiler is not required to perform full semantic analysis on the complete program text but only on features reachable in the program.


Martin Trapp
Mon Feb 17 16:49:16 MET 1997