Package org.checkerframework.checker.initialization

package org.checkerframework.checker.initialization

Related Packages

Package	Description
org.checkerframework.checker.initialization.qual

Classes

Class	Description
InitializationAnalysis	The analysis class for the initialization type system (serves as factory for the transfer function, stores, and abstract values.
InitializationAnnotatedTypeFactory	The annotated type factory for the freedom-before-commitment type system.
InitializationChecker	Tracks whether a value is initialized (all its fields are set), and checks that values are initialized before being used.
InitializationFieldAccessAnnotatedTypeFactory	The type factory for the InitializationFieldAccessSubchecker.
InitializationFieldAccessSubchecker	Part of the freedom-before-commitment type system.
InitializationFieldAccessTreeAnnotator	Part of the freedom-before-commitment type system.
InitializationFieldAccessVisitor	The visitor for the InitializationFieldAccessSubchecker.
InitializationParentAnnotatedTypeFactory	Superclass for InitializationFieldAccessAnnotatedTypeFactory and InitializationAnnotatedTypeFactory to contain common functionality.
InitializationStore	A store that extends CFAbstractStore and additionally tracks which fields of the 'self' reference have been initialized.
InitializationTransfer	A transfer function that extends CFAbstractTransfer and tracks InitializationStores.
InitializationVisitor	The visitor for the freedom-before-commitment type-system.