MJC2WSL - convert MicroJava Compiled Bytecode to WSL/FermaT =========================================================== Quick build and test -------------------- Running ant in the folder should compile the tool as well as the MJ compiler and then do a test - compile all of the sample MicroJava codes into MJ bytecode, translate them to WSL and then apply the given transformations in MetaWSL to the programs. Requirements ------------ - java JDK for compiling and running the mjc2wsl tool and the MJ compiler - ant for building and testing -- ant-contrib tasks are needed for some of the tasks - FermaT for running the translated examples and applying the transformations (FermaT Maintanance Environment can be used) Downloads available at http://www.cse.dmu.ac.uk/~mward/fermat.html Setting the FermaT dir ---------------------- The ant build script assumes that Fermat is in "C:/fermat3" under Windows and "~/fermat3" for everything else (Linux/Mac...). If you need to change this you can rename (or copy) the given file "custom.properties.default" to "custom.properties" and specify a correct path for your system. About MicroJava --------------- This is a simple language made by H. Mössenböck for a Compiler Construction course. It is not the same as Java Micro Edition (JavaME) used on mobile phones. More about the course, the language and its VM: http://www.ssw.uni-linz.ac.at/Misc/CC/ Contact ------- Project home: http://perun.dmi.rs/pracner/transformations Feel free to contact Doni Pracner if you have any problems, ideas or suggestions.