Skip to content

Latest commit

 

History

History
45 lines (29 loc) · 1.18 KB

README.md

File metadata and controls

45 lines (29 loc) · 1.18 KB

Continuous integration status of master: CFI status

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.