Javarifier. Annota il formato di origine o .class con commenti o attributi compatibili con retroscena
Scarica ora

Javarifier. Classifica e riepilogo

Javarifier. Tag

fonte Classe Annotator. annotare annotazione fonte annotate annotazione di origine

Javarifier. Descrizione

Annota il formato di origine o .class con commenti o attributi compatibili con retro Javarifier è uno strumento basato sulla riga di comando che definisce l'immutabilità (secondo la definizione della lingua Javari) di ogni riferimento in un programma Java. In altre parole, Javarifier converte i programmi e le biblioteche Java a Javari. Javarifier annota il formato di origine o .class con commenti o attributi compatibili con retromarcia. I programmi amotanti aiutano gli sviluppatori nel ragionamento sul codice e modificandolo senza introdurre sottili errori di mutazione. Le librerie annotanti sono importanti perché i programmi Javari utilizzano le librerie senza annotazioni Javari spesso non scattabili. Determinare manualmente la mutabilità per ciascun parametro (pubblico) e il tipo di ritorno è noioso e incline ad errori. Javarifier esegue automaticamente questa analisi. Requisiti: · Java. Cosa c'è di nuovo in questa versione: · Modificato il qualificatore @Romaybe per il polimorfismo parametrico sulla mutabilità di @PolyRead. · Modificato la regola del tipo per inferire @polyread per abbinare una versione aggiornata dell'inferenza della mutabilità di riferimento, per comparire in Ecoop '08, che delinea l'algoritmo di inferenza utilizzato da Javarifier. · Migliore documentazione dell'opzione della riga di comando -DumpconTraints e il formato della sua uscita. · Documentato l'opzione di comando -Prtastubs. · Incluso una suite di prova per testare l'installazione JavariFifier.

Javarifier. Software correlato