Checker Framework.

Jenis Pluggable Kustom untuk Java
Unduh sekarang

Checker Framework. Peringkat & Ringkasan

Iklan

  • Rating:
  • Lisensi:
  • Freeware
  • Nama Penerbit:
  • JSR 308
  • Sistem operasi:
  • Windows All
  • Ukuran file:
  • 8.6 MB

Checker Framework. Tag


Checker Framework. Keterangan

EditBy Checker Framework Mendukung menambahkan sistem tipe pluggable ke bahasa Java dengan cara yang kompatibel dengan backward. TipeChecker built-in Java menemukan dan mencegah banyak kesalahan - tetapi tidak menemukan dan mencegah kesalahan yang cukup. Framework Checker memungkinkan Anda menjalankan Typechecker tambahan sebagai plug-in ke kompiler JavaC. Kode Anda tetap sepenuhnya kompatibel dengan backward: Kode Anda mengkompilasi dengan kompiler Java, ia berjalan pada JVM apa pun, dan rekan kerja Anda tidak harus menggunakan sistem jenis yang disempurnakan jika tidak mau. Anda dapat memeriksa hanya sebagian dari program Anda. Adakah alat inferensi yang ada untuk membantu Anda membahumunasikan kode Anda. Perancang sistem tipe menggunakan kerangka pemeriksaan untuk menentukan jenis kualifikasi dan semantiknya, dan plug-in kompiler ("pemeriksa") menegakkan semantik. Pemrogram dapat menulis tipe kualifikasi dalam program mereka dan menggunakan plug-in untuk mendeteksi atau mencegah kesalahan. Kerangka kerja Checker berguna untuk programmer yang ingin menulis kode bebas kesalahan, dan untuk mengetikkan perancang sistem yang ingin mengevaluasi dan menyebarkan sistem jenisnya. Dokumen ini menggunakan istilah "pemeriksa", "plugin pemeriksa", "plugin kompiler yang memeriksa", dan "prosesor anotasi" sebagai sinonim. Versi 1.1.0b, 16 Jun 2010. Lindungi dari bidang spesifik JDK-7, saat berjalan di Jawa 6.


Checker Framework. Perangkat Lunak Terkait

Tentang kami