org.checkerframework.checker.initialization

Classes

• InitializationAnnotatedTypeFactory
• InitializationChecker
• InitializationStore
• InitializationTransfer
• InitializationVisitor