Completed
The Checker Framework
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Preventing Null Pointer Exceptions at Compile Time
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Java's type system is too weak
- 3 Specification 1: non-null parameter
- 4 Specification 2: nullable parameter
- 5 Solution: Pluggable Type Checking
- 6 Optional Type Checking
- 7 The Checker Framework
- 8 Benefits of type systems
- 9 Comparison: other nullness tools
- 10 Java 8 extends annotation syntax
- 11 Java 6 & 7 compatibility (or avoid dependency on Checker Framework)
- 12 Lazy initialization and persistence across side effects
- 13 Map key example
- 14 Optional checks
- 15 Cost of software failures
- 16 Example: Regex Checker
- 17 Example type systems
- 18 Tips for pluggable type-checking
- 19 Pluggable type-checking improves code
