| Framework do verificador Tipos de plugável personalizados para Java |
Baixe Agora |
Framework do verificador Classificação e resumo
- Sistemas operacionais:
- Windows All
- Tamanho do arquivo:
- 8.6 MB
Framework do verificador Tag
Framework do verificador Descrição
Editby A estrutura do verificador suporta adicionar sistemas de tipo PlugGable à linguagem Java de forma compatível com verso. O Tychecker integrado de Java encontra e impede muitos erros - mas não acha e evita erros suficientes. A estrutura Verificador permite que você execute um tipão adicional como um plug-in para o compilador JavaC. Seu código permanece completamente compatível com retrocesso: seu código compila com qualquer compilador Java, ele é executado em qualquer JVM, e seus colegas de trabalho não precisam usar o sistema de tipo aprimorado se não quiserem. Você pode verificar apenas parte do seu programa. Existem ferramentas de inferência de tipo para ajudá-lo a anotar seu código. Um Tipo System Designer usa a estrutura Verificador para definir qualificadores de tipo e sua semântica, e um plug-in do compilador (um "verificador") reforça a semântica. Os programadores podem escrever os qualificadores de tipo em seus programas e usar o plug-in para detectar ou impedir erros. A estrutura Verificador é útil tanto para programadores que desejam gravar código livre de erros e para digitar designers de sistema que desejam avaliar e implantar seus sistemas de tipo. Este documento usa os termos "verificador", "plugin do verificador", "plug-in do compilador de verificação do tipo" e "processador de anotação" como sinônimos. Versão 1.1.0b, 16 de junho de 2010. Proteger contra campos específicos da JDK-7, ao executar em Java 6.
Framework do verificador Software Relacionado