Javariverier Bron of .class-indeling annoteert met achterwaartse compatibele opmerkingen of attributen
Download nu

Javariverier Rangschikking & Samenvatting

Javariverier Tags

bron Klasse annotator annoteren annotatie annotate bron bron annotatie

Javariverier Beschrijving

Annoteert bron of .class-indeling met achterwaartse compatibele opmerkingen of attributen Javarifier is een opdrachtregel op basis van opdrachtregel die de immutabiliteit inkt (volgens de definitie van de Javari-taal) van elke referentie in een Java-programma. Met andere woorden, Javarifier converteert Java-programma's en bibliotheken naar Javari. Javariifier annoteert bron of .class-indeling met achterwaartse compatibele opmerkingen of attributen. AIDS-ontwikkelaars bij redenering over de code en modificeren het zonder subtiele mutatiefouten te introduceren. Annoterende bibliotheken is belangrijk omdat Javari-programma's bibliotheken gebruiken zonder Javari-annotaties vaak niet typeecheck. Handmatig bepalen van de mutabiliteit voor elke (openbare) parameter en retourtype is vervelend en foutgevoelig. Javarifier voert deze analyse automatisch uit. Vereisten: · Java Wat is er nieuw in deze release: · Veranderde de @ROMAYBE-kwalificatie voor parametrische polymorfisme over mutabiliteit tot @polyread. · Veranderde de typevoorrading voor het afleiden @poleyread om te voldoen aan een bijgewerkte versie van inferentie van referentie-mutabiliteit, om in Ecoop '08 te verschijnen, die het inventionalgoritme wordt geschetst dat wordt gebruikt door Javarifier. · Betere documentatie van de optie-optie-opdrachtregel-de -dumpconstrainten en het formaat van de uitvoer ervan. · Gedocumenteerde de opdrachtregeloptie-printstubs. · Inbegrepen een testsuite voor het testen van Javarifier-installatie.

Javariverier Gerelateerde software