data structures and software dependability

• home

• contact

• members

• teaching

• research

• publications

• software

• events

Java FC

JavaFC is a Java language extension and the related preprocessor to create ordinary Java files which can be compiled with a common Java compiler. See the related diploma thesis for more details.

Installation

1. Extract the JavaFC archive in a folder of your choice, e.g. /home/user/tools.
2. Set the JAVAFC_HOME environment variable and add the folder containing the script JavaFC.sh to your PATH. For that, add the following lines to .bashrc on Linux, resp. to .profile on MacOS:

    export JAVAFC_HOME=/home/user/tools/JavaFC
    export PATH=$PATH:/home/user/tools/JavaFC/bin
   

3. Make JavaFC/bin/JavaFC.sh and JavaFC/lib/JavaFC.jar executable:

    chmod 755 $JAVAFC_HOME/bin/JavaFC.sh
    chmod 755 $JAVAFC_HOME/lib/JavaFC.jar
   

Now you can use JavaFC by calling JavaFC.sh!

Hints

When you call JavaFC.sh without arguments it will copy all files with the .javaFC extension from the current folder to the folder /tmp/javaFC. After that, it transforms all files to ordinary Java files, compiles them, and copies the created class files back to the current folder.

Calling JavaFC.sh with the name of a class containing a main method calls implicitly the Java interpreter.

The ornamental garden problem

No synchronization

Turnstile.javaFC

Counter.javaFC

TurnstileMain.javaFC

Monitor

Turnstile.javaFC

Counter.javaFC

TurnstileMain.javaFC

ADA style rendezvous

Turnstile.javaFC

Counter.javaFC

TurnstileMain.javaFC

Communication with channels

Turnstile.javaFC

Counter.javaFC

TurnstileMain.javaFC