Javarifier. Anota a origem ou o formato .class com comentários ou atributos compatíveis com atrasos
Baixe Agora

Javarifier. Classificação e resumo

Javarifier. Tag

fonte Annotator de classe anotar anotação Anotar fonte Anotação de origem

Javarifier. Descrição

Anota a fonte ou o formato .CLASS com comentários ou atributos compatíveis com retrocesso O Javarifier é uma ferramenta baseada em linha de comando que infere a imutabilidade (de acordo com a definição da linguagem Javari) de cada referência em um programa Java. Em outras palavras, o Javarifier converte programas e bibliotecas Java para Javari. O Javarifier anotates de origem ou formato .CLASS com comentários ou atributos compatíveis com retrospés. Programasannotating programas ajudam os desenvolvedores no raciocínio sobre o código e modificando-o sem introduzir erros de mutação sutil. A anotação de bibliotecas é importante porque os programas de Javari usam bibliotecas sem que as anotações Javari muitas vezes não tipão. Determinando manualmente a mutabilidade para cada parâmetro (público) e tipo de retorno é tedioso e propenso a erros. O Javarifier executa automaticamente esta análise. Requisitos: · Java. O que há de novo nesta versão: · Alterou o Qualificador @Romaybe para o polimorfismo paramétrico sobre a mutabilidade para @polyread. · Alterou a regra do tipo para inferir @Polyread para corresponder a uma versão atualizada da inferência de mutabilidade de referência, para aparecer na ECOOP '08, que descreve o algoritmo de inferência usado pelo Javarifier. · Melhor documentação da opção de linha de comando -dumpconstraints e o formato de sua saída. · Documentou a opção de linha de comando -printstubs. · Incluiu um conjunto de testes para testar a instalação do Javarifier.

Javarifier. Software Relacionado