Checker Framework Java için özel takılabilir tipler
Şimdi İndirin

Checker Framework Sıralama ve Özet

Checker Framework Etiketler

checker hata denetleyicisi hata dedektör PHP çerçevesi hata dedektörü sunucu çerçevesi Javari denetleyicisi NET Framework 3.1 ücretsiz flash player avg ücretsiz güvenlik duvarı Acer Bedava Oyunlar Samsung Kilit Açma Kodu yaylar çerçevesi MySQL Varlık Çerçevesi Framework 1.1 portal çerçevesi ücretsiz indir ibrowe

Checker Framework Açıklama

Editby Checker Framework , Java diline takılabilir tip sistemleri geriye doğru uyumlu bir şekilde eklemeyi destekler. Java'nın yerleşik TypeChecker birçok hatayı bulur ve önler - ancak yeterince hata bulamıyor ve önlemiyor. Checker Framework , Javac derleyicisine ek bir TypeChecker'ı çalıştırmanıza olanak sağlar. Kodunuz tamamen geriye uyumlu kalır: Kodunuz herhangi bir Java derleyiciyle derlenir, herhangi bir JVM'de çalışır ve arkadaşlarınız istemiyorsa gelişmiş tip sistemini kullanmak zorunda değildir. Programınızın yalnızca bir bölümünü kontrol edebilirsiniz. Kodunuzu açıklamanıza yardımcı olacak türden çıkarım araçları vardır. Bir Tip Sistem Tasarımcısı, Tip niteleyicilerini ve anlamlarını tanımlamak için denetleyicisi çerçevesini kullanır ve bir derleyici eklentisi (bir "denetleyici") semantiği uygular. Programcılar, tür niteleyicilerini programlarına yazabilir ve hataları tespit etmek veya önlemek için eklentiyi kullanın. Checker Framework , hem hata içermeyen kod yazmak isteyen programcılara hem de tür sistemlerini değerlendirmek ve dağıtmak isteyen sistem tasarımcıları yazmak isteyen programcılara faydalıdır. Bu belge "Checker", "Checker eklentisi", "yazma derleyici eklentisi" ve "Annotation işlemcisi" terimlerini eş anlamlılar olarak kullanır. Sürüm 1.1.0b, 16 Haz 2010. JAVA 6'da çalışırken JDK-7'ye özgü alanlara karşı koruyun.

Checker Framework İlgili Yazılım