Javarifier. Strumento di inferenza sull'immutabilità di riferimento per Javari
Scarica ora

Javarifier. Classifica e riepilogo

Javarifier. Tag

File Hider inferenza Strumento di inferenza strumento Javari inferire la mutabilità dedurre Javari. Java Antivirus Java Flash Player. Parole con gli amici Codice di sblocco Samsung. www.java.com zuma-stars-words Giochi Spiderman per Sims Superstar 2.8.1. delega xtube Rappresentante da gioco Warcraft pif a wsh. www.j Comcast TV compatibile

Javarifier. Descrizione

Javari è un'estensione compatibile con la schiena del linguaggio Java. Javari consente a un programmatore di specificare che un particolare riferimento è di sola lettura, cioè il riferimento non può essere utilizzato per modificare lo stato transitivo del suo referente. Il controllore Javari Compile-Time verifica questa proprietà, fornendo un programmatore (o altri strumenti) sicurezza che nessun effetto collaterale viene eseguito attraverso il riferimento. Il toolset Javari aiuta i programmatori a rilevare e prevenire errori sottili e difficili da debug nei loro programmi. Javarifier legge un set di classi Java per analizzare (in formato .class) e definisce la mutabilità (IM) di ogni riferimento. Emette le mutabilità dedotti in un file di annotazione, un formato di file testuale per descrivere annotazioni dei programmi Java; I file di classe di input non sono modificati. Queste annotazioni possono essere utilizzate direttamente o inserite nei file .Class o nei file .java corrispondenti utilizzando le utilità del file di annotazione. Se le annotazioni Javari sono inserite nel codice sorgente, possono essere controllate dal checker di tipo Javari. Dai a Javarifier a cercare di vedere quanto può essere in realtà per te!

Javarifier. Software correlato