Javarifier. ferramenta de inferência de imutabilidade de referência para Javari
Baixe Agora

Javarifier. Classificação e resumo

Javarifier. Tag

Arquivo Hider. inferência Ferramenta de inferência ferramenta Javari inferir mutabilidade inferir Javari. Antivírus Java grátis Java Flash Player. palavras com amigos Código de desbloqueio da Samsung. www.java.com. zuma-stars-palavras Jogos de Spiderman para Sims Superstar 2.8.1. Xtube proxy. República de Games Warcraft. pif para wsh. www.j TV compatível comcast

Javarifier. Descrição

Javari é uma extensão compatível com o atraso da linguagem Java. Javari permite que um programador especifique que uma referência específica é somente leitura - ou seja, a referência não pode ser usada para alterar o estado transitivo de seu referente. O verificador de tempo de compilação Javari verifica esta propriedade, dando uma confiança de programador (ou outras ferramentas) de que nenhum efeito colateral é realizado através da referência. O conjunto de ferramentas Javari ajuda os programadores a detectar e impedir erros sutis e difíceis de depurar em seus programas. O Javarifier lê um conjunto de classes Java para analisar (no formato .class) e infere a mutabilidade (IM) de cada referência. Ele produz as mutabilidades inferidas em um arquivo de anotação, um formato de arquivo textual para descrever anotações de programas Java; Os arquivos de classe de entrada não são modificados. Essas anotações podem ser usadas diretamente ou inseridas nos arquivos .class ou nos arquivos .JAVA correspondentes usando os utilitários do arquivo de anotação. Se as anotações Javari forem inseridas no código-fonte, elas podem ser verificadas pelo Verificador de Tipo Javari. Dê Javarifier uma tentativa de ver o quão útil pode ser para você!

Javarifier. Software Relacionado