C4 Usage

First, set the ${CLASSPATH} environment variable, and other environment variable by sourcing the setup.sh file in the XTC source directory. The following code snippet assumes XTC source tree is located in your home directory.

> cd ~/xtc && source setup.sh

Now that the environment to run C4 is setup. You can run C4 with the following command.

> java xtc.lang.c4.C4 -printSource -transform [Pre-processed Source File]