README.md

   1 MJC2WSL - convert MicroJava Compiled Bytecode to WSL/FermaT
   2 ===========================================================
   3
   4 mjc2wsl is distributed under the GPL licence, for more details check the src
   5 folder. More about the tools can be found in the "docs" folder.
   6
   7
   8 Quick build and test
   9 --------------------
  10
  11 Running ant in the folder should compile the tool as well as the MJ compiler
  12 and then do a test - compile all of the sample MicroJava codes into MJ
  13 bytecode, translate them to WSL and then apply the given transformations in
  14 MetaWSL to the programs.
  15
  16 Look in the "docs" folder for more details about running the available ant
  17 tasks.
  18
  19
  20 Requirements
  21 ------------
  22
  23 - java JDK for compiling and running the mjc2wsl tool and the MJ compiler
  24
  25 - ant for building and testing
  26 -- ant-contrib tasks are needed for some of the tasks
  27
  28 - FermaT for running the translated examples and applying the transformations
  29 (FermaT Maintanance Environment can be used)
  30 Downloads available at http://www.cse.dmu.ac.uk/~mward/fermat.html
  31
  32
  33 Setting the FermaT dir
  34 ----------------------
  35
  36 The ant build script assumes that Fermat is in "C:/fermat3" under Windows
  37 and "~/fermat3" for everything else (Linux/Mac...).
  38
  39 If you need to change this you can rename (or copy) the given file
  40 "custom.properties.default" to "custom.properties" and specify a correct
  41 path for your system.
  42
  43
  44 About MicroJava
  45 ---------------
  46
  47 This is a simple language made by H. Mössenböck for a Compiler Construction
  48 course.  It is NOT the same as Java Micro Edition (JavaME) used on mobile
  49 phones.
  50
  51 For details about the language and the version used in this project check
  52 out the "docs" folder.
  53
  54 More about the course, the language and its VM:
  55 http://www.ssw.uni-linz.ac.at/Misc/CC/
  56
  57 A functional compiler is distributed in the lib folder for ease of testing
  58 and evaluating.  Check the folder for further details.
  59
  60
  61 Contact
  62 -------
  63
  64 Project home:
  65 http://perun.dmi.rs/pracner/transformations
  66
  67 Feel free to contact Doni Pracner if you have any problems, ideas
  68 or suggestions.