Javarifier Annotates source or .class format with backward-compatible comments or attributes
Download

Javarifier Ranking & Summary

Javarifier Tags

source class annotator annotate annotation annotate source source annotation

Javarifier Description

Annotates source or .class format with backward-compatible comments or attributes Javarifier is a command line based tool which infers the immutability (according to the definition of the Javari language) of every reference in a Java program. In other words, Javarifier converts Java programs and libraries to Javari. Javarifier annotates source or .class format with backward-compatible comments or attributes.Annotating programs aids developers in reasoning about the code and modifying it without introducing subtle mutation errors. Annotating libraries is important because Javari programs use libraries without Javari annotations often do not typecheck. Manually determining the mutability for each (public) parameter and return type is tedious and error-prone. Javarifier automatically performs this analysis. Requirements: · Java What's New in This Release: · Changed the @RoMaybe qualifier for parametric polymorphism over mutability to @PolyRead. · Changed the type rule for inferring @PolyRead to match an updated version of Inference of reference mutability, to appear in ECOOP '08, which outlines the inference algorithm used by Javarifier. · Better documentation of the -dumpConstraints command-line option and the format of its output. · Documented the -printStubs command-line option. · Included a test suite for testing Javarifier installation.

Javarifier Related Software