サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
Wikipedia
checkerframework.org
Are you tired of null pointer exceptions, unintended side effects, SQL injections, concurrency errors, mistaken equality tests, and other run-time errors that appear during testing or in the field? The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. The Checker Framework includes comp
The Checker Framework Manual: Custom pluggable types for Javahttps://checkerframework.orgVersion 3.45.0 (1 Jul 2024) For the impatient: Section 1.3 describes how to install and use pluggable type-checkers. This manual is also available in PDF. Contents Chapter 1 Introduction 1.1 How to read this manual 1.2 How it works: Pluggable types 1.3 Installation 1.4 Example use: detecting a null pointer b
Type Annotations Specification (JSR 308)Michael D. Ernst mernst@cs.washington.edu May 2, 2013 The JSR 308 webpage is https://checkerframework.org/jsr308/. It contains the latest version of this document, along with other information such as a FAQ, the reference implementation, and sample annotation processors. This document is available in PDF format at https://checkerframework.org/jsr308/specific
Contents: What are type annotations? Download Support and community Documentation Mailing lists Bug reports For the impatient: Download and use pluggable type-checkers now. What are type annotations? Java's declaration annotation syntax is useful but limited. As of Java 8, Java's type annotation syntax permits annotations to be written in more places, such as generic type arguments: List<@NonNull
このページを最初にブックマークしてみませんか?
『The Checker Framework』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く