Search Java Classes and Packages
Search Java Frameworks and Libraries
#Org.checkerframework.common.basetype Classes and Interfaces - 6 results found.
Name | Description | Type | Package | Framework |
BaseAnnotatedTypeFactory | A factory that extends GenericAnnotatedTypeFactory to use the default flow-sensitive analysis as provided by CFAnalysis. | Class | org.checkerframework.common.basetype | Checker |
|
BaseTypeChecker | An abstract SourceChecker that provides a simple SourceVisitor implementation that type-checks assignments, pseudo-assignments such as parameter passing | Class | org.checkerframework.common.basetype | Checker |
|
BaseTypeContext | An extension of CFContext that includes BaseTypeChecker-specific components. | Interface | org.checkerframework.common.basetype | Checker |
|
BaseTypeValidator | A visitor to validate the types in a tree. | Class | org.checkerframework.common.basetype | Checker |
|
BaseTypeVisitor | A SourceVisitor that performs assignment and pseudo-assignment checking, method invocation checking, and assignability checking. | Class | org.checkerframework.common.basetype | Checker |
|
TypeValidator | TypeValidator ensures that a type for a given tree is valid both for the tree and the type system that is being used to check the tree. | Interface | org.checkerframework.common.basetype | Checker |