https://github.com/jmid/camljoos0
A simple compiler for a small subset of Java 1.3
https://github.com/jmid/camljoos0
Last synced: 10 months ago
JSON representation
A simple compiler for a small subset of Java 1.3
- Host: GitHub
- URL: https://github.com/jmid/camljoos0
- Owner: jmid
- Created: 2014-08-09T11:26:59.000Z (over 11 years ago)
- Default Branch: master
- Last Pushed: 2014-08-14T08:39:34.000Z (over 11 years ago)
- Last Synced: 2025-01-29T11:27:25.858Z (12 months ago)
- Language: OCaml
- Size: 160 KB
- Stars: 3
- Watchers: 4
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
Joos0 compiler
==============
This is a simple compiler for a small subset of the Java(tm)
programming language. The supported language, Joos0, is the smallest
of a hierarchy of Java 1.3 subsets. For more language details and an
overview of the hierarchy, see
[https://services.brics.dk/java/courseadmin/dOvs2012/pages/The+Joos+Languages].
The compiler emits Java bytecode in the Jasmin format. You'll need to
install the Jasmin assembler to turn the emitted .j files into .class
files. For more information on Jasmin, see http://jasmin.sourceforge.net/.
To build the compiler you'll also need to install the Menhir parser
generator, see http://gallium.inria.fr/~fpottier/menhir/.
The compiler was developed as part of (a previous version of) the
undergraduate compiler course at Aarhus University.
To build:
---------
$ make
To run:
-------
Example 1:
$ ./joos0 tests/IntegerToString.java
[...]
$ jasmin tests/IntegerToString.j
$ java -classpath . IntegerToString
Enter a number: 42
In base 8 that is: 52
(hence the program tests/IntegerToString.java compiles with the Joos0
compiler, the output can be assembled with Jasmin, and the resulting
output run on the JVM)
Example 2:
$ ./joos0 tests/Cons.java tests/ConsMain.java
[...]
$ jasmin tests/Cons.j tests/ConsMain.j
$ java -classpath . ConsMain
truefalse
(hence the compiler supports programs that span multiple files)
Example 3:
$ ./joos0 tests/ClassName2.java
[...]
Error at tests/ClassName2.java: line 3, col 11
public A() throws Exception { }
Constructor must have the same name as its enclosing class
(hence the program is properly rejected by the compiler with an error message)