Continuous integration status of master:

Generic Universe Types checker and inference

This project implements the type checker and whole-program inference described in the ECOOP 2011 paper Tunable Static Inference for Generic Universe Types.

Comments, pull requests, and issues are always welcome!

Setup

Follow these steps to clone, build, and test this project and all dependencies:

git clone https://github.com/opprop/universe
cd universe
./.ci-build.sh

Type checking example

$ ./scripts/check.sh tests/typecheck/topol/SimpleNew.java
tests/typecheck/topol/SimpleNew.java:14: error: [uts.new.ownership] Object creation needs a @Peer or @Rep modifier for non-implicitly immutable types and @Bottom for implicitly immutable types!
    @Any Object a = new @Any Object();
                    ^
1 error

Type inference example

$ ./scripts/infer.sh tests/inference/Person.java

Contact

Please address your questions and comments to Werner Dietl.