Checker Framework Custom Pluggable-typen voor Java
Download nu

Checker Framework Rangschikking & Samenvatting

Checker Framework Tags

checker foutcontrole fout detector php framework foutdetector serverframework Javari Checker Netto framework 3.1 Gratis Flash Player gemiddelde firewall acer gratis games Samsung ontgrendelt code Springs Framework MySQL Entity Framework raamwerk 1.1 portal framework gratis te downloaden ibrowe

Checker Framework Beschrijving

Bewerk het Checker Framework Ondersteunt het toevoegen van pluggable-type systemen aan de Java-taal op een achterwaartse compatibele manier. Java's ingebouwde typefecker vindt en voorkomt veel fouten - maar het vindt en voorkomt en verhindert voldoende fouten. Het Checker Framework laat je een extra typeecheker uitvoeren als een plug-in op de Javac-compiler. Uw code blijft volledig achterwaarts compatibel: uw code compileert met elke Java-compiler, het werkt op een JVM en uw collega's hoeven het verbeterde typesysteem niet te gebruiken als ze niet willen. U kunt slechts een deel van uw programma controleren. Type Inference-tools bestaan om u te helpen bij het annoteren van uw code. Een typesysteemontwerper gebruikt het Checker Framework om type qualifiers en hun semantiek te definiëren, en een compiler-plug-in (een "checker") dwingt de semantiek. Programmeurs kunnen de qualifiers van het type in hun programma's schrijven en de plug-in gebruiken om fouten te detecteren of te voorkomen. Het Checker Framework is handig zowel voor programmeurs die een foutloze code willen schrijven en om systeemontwerpers te typen die hun type systemen willen evalueren en inzetten. Dit document gebruikt de termen "Checker", "Checker Plugin", "Type-controlecompiler-plug-in" en "Annotation Processor" als Synoniemen. Versie 1.1.0b, 16 juni 2010. Bescherm tegen JDK-7 specifieke velden, bij het uitvoeren van Java 6.

Checker Framework Gerelateerde software