Brothersoft.com Windows | Games | Mobile | Wallpapers

Advertisement

Javarifier 0.1.3

Reference Immutability Inference Tool for Javari.

Advertisement

Last Week downloads: 0
Total downloads: 111
  • Last Updated: Aug 9, 2010
  • License: Freeware Free
  • OS: Windows XP/2000/98
  • Requirements: No special requirements
screenshot

User reviews

0 out of 5 based on 0 ratings for Javarifier 0.1.3

For Javarifier 0.1.3Publisher's description

Advertisement

Javarifier is a Development software developed by Javari team. After our trial and test, the software is proved to be official, secure and free. Here is the official description for Javarifier:

Edit By BS Editor: Javarifier infers the immutability (according to the definition of the Javari language) of every reference in a Java program. In other words, it converts Java programs and libraries to Javari. It 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.

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.

In earlier versions of Javari, methods must be invariant in the mutability of their parameters and return types. The newer definition of Javari used by both Javarifier and the Javari type checker permits covariant subtyping on parameters and contra-variant subtyping on return types.

Javarifier respects all existing Javari annotations in the program classes it analyzes. If any type is already annotated as @ReadOnly, Javarifier uses this annotation to determine the mutability of other types and does not change the existing @ReadOnly annotation. This mechanism is how Javarifier infers annotations on a program that uses libraries that have already been annotated using stub classes (also known as skeleton classes).
you can free download Javarifier 0.1.3 now.

Statement

Please be aware that Brothersoft do not supply any crack, patches, serial numbers or keygen for Javarifier,and please consult directly with program authors for any problem with Javarifier.