Javarifier Reference Immutability Inference Tool for Javari
Download

Javarifier Ranking & Summary

Javarifier Tags

file hider inference Inference Tool Javari tool infer mutability infer Javari free java antivirus java flash player words with friends samsung unlock code www.java.com zuma-stars-words spiderman games for sims superstar 2.8.1 xtube proxy warcraft gaming rep pif to wsh www.j comcast compatible tv

Javarifier Description

Javari is a backward-compatible extension of the Java language. Javari permits a programmer to specify that a particular reference is read-only - that is, the reference cannot be used to change the transitive state of its referent. The Javari compile-time checker verifies this property, giving a programmer (or other tools) confidence that no side effects are performed through the reference. The Javari toolset helps programmers to detect and prevent subtle, hard-to-debug errors in their programs. Javarifier reads a set of Java classes to analyze (in .class format) and infers the (im)mutability of every reference. It outputs the inferred mutabilities in an annotation file, a textual file format for describing annotations of Java programs; the input class files are not modified. These annotations can be used directly, or inserted into either the .class files or the corresponding .java files using the annotation file utilities. If Javari annotations are inserted into the source code, they can be checked by the Javari type checker. Give Javarifier a try to see how useful it can actually be for you!

Javarifier Related Software