Class InitializationChecker

All Implemented Interfaces:
Processor, OptionConfiguration
Direct Known Subclasses:

public abstract class InitializationChecker extends BaseTypeChecker
Tracks whether a value is initialized (all its fields are set), and checks that values are initialized before being used. Implements the freedom-before-commitment scheme for initialization, augmented by type frames.
See the Checker Framework Manual:
Initialization Checker
  • Constructor Details

    • InitializationChecker

      protected InitializationChecker()
      Create a new InitializationChecker.
  • Method Details