Share

Search Java Classes and Packages

Search Java Frameworks and Libraries

255581 classes and counting ...
Search Tips Index Status



# Classes and Interfaces in #Checker - 899 results found.
NameDescriptionTypePackageFrameworkJavaDoc
AClassorg.checkerframework.checker.units.qualCheckerjavadoc
A2FClassorg.checkerframework.framework.util.typeinference.constraintCheckerjavadoc
A2FReducerA2FReducer takes an A2F constraint that is not irreducible (@see AFConstraint.Classorg.checkerframework.framework.util.typeinference.constraintCheckerjavadoc
AbstractAtmComboVisitor defaultErrorMessage.Classorg.checkerframework.framework.type.visitorCheckerjavadoc
AbstractNodeVisitorA default implementation of the node visitor interface.Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
AbstractNullnessCheckerAn implementation of the nullness type-system, parameterized by an initialization type-system for safe initialization.Classorg.checkerframework.checker.nullnessCheckerjavadoc
AbstractTypeProcessorThis class is an abstract annotation processor designed to be a convenient superclass for concrete "type processors", processors thatClassorg.checkerframework.javacutilCheckerjavadoc
AbstractValueAn abstract value used in the org.Interfaceorg.checkerframework.dataflow.analysisCheckerjavadoc
AccelerationClassorg.checkerframework.checker.units.qualCheckerjavadoc
AFConstraintAFConstraint represent the initial constraints used to infer type arguments for method invocations and new class invocations.Classorg.checkerframework.framework.util.typeinference.constraintCheckerjavadoc
AFReducerAFReducer implementations reduce AFConstraints into one or more "simpler" AFConstraints until these constraints are irreducibleInterfaceorg.checkerframework.framework.util.typeinference.constraintCheckerjavadoc
AggregateCheckerAn aggregate checker that packages multiple checkers together.Classorg.checkerframework.framework.sourceCheckerjavadoc
AliasingAnnotatedTypeFactoryClassorg.checkerframework.common.aliasingCheckerjavadoc
AliasingCheckerAliasing type system -- used to identify expressions that definitely haveSee the Checker Framework Manual:Aliasing CheckerClassorg.checkerframework.common.aliasingCheckerjavadoc
AliasingTransferType refinement is treated in the usual way, except that at (pseudo-)assignments the RHS may lose its type refinement, before the LHS isClassorg.checkerframework.common.aliasingCheckerjavadoc
AliasingVisitorThis visitor ensures that every constructor whose result is annotated as @Unique does not leak aliases.Classorg.checkerframework.common.aliasingCheckerjavadoc
AlwaysSafeClassorg.checkerframework.checker.guieffect.qualCheckerjavadoc
AnalysisAn implementation of an iterative algorithm to solve a org.Classorg.checkerframework.dataflow.analysisCheckerjavadoc
AnalysisResultAn AnalysisResult represents the result of a org.Classorg.checkerframework.dataflow.analysisCheckerjavadoc
AngleClassorg.checkerframework.checker.units.qualCheckerjavadoc
AnnotatedForIndicates that this class has been annotated for the given type system.Classorg.checkerframework.framework.qualCheckerjavadoc
AnnotatedTypeComparerA TypeVisitor that takes an AnnotatedTypeMirror as a parameter, and visits it simultaneously.Classorg.checkerframework.framework.type.visitorCheckerjavadoc
AnnotatedTypeCopierAnnotatedTypeCopier is a visitor that deep copies an AnnotatedTypeMirror exactly, including any lazily initialized fields.Classorg.checkerframework.framework.typeCheckerjavadoc
AnnotatedTypeFactoryThe methods of this class take an element or AST node, and return the annotated type as an AnnotatedTypeMirror.Classorg.checkerframework.framework.typeCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

AnnotatedTypeFormatterConverts an AnnotatedTypeMirror mirror into a formatted string.Interfaceorg.checkerframework.framework.typeCheckerjavadoc
AnnotatedTypeMergerReplaces or adds all the annotations in the parameter with the annotations from the visited type.Classorg.checkerframework.framework.type.visitorCheckerjavadoc
AnnotatedTypeMirrorRepresents an annotated type in the Java programming language.Classorg.checkerframework.framework.typeCheckerjavadoc
AnnotatedTypeParameterBoundsClassorg.checkerframework.framework.typeCheckerjavadoc
AnnotatedTypeReplacerDuplicates annotated types and replaces components according to a replacement map.Classorg.checkerframework.framework.typeCheckerjavadoc
AnnotatedTypesUtility methods for operating on AnnotatedTypeMirror.Classorg.checkerframework.framework.utilCheckerjavadoc
AnnotatedTypeScannerA TypeVisitor that visits all the child tree nodes.Classorg.checkerframework.framework.type.visitorCheckerjavadoc
AnnotatedTypeVisitorA Visitor class of annotated types, in the style of the visitor A visitor of types, in the style of the visitor design pattern.Interfaceorg.checkerframework.framework.type.visitorCheckerjavadoc
AnnotationBuilderBuilds an annotation mirror that may have some values.Classorg.checkerframework.framework.utilCheckerjavadoc
AnnotationClassLoaderThis class assists the AnnotatedTypeFactory by reflectively looking up the list of annotation class names in each checker's qual directory, andClassorg.checkerframework.framework.typeCheckerjavadoc
AnnotationConverterDefaultQualifiedTypeFactory component for converting annotations written in source code into type qualifiers.Interfaceorg.checkerframework.qualframework.baseCheckerjavadoc
AnnotationConverterConfigurationPlain old java object to help configure SimpleQualifierParameterAnnotationConverter.Classorg.checkerframework.qualframework.polyCheckerjavadoc
AnnotationDeclarationClassorg.checkerframework.stubparser.ast.bodyCheckerjavadoc
AnnotationExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
AnnotationFormatterConverts AnnotationMirrors to Strings For converting AnnotatedTypeMirrors:Interfaceorg.checkerframework.framework.utilCheckerjavadoc
AnnotationMemberDeclarationClassorg.checkerframework.stubparser.ast.bodyCheckerjavadoc
AnnotationProviderInterfaceorg.checkerframework.javacutilCheckerjavadoc
AnnotationsCounterAn annotation processor for counting the occurrences of annotations.Classorg.checkerframework.common.util.countCheckerjavadoc
AnnotationUtilsA utility class for working with annotations.Classorg.checkerframework.javacutilCheckerjavadoc
AreaClassorg.checkerframework.checker.units.qualCheckerjavadoc
ArrayAccessExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
ArrayAccessNodeA node for an array access: array ref [ index ]Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
ArrayCreationExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
ArrayCreationNodeA node for new array creation new type [] = { expr1, expr2, .Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
ArrayInitializerExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

ArrayLenAn annotation indicating the length of an array type.Classorg.checkerframework.common.value.qualCheckerjavadoc
ArrayTypeNodeA node representing a array type used in an expression such as a field accessClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
AssertionErrorNodeA node for the AssertionError when an assertion fails.Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
AssertNonNullIfNonNullIndicates that if the method returns a non-null value, then the value expressions are also non-null.Classorg.checkerframework.checker.nullness.qualCheckerjavadoc
AssertStmtClassorg.checkerframework.stubparser.ast.stmtCheckerjavadoc
AssignableClassorg.checkerframework.checker.igj.qualCheckerjavadoc
AssignableClassorg.checkerframework.checker.javari.qualCheckerjavadoc
AssignableClassorg.checkerframework.checker.oigj.qualCheckerjavadoc
AssignExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
AssignmentContextAn assignment context for a node, which represents the place to which the node with this context is 'assigned' to.Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
AssignmentNodeA node for an assignment: variable = expressionClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
AssignsFieldsClassorg.checkerframework.checker.igj.qualCheckerjavadoc
AssignsFieldsClassorg.checkerframework.checker.oigj.qualCheckerjavadoc
ASTHelperThis class helps to construct new nodes.Classorg.checkerframework.stubparserCheckerjavadoc
ASTParserConstantsToken literal values and constants.Interfaceorg.checkerframework.stubparserCheckerjavadoc
ASTParserTokenManagerClassorg.checkerframework.stubparserCheckerjavadoc
AtmComboAn enum representing the cartesian product of the set of AtmKinds with itself.Classorg.checkerframework.framework.utilCheckerjavadoc
AtmComboVisitorVisitor interface for all pair-wise combinations of AnnotatedTypeMirrors.Interfaceorg.checkerframework.framework.type.visitorCheckerjavadoc
AwtAlphaCompositingRuleBasic alpha compositing rules for combining source and destination colors to achieve blending and transparencyClassorg.checkerframework.checker.fenum.qualCheckerjavadoc
AwtColorSpaceColor space tags to identify the specific color space of a Color object or, via a ColorModel object, of an Image, a BufferedImage,Classorg.checkerframework.checker.fenum.qualCheckerjavadoc
AwtCursorTypeClassorg.checkerframework.checker.fenum.qualCheckerjavadoc
AwtFlowLayoutClassorg.checkerframework.checker.fenum.qualCheckerjavadoc
BaseAnnotatedTypeFactoryA factory that extends GenericAnnotatedTypeFactory to use the default flow-sensitive analysis as provided by CFAnalysis.Classorg.checkerframework.common.basetypeCheckerjavadoc
BaseContextA collection of references to javac components.Interfaceorg.checkerframework.framework.utilCheckerjavadoc
BaseTypeCheckerAn abstract SourceChecker that provides a simple SourceVisitor implementation that type-checks assignments, pseudo-assignments such as parameter passingClassorg.checkerframework.common.basetypeCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

BaseTypeContextAn extension of CFContext that includes BaseTypeChecker-specific components.Interfaceorg.checkerframework.common.basetypeCheckerjavadoc
BaseTypeValidatorA visitor to validate the types in a tree.Classorg.checkerframework.common.basetypeCheckerjavadoc
BaseTypeVisitorA SourceVisitor that performs assignment and pseudo-assignment checking, method invocation checking, and assignability checking.Classorg.checkerframework.common.basetypeCheckerjavadoc
BasicAnnotationProviderClassorg.checkerframework.javacutilCheckerjavadoc
BasicTypeProcessorProcess the types in an AST in a trivial manner, with hooks for derived classes to actually do something.Classorg.checkerframework.javacutilCheckerjavadoc
BinaryExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
BinaryNameRepresents a binary name as defined in the Java Language Specification, section 13.Classorg.checkerframework.checker.signature.qualCheckerjavadoc
BinaryNameForNonArrayClassorg.checkerframework.checker.signature.qualCheckerjavadoc
BinaryNameForNonArrayInUnnamedPackageRepresents a binary name as defined in the Java Language Specification, section 13.Classorg.checkerframework.checker.signature.qualCheckerjavadoc
BinaryNameInUnnamedPackageRepresents a string that is both a BinaryName and an InternalForm.Classorg.checkerframework.checker.signature.qualCheckerjavadoc
BitwiseAndNodeA node for the bitwise or logical (single bit) and operation: expression & expressionClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
BitwiseComplementNodeA node for the bitwise complement operation:Author:Stefan Heule, Charlie GarrettClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
BitwiseOrNodeA node for the bitwise or logical (single bit) or operation: expression Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
BitwiseXorNodeA node for the bitwise or logical (single bit) xor operation: expression ^ expressionClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
BlockRepresents a basic block in a control flow graph.Interfaceorg.checkerframework.dataflow.cfg.blockCheckerjavadoc
BlockComment AST node that represent block comments.Classorg.checkerframework.stubparser.astCheckerjavadoc
BlockImplBase class of the Block implementation hierarchy.Classorg.checkerframework.dataflow.cfg.blockCheckerjavadoc
BlockStmtClassorg.checkerframework.stubparser.ast.stmtCheckerjavadoc
BodyDeclarationClassorg.checkerframework.stubparser.ast.bodyCheckerjavadoc
BooleanLiteralExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
BooleanLiteralNodeClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
BoolValAn annotation indicating the possible values for a bool type.Classorg.checkerframework.common.value.qualCheckerjavadoc
BottomA special annotation intended solely for representing the bottom type in the qualifier hierarchy.Classorg.checkerframework.framework.qualCheckerjavadoc
BottomValClassorg.checkerframework.common.value.qualCheckerjavadoc
BoundsInitializerBoundsInitializer creates the bounds for type variables and wildcards.Classorg.checkerframework.framework.typeCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

BreakStmtClassorg.checkerframework.stubparser.ast.stmtCheckerjavadoc
ByteMathClassorg.checkerframework.common.value.utilCheckerjavadoc
CClassorg.checkerframework.checker.units.qualCheckerjavadoc
CaseNodeA node for a case in a switch statement.Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
CastExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
CatchClauseClassorg.checkerframework.stubparser.ast.stmtCheckerjavadoc
cdCandela (unit of luminance).Classorg.checkerframework.checker.units.qualCheckerjavadoc
CFAbstractAnalysisCFAbstractAnalysis is an extensible org.Classorg.checkerframework.framework.flowCheckerjavadoc
CFAbstractStoreA store for the checker framework analysis tracks the annotations of memory locations such as local variables and fields.Classorg.checkerframework.framework.flowCheckerjavadoc
CFAbstractTransferThe default analysis transfer function for the Checker Framework propagates information through assignments and uses the AnnotatedTypeFactory toClassorg.checkerframework.framework.flowCheckerjavadoc
CFAbstractValueAn implementation of an abstract value used by the Checker Framework org.Classorg.checkerframework.framework.flowCheckerjavadoc
CFAnalysisThe default org.Classorg.checkerframework.framework.flowCheckerjavadoc
CFCFGBuilderA control-flow graph builder (see CFGBuilder) that knows about the Checker Framework annotations and their representation asClassorg.checkerframework.framework.flowCheckerjavadoc
CFContextA collection of references to various type checker components.Interfaceorg.checkerframework.framework.utilCheckerjavadoc
CFGBuilderBuilds the control flow graph of some Java code (either a method, or an arbitrary statement).Classorg.checkerframework.dataflow.cfgCheckerjavadoc
CFGDOTVisualizerGenerate a graph description in the DOT language of a control graph.Classorg.checkerframework.dataflow.cfgCheckerjavadoc
CFStoreThe default store used in the Checker Framework.Classorg.checkerframework.framework.flowCheckerjavadoc
CFTransferThe default transfer function used in the Checker Framework.Classorg.checkerframework.framework.flowCheckerjavadoc
CFTreeBuilderThe TreeBuilder permits the creation of new AST Trees using the non-public Java compiler API TreeMaker.Classorg.checkerframework.framework.flowCheckerjavadoc
CFValueThe default abstract value used in the Checker Framework.Classorg.checkerframework.framework.flowCheckerjavadoc
CharacterLiteralNodeA node for a character literal.Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
CharLiteralExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
CheckerMain entry point for a pluggable type system.Classorg.checkerframework.qualframework.baseCheckerjavadoc
CheckerAdapterAdapter class for Checker, extending org.Classorg.checkerframework.qualframework.baseCheckerjavadoc
CheckerDevelMainClassorg.checkerframework.framework.utilCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

CheckerFrameworkTestTo use this class you must do two things: Create exactly 1 constructor in the subclass with exactly 1 argumentClassorg.checkerframework.framework.testCheckerjavadoc
CheckerMainThis class functions essentially the same as the jsr308-langtools javac script EXCEPT that it adds the appropriate jdk.Classorg.checkerframework.framework.utilCheckerjavadoc
ClassBoundThis represents a Class object whose run-time value is equal to or a subtype of one of the arguments.Classorg.checkerframework.common.reflection.qualCheckerjavadoc
ClassExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
ClassGetNameThe type representation used by the Class.Classorg.checkerframework.checker.signature.qualCheckerjavadoc
ClassGetSimpleNameClassorg.checkerframework.checker.signature.qualCheckerjavadoc
ClassNameNodeA node representing a class name used in an expression such as a static method invocation.Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
ClassOrInterfaceDeclarationClassorg.checkerframework.stubparser.ast.bodyCheckerjavadoc
ClassOrInterfaceTypeClassorg.checkerframework.stubparser.ast.typeCheckerjavadoc
ClassRegexParamClassRegexParam declares a regex qualifier parameter on a class.Classorg.checkerframework.checker.regex.qualCheckerjavadoc
ClassTaintingParamClassTaintingParam declares a tainting qualifier parameter on a class.Classorg.checkerframework.checker.tainting.qualCheckerjavadoc
ClassTypeParamApplierApplies the annotations present for a class type parameter onto an AnnotatedTypeVariable.Classorg.checkerframework.framework.util.elementCheckerjavadoc
ClassValThis represents a Class object where the set of possible values of T is known at compile time.Classorg.checkerframework.common.reflection.qualCheckerjavadoc
ClassValAnnotatedTypeFactoryClassorg.checkerframework.common.reflectionCheckerjavadoc
ClassValBottomClassorg.checkerframework.common.reflection.qualCheckerjavadoc
ClassValCheckerThe ClassVal Checker provides a sound estimate of the binary name of ClassSee the Checker Framework Manual:ClassVal CheckerClassorg.checkerframework.common.reflectionCheckerjavadoc
ClassValVisitorClassorg.checkerframework.common.reflectionCheckerjavadoc
CollectionToArrayHeuristicsHandles calls to Collection.Classorg.checkerframework.checker.nullnessCheckerjavadoc
CollectionUtilsClassorg.checkerframework.javacutilCheckerjavadoc
CombiningOperationA binary operation for combining qualifiers of type Q.Interfaceorg.checkerframework.qualframework.polyCheckerjavadoc
ComboLogCreated by jburke on 6/12/14.Classorg.checkerframework.framework.utilCheckerjavadoc
CommentAbstract class for all AST nodes that represent comments.Classorg.checkerframework.stubparser.astCheckerjavadoc
CompilationResultCompilationResult represents the output of the compiler after it is run.Classorg.checkerframework.framework.testCheckerjavadoc
CompilationUnit This class represents the entire compilation unit.Classorg.checkerframework.stubparser.astCheckerjavadoc
CompilerMessageKeyClassorg.checkerframework.checker.compilermsgs.qualCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

CompilerMessagesAnnotatedTypeFactoryA PropertyKeyATF that uses CompilerMessageKey to annotate the keys.Classorg.checkerframework.checker.compilermsgsCheckerjavadoc
CompilerMessagesCheckerA PropertyKeyChecker for the compiler message keys that are used in the Checker framework.Classorg.checkerframework.checker.compilermsgsCheckerjavadoc
ConditionalAndNodeA node for a conditional and expression: expression && expressionClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
ConditionalBlockInterfaceorg.checkerframework.dataflow.cfg.blockCheckerjavadoc
ConditionalBlockImplClassorg.checkerframework.dataflow.cfg.blockCheckerjavadoc
ConditionalExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
ConditionalNotNodeA node for a conditional not expression:Author:Stefan Heule, Charlie GarrettClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
ConditionalOrNodeA node for a conditional or expression: expression Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
ConditionalPostconditionAnnotationA meta-annotation that indicates that an annotation is a conditional postcondition annotation, i.Classorg.checkerframework.framework.qualCheckerjavadoc
ConditionalTransferResult one for the 'then' edge and one for 'else'.Classorg.checkerframework.dataflow.analysisCheckerjavadoc
ConstantClassorg.checkerframework.dataflow.constantpropagationCheckerjavadoc
ConstantPropagationPlaygroundClassorg.checkerframework.dataflow.cfg.playgroundCheckerjavadoc
ConstantPropagationStoreClassorg.checkerframework.dataflow.constantpropagationCheckerjavadoc
ConstantPropagationTransferClassorg.checkerframework.dataflow.constantpropagationCheckerjavadoc
ConstraintMapConstraintMap holds simplified versions of the TUConstraints for ALL type variable for which we are inferring an argument.Classorg.checkerframework.framework.util.typeinference.solverCheckerjavadoc
ConstraintMapBuilderConverts a set of TUConstraints into a ConstraintMap.Classorg.checkerframework.framework.util.typeinference.solverCheckerjavadoc
ConstructorDeclarationClassorg.checkerframework.stubparser.ast.bodyCheckerjavadoc
ConstructorReturnUtilClass to hold a utility method needed by TypeFromExpression and BaseTypeVisitor.Classorg.checkerframework.framework.utilCheckerjavadoc
ContainmentHierarchyClassorg.checkerframework.qualframework.polyCheckerjavadoc
ContinueStmtClassorg.checkerframework.stubparser.ast.stmtCheckerjavadoc
ContractsUtilsA utility class to handle pre- and postconditions.Classorg.checkerframework.framework.utilCheckerjavadoc
ControlFlowGraphA control flow graph (CFG for short) of a single method.Classorg.checkerframework.dataflow.cfgCheckerjavadoc
ConversionCategoryenum ConversionCategoryElements of this enumeration are used in a Format annotationClassorg.checkerframework.checker.formatter.qualCheckerjavadoc
CovariantA marker annotation, written on a class declaration, that signifies that one or more of the class's type parameters can be treated covariantly.Classorg.checkerframework.checker.nullness.qualCheckerjavadoc
CurrentClassorg.checkerframework.checker.units.qualCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

DebugListTreeAnnotatorA ListTreeAnnotator implementation that additionally outputs debugging information.Classorg.checkerframework.framework.type.treeannotatorCheckerjavadoc
DeclarationsIntoElementsA helper class that puts the declaration annotations from a method declaration back into the corresponding Elements, so that they get stored in the bytecodeClassorg.checkerframework.framework.typeCheckerjavadoc
DefaultAnnotatedTypeFormatterAn AnnotatedTypeFormatter used by default by all AnnotatedTypeFactory (and therefore allSee Also:AnnotatedTypeFormatter, Classorg.checkerframework.framework.typeCheckerjavadoc
DefaultAnnotationFormatterA utility for converting AnnotationMirrors to Strings.Classorg.checkerframework.framework.utilCheckerjavadoc
DefaultForApplied to the declaration of a type qualifier specifies that the given annotation should be the default for a particular location.Classorg.checkerframework.framework.qualCheckerjavadoc
DefaultInferredTypesApplierUtility class for applying the annotations inferred by dataflow to a given type.Classorg.checkerframework.framework.typeCheckerjavadoc
DefaultInUncheckedCodeForApplied to the declaration of a type qualifier, specifies that the given annotation should be the default for unannotated type usesClassorg.checkerframework.framework.qualCheckerjavadoc
DefaultQualFormatterDefaultQualFormatter is a very basic QualFormatter that returns the toString of the qual.Classorg.checkerframework.qualframework.base.formatCheckerjavadoc
DefaultQualifiedTypeFactoryDefault implementation of QualifiedTypeFactory.Classorg.checkerframework.qualframework.baseCheckerjavadoc
DefaultQualifiedTypeFormatterDefaultQualifiedTypeFormatter formats QualifiedTypeMirrors into Strings.Classorg.checkerframework.qualframework.base.formatCheckerjavadoc
DefaultQualifierApplied to a declaration of a package, type, method, variable, etc.Classorg.checkerframework.framework.qualCheckerjavadoc
DefaultQualifierInHierarchyIndicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicitClassorg.checkerframework.framework.qualCheckerjavadoc
DefaultQualifierInHierarchyInUncheckedCodeIndicates that the annotated qualifier is the default qualifier on unannotated type uses (in bytecode or source code that has not been type-checked).Classorg.checkerframework.framework.qualCheckerjavadoc
DefaultQualifiersSpecifies the annotations to be included in a type without having to provide This annotation permits specifying multiple default qualifiers for moreClassorg.checkerframework.framework.qualCheckerjavadoc
DefaultRawnessComparer //TODO: USING THE SAME LOGIC AS THE OLD TYPE_HIERARCHY.Classorg.checkerframework.framework.typeCheckerjavadoc
DefaultReflectionResolverDefault implementation of ReflectionResolver, which resolves calls Method.Classorg.checkerframework.common.reflectionCheckerjavadoc
DefaultTypeArgumentInferenceAn implementation of TypeArgumentInference that mostly follows the process outlined in JLS7 Note, there are some deviations JLS 7 for the following cases:Classorg.checkerframework.framework.util.typeinferenceCheckerjavadoc
DefaultTypeHierarchyDefault implementation of TypeHierarchy that implements the JLS specification with minor deviations as outlined by the Checker Framework manual.Classorg.checkerframework.framework.typeCheckerjavadoc
DefaultTypeHierarchyDefault implementation of TypeHierarchy.Classorg.checkerframework.qualframework.baseCheckerjavadoc
degreesClassorg.checkerframework.checker.units.qualCheckerjavadoc
DependentRefines the qualified type of the annotated field or variable based on the qualified type of the receiver.Classorg.checkerframework.framework.qualCheckerjavadoc
DependentTypesClassorg.checkerframework.framework.utilCheckerjavadoc
DetachedVarSymbolA DetachedVarSymbol represents a variable that is not part of any AST Tree.Classorg.checkerframework.javacutil.treesCheckerjavadoc
DeterministicA method is called deterministic if it returns the same value (according to ==) every time it is called with the sameClassorg.checkerframework.dataflow.qualCheckerjavadoc
DiagnosticKindIndicates what type of Error was, or expected to be, encountered during typecheckingEnum Constant SummaryClassorg.checkerframework.framework.test.diagnosticsCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

DominatorClassorg.checkerframework.checker.oigj.qualCheckerjavadoc
DoStmtClassorg.checkerframework.stubparser.ast.stmtCheckerjavadoc
DoubleLiteralExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
DoubleLiteralNodeA node for a double literal.Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
DoubleMathClassorg.checkerframework.common.value.utilCheckerjavadoc
DoubleValAn annotation indicating the possible values for a double or float type.Classorg.checkerframework.common.value.qualCheckerjavadoc
DumpVisitorBuilds a string representation of any AST node for printing.Classorg.checkerframework.stubparser.ast.visitorCheckerjavadoc
EffectClassorg.checkerframework.checker.guieffectCheckerjavadoc
ElementAnnotationApplierUtility methods for adding the annotations that are stored in an Element to the type that represents that element (or a use of that Element).Classorg.checkerframework.framework.typeCheckerjavadoc
ElementAnnotationUtilUtility methods for adding the annotations that are stored in an Element to the type that represents that element (or a use of that Element).Classorg.checkerframework.framework.util.elementCheckerjavadoc
ElementUtilsA Utility class for analyzing Elements.Classorg.checkerframework.javacutilCheckerjavadoc
EmptyMemberDeclarationClassorg.checkerframework.stubparser.ast.bodyCheckerjavadoc
EmptyProcessorEmpty simple processor.Classorg.checkerframework.common.util.debugCheckerjavadoc
EmptyStmtClassorg.checkerframework.stubparser.ast.stmtCheckerjavadoc
EmptyTypeDeclarationClassorg.checkerframework.stubparser.ast.bodyCheckerjavadoc
EnclosedExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
EnsuresLockHeldIndicates that the value expressions are LockHeld if the method terminates successfully.Classorg.checkerframework.checker.lock.qualCheckerjavadoc
EnsuresLockHeldIfIndicates that the given expressions are @LockHeld if the method returns the given result (either true or false).Classorg.checkerframework.checker.lock.qualCheckerjavadoc
EnsuresNonNullIndicates that the value expressions are non-null, if the method terminates successfully.Classorg.checkerframework.checker.nullness.qualCheckerjavadoc
EnsuresNonNullIfIndicates that the given expressions are non-null, if the method returns the given result (either true or false).Classorg.checkerframework.checker.nullness.qualCheckerjavadoc
EnsuresQualifierA postcondition annotation to indicate that a method ensures certain expressions to have a certain type qualifier once the method has successfullyClassorg.checkerframework.framework.qualCheckerjavadoc
EnsuresQualifierIfA conditional postcondition annotation to indicate that a method ensures that certain expressions have a certain qualifier once the method has finished,Classorg.checkerframework.framework.qualCheckerjavadoc
EnsuresQualifiersA meta-annotation to allow multiple postcondition annotations.Classorg.checkerframework.framework.qualCheckerjavadoc
EnsuresQualifiersIfA meta-annotation to allow multiple conditional postcondition annotations.Classorg.checkerframework.framework.qualCheckerjavadoc
EnumConstantDeclarationClassorg.checkerframework.stubparser.ast.bodyCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

EnumDeclarationClassorg.checkerframework.stubparser.ast.bodyCheckerjavadoc
EqualitiesSolverEqualitiesSolver infers type arguments for targets using the equality constraints in ConstraintMap.Classorg.checkerframework.framework.util.typeinference.solverCheckerjavadoc
EqualityAtmComparerCompares two annotated type mirrors for structural equality using only the primary annotations and underlying types of the two input types and their component types.Classorg.checkerframework.framework.typeCheckerjavadoc
EqualsVisitorClassorg.checkerframework.stubparser.ast.visitorCheckerjavadoc
EqualToNodeA node for an equality check: expression == expressionClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
EquivalentAtmComboScannerEquivalentAtmComboScanner is an AtmComboVisitor that accepts combinations that are identical in TypeMirror structure but might differ in contained AnnotationMirrors.Classorg.checkerframework.framework.type.visitorCheckerjavadoc
ErrorHandlerAn implementation of the ErrorHandler interface can be registered with the ErrorReporter class to change the default behavior onInterfaceorg.checkerframework.javacutilCheckerjavadoc
ErrorReporterHandle errors detected in utility classes.Classorg.checkerframework.javacutilCheckerjavadoc
ExceptionBlockRepresents a basic block that contains exactly one Node which can throw an exception.Interfaceorg.checkerframework.dataflow.cfg.blockCheckerjavadoc
ExceptionBlockImplBase class of the Block implementation hierarchy.Classorg.checkerframework.dataflow.cfg.blockCheckerjavadoc
ExecUtilClassorg.checkerframework.framework.utilCheckerjavadoc
ExplicitConstructorInvocationStmtClassorg.checkerframework.stubparser.ast.stmtCheckerjavadoc
ExplicitThisLiteralNodeA node for a reference to 'this'.Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
ExpressionClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
ExpressionStmtClassorg.checkerframework.stubparser.ast.stmtCheckerjavadoc
ExtendedArrayTypeReturns the component type of this array type.Interfaceorg.checkerframework.qualframework.utilCheckerjavadoc
ExtendedDeclaredTypeReturns the element corresponding to this type.Interfaceorg.checkerframework.qualframework.utilCheckerjavadoc
ExtendedErrorTypeInterfaceorg.checkerframework.qualframework.utilCheckerjavadoc
ExtendedExecutableTypeReturns the element corresponding to this type.Interfaceorg.checkerframework.qualframework.utilCheckerjavadoc
ExtendedIntersectionTypeReturn the bounds comprising this intersection type.Interfaceorg.checkerframework.qualframework.utilCheckerjavadoc
ExtendedNoTypeInterfaceorg.checkerframework.qualframework.utilCheckerjavadoc
ExtendedNullTypeInterfaceorg.checkerframework.qualframework.utilCheckerjavadoc
ExtendedParameterDeclarationReturns the element corresponding to this type variable.Interfaceorg.checkerframework.qualframework.utilCheckerjavadoc
ExtendedPrimitiveTypeInterfaceorg.checkerframework.qualframework.utilCheckerjavadoc
ExtendedReferenceTypeInterfaceorg.checkerframework.qualframework.utilCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

ExtendedTypeDeclarationReturns the element corresponding to this type.Interfaceorg.checkerframework.qualframework.utilCheckerjavadoc
ExtendedTypeMirrorRepresents a type in the Java programming language.Interfaceorg.checkerframework.qualframework.utilCheckerjavadoc
ExtendedTypeVariable Unlike TypeVariable, this interface does not provide methods to obtain the upper and lower bounds of the type variable.Interfaceorg.checkerframework.qualframework.utilCheckerjavadoc
ExtendedTypeVisitorInterfaceorg.checkerframework.qualframework.utilCheckerjavadoc
ExtendedUnionTypeReturn the alternatives comprising this union type.Interfaceorg.checkerframework.qualframework.utilCheckerjavadoc
ExtendedWildcardTypeReturns the upper bound of this wildcard.Interfaceorg.checkerframework.qualframework.utilCheckerjavadoc
F2AClassorg.checkerframework.framework.util.typeinference.constraintCheckerjavadoc
F2AReducerF2AReducer takes an F2A constraint that is not irreducible (@see AFConstraint.Classorg.checkerframework.framework.util.typeinference.constraintCheckerjavadoc
FBCBottomClassorg.checkerframework.checker.initialization.qualCheckerjavadoc
FenumA generic fake enumeration qualifier that is parameterized by a name.Classorg.checkerframework.checker.fenum.qualCheckerjavadoc
FenumAnnotatedTypeFactoryClassorg.checkerframework.checker.fenumCheckerjavadoc
FenumBottomClassorg.checkerframework.checker.fenum.qualCheckerjavadoc
FenumCheckerThe main checker class for the Fake Enum Checker.Classorg.checkerframework.checker.fenumCheckerjavadoc
FenumTopClassorg.checkerframework.checker.fenum.qualCheckerjavadoc
FenumUnqualifiedClassorg.checkerframework.checker.fenum.qualCheckerjavadoc
FenumVisitorClassorg.checkerframework.checker.fenumCheckerjavadoc
FieldAccessExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
FieldAccessNodeA node for a field access, including a method accesses: expression .Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
FieldDeclarationClassorg.checkerframework.stubparser.ast.bodyCheckerjavadoc
FieldDescriptorRepresents a field descriptor (JVM type format) as defined in the Java Virtual Machine Specification, section 4.Classorg.checkerframework.checker.signature.qualCheckerjavadoc
FieldDescriptorForArrayRepresents a field descriptor (JVM type format) as defined in the JavaClassorg.checkerframework.checker.signature.qualCheckerjavadoc
FieldIsExpressionClassorg.checkerframework.framework.qualCheckerjavadoc
FIsAClassorg.checkerframework.framework.util.typeinference.constraintCheckerjavadoc
FIsAReducerFIsAReducer takes an FIsA constraint that is not irreducible (@see AFConstraint.Classorg.checkerframework.framework.util.typeinference.constraintCheckerjavadoc
FloatingDivisionNodeA node for the floating-point division: expression / expressionClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

FloatingRemainderNodeA node for the floating-point remainder: expression % expressionClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
FloatLiteralNodeA node for a float literal.Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
FloatMathClassorg.checkerframework.common.value.utilCheckerjavadoc
FlowExpressionParseUtilA collection of helper methods to parse a string that represents a restricted Java expression.Classorg.checkerframework.framework.utilCheckerjavadoc
FlowExpressionsCollection of classes and helper functions to represent Java expressions about which the org.Classorg.checkerframework.dataflow.analysisCheckerjavadoc
ForeachStmtClassorg.checkerframework.stubparser.ast.stmtCheckerjavadoc
FormatThis annotation, attached to a String type, indicates that the String may be passed toClassorg.checkerframework.checker.formatter.qualCheckerjavadoc
FormatBottomClassorg.checkerframework.checker.formatter.qualCheckerjavadoc
FormatMethodClassorg.checkerframework.checker.formatter.qualCheckerjavadoc
FormatterAnalysisNeeded for flow analysis, to implement the FormatUtil.Classorg.checkerframework.checker.formatterCheckerjavadoc
FormatterAnnotatedTypeFactoryAdds Format to the type of tree, if it is a String or char literal that represents a satisfiable format.Classorg.checkerframework.checker.formatterCheckerjavadoc
FormatterCheckerA type-checker plug-in for the Format qualifier that finds syntactically invalid formatter calls.Classorg.checkerframework.checker.formatterCheckerjavadoc
FormatterTransferClassorg.checkerframework.checker.formatterCheckerjavadoc
FormatterTreeUtilThis class provides a collection of utilities to ease working with syntax trees that have something to do with Formatters.Classorg.checkerframework.checker.formatterCheckerjavadoc
FormatterVisitorWhenever a format method invocation is found in the syntax tree, the following checks happen, read the code, seriously! (otherwise see manual 12.Classorg.checkerframework.checker.formatterCheckerjavadoc
FormatUtilThis class provides a collection of utilities to ease working with format strings.Classorg.checkerframework.checker.formatterCheckerjavadoc
ForNameClassorg.checkerframework.common.reflection.qualCheckerjavadoc
ForStmtClassorg.checkerframework.stubparser.ast.stmtCheckerjavadoc
FromByteCodeIf a method is annotated with this declaration annotation, then its signature is not written in a stub file and the method is not declared in source.Classorg.checkerframework.framework.qualCheckerjavadoc
FromStubFileClassorg.checkerframework.framework.qualCheckerjavadoc
FullyQualifiedNameRepresents a fully-qualified name as defined in the Java Language Specification, section 6.Classorg.checkerframework.checker.signature.qualCheckerjavadoc
FunctionalInterfaceNodeA node for member references and lambdas.Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
gClassorg.checkerframework.checker.units.qualCheckerjavadoc
GeneralAnnotatedTypeFactoryA "general" annotated type factory that supports qualifiers from any type hierarchy.Classorg.checkerframework.framework.typeCheckerjavadoc
GenericAnnotatedTypeFactoryA factory that extends AnnotatedTypeFactory to optionally use flow-sensitive qualifier inference, qualifier polymorphism, implicitClassorg.checkerframework.framework.typeCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

GenericVisitorInterfaceorg.checkerframework.stubparser.ast.visitorCheckerjavadoc
GenericVisitorAdapterClassorg.checkerframework.stubparser.ast.visitorCheckerjavadoc
GetClassClassorg.checkerframework.common.reflection.qualCheckerjavadoc
GetConstructorClassorg.checkerframework.common.reflection.qualCheckerjavadoc
GetMethodClassorg.checkerframework.common.reflection.qualCheckerjavadoc
GlbUtilA class used to determine the greatest lower bounds for a set of AnnotatedTypeMirrors.Classorg.checkerframework.framework.util.typeinferenceCheckerjavadoc
GraphQualifierHierarchyRepresents the type qualifier hierarchy of a type system.Classorg.checkerframework.framework.utilCheckerjavadoc
GreaterThanNodeA node for the greater than comparison: expression > expressionClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
GreaterThanOrEqualNodeA node for the greater than or equal comparison: expression >= expressionClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
GuardedByThe field (or other variable) to which this annotation is applied can only be accessed when holding a particular lock, which may be a built-inClassorg.checkerframework.checker.lock.qualCheckerjavadoc
GuiEffectCheckerClassorg.checkerframework.checker.guieffectCheckerjavadoc
GuiEffectTypeFactoryAnnotated type factory for the GUI Effect Checker.Classorg.checkerframework.checker.guieffectCheckerjavadoc
GuiEffectVisitorRequire that only UI code invokes code with the UI effect.Classorg.checkerframework.checker.guieffectCheckerjavadoc
hClassorg.checkerframework.checker.units.qualCheckerjavadoc
HashcodeAtmVisitorComputes the hashcode of an AnnotatedTypeMirror using the underlying type and primary annotations of the type and its component type.Classorg.checkerframework.framework.typeCheckerjavadoc
HashCodeUtilsUtility class to implement the hashCode method.Classorg.checkerframework.dataflow.utilCheckerjavadoc
HeuristicsUtilities for determining tree-based heuristics.Classorg.checkerframework.framework.utilCheckerjavadoc
HoldingIndicates a method pre and postcondition: the method expects the specified expressions to be @LockHeld when the annotated methodClassorg.checkerframework.checker.lock.qualCheckerjavadoc
HoldingOnEntryIndicates a method precondition: the method expects the specified expressions to be @LockHeld when the annotated method is invoked.Classorg.checkerframework.checker.lock.qualCheckerjavadoc
ITemplate annotation over IGJ Immutability annotations.Classorg.checkerframework.checker.igj.qualCheckerjavadoc
ITemplate annotation over IGJ Immutability annotations.Classorg.checkerframework.checker.oigj.qualCheckerjavadoc
I18nAnnotatedTypeFactoryClassorg.checkerframework.checker.i18nCheckerjavadoc
I18nCheckerA type-checker that enforces (and finds the violations of) two properties: Only localized output gets emitted to the userOnly localizable keys (i.Classorg.checkerframework.checker.i18nCheckerjavadoc
I18nChecksFormatAttach this annotation to a method with the following properties: The first parameter is a format string.Classorg.checkerframework.checker.i18nformatter.qualCheckerjavadoc
I18nConversionCategoryenum I18nConversionCategoryElements of this enumeration are used in a I18nFormat annotationClassorg.checkerframework.checker.i18nformatter.qualCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

I18nConversionCategoryTestClassorg.checkerframework.checker.i18nformatter.unittestsCheckerjavadoc
I18nFormatThis annotation, attached to a String type, indicates that the String may be passed toClassorg.checkerframework.checker.i18nformatter.qualCheckerjavadoc
I18nFormatBottomClassorg.checkerframework.checker.i18nformatter.qualCheckerjavadoc
I18nFormatForThis annotation indicates that when a string of the annotated type is passed as the first argument to MessageFormat.Classorg.checkerframework.checker.i18nformatter.qualCheckerjavadoc
I18nFormatterAnalysisNeeded for flow analysis to implement I18nFormatUtil.Classorg.checkerframework.checker.i18nformatterCheckerjavadoc
I18nFormatterAnnotatedTypeFactoryAdds I18nFormat to the type of tree, if it is a String or char literal that represents a satisfiable format.Classorg.checkerframework.checker.i18nformatterCheckerjavadoc
I18nFormatterCheckerA type-checker plug-in for the qualifier that finds syntactically invalid i18n-formatter calls (MessageFormat.Classorg.checkerframework.checker.i18nformatterCheckerjavadoc
I18nFormatterTransferClassorg.checkerframework.checker.i18nformatterCheckerjavadoc
I18nFormatterTreeUtilThis class provides a collection of utilities to ease working with syntax trees that have something to do with I18nFormatters.Classorg.checkerframework.checker.i18nformatterCheckerjavadoc
I18nFormatterVisitorWhenever a method with I18nFormatFor annotation is invoked, it will perform the format string verification.Classorg.checkerframework.checker.i18nformatterCheckerjavadoc
I18nFormatUtilThis class provides a collection of utilities to ease working with i18nAuthor:Siwakorn SrisakaokulSee the Checker Framework Manual:InternationalizationClassorg.checkerframework.checker.i18nformatterCheckerjavadoc
I18nHasFormatTestClassorg.checkerframework.checker.i18nformatter.unittestsCheckerjavadoc
I18nInvalidFormatThis annotation, attached to a String type, indicates that if the String is passed toClassorg.checkerframework.checker.i18nformatter.qualCheckerjavadoc
I18nMakeFormatThis annotation is used internally to annotate ResourceBundle.Classorg.checkerframework.checker.i18nformatter.qualCheckerjavadoc
I18nSubcheckerA type-checker that checks that only localized Strings are visibleSee the Checker Framework Manual:Internationalization CheckerClassorg.checkerframework.checker.i18nCheckerjavadoc
I18nUnknownFormatClassorg.checkerframework.checker.i18nformatter.qualCheckerjavadoc
I18nValidFormatClassorg.checkerframework.checker.i18nformatter.qualCheckerjavadoc
IdentifierClassorg.checkerframework.checker.signature.qualCheckerjavadoc
IdentifierOrArrayClassorg.checkerframework.checker.signature.qualCheckerjavadoc
IfStmtClassorg.checkerframework.stubparser.ast.stmtCheckerjavadoc
IGJAnnotatedTypeFactoryAdds implicit and default IGJ annotations, only if the user does not annotate the type explicitly.Classorg.checkerframework.checker.igjCheckerjavadoc
IGJBottomClassorg.checkerframework.checker.igj.qualCheckerjavadoc
IGJCheckerA type-checker plug-in for the IGJ immutability type system that finds (and verifies the absence of) undesired side-effect errors.Classorg.checkerframework.checker.igjCheckerjavadoc
IGJVisitorA type-checking visitor for the IGJ type qualifier that uses the BaseTypeVisitor implementation.Classorg.checkerframework.checker.igjCheckerjavadoc
ImmutabilityAnnotatedTypeFactoryAdds implicit and default OIGJ annotations, only if the user does not annotate the type explicitly.Classorg.checkerframework.checker.oigjCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

ImmutabilitySubcheckerClassorg.checkerframework.checker.oigjCheckerjavadoc
ImmutabilityVisitorClassorg.checkerframework.checker.oigjCheckerjavadoc
ImmutableClassorg.checkerframework.checker.igj.qualCheckerjavadoc
ImmutableClassorg.checkerframework.checker.oigj.qualCheckerjavadoc
ImmutableTestConfigurationRepresents all of the information needed to execute the Javac compiler for a given set of test files.Classorg.checkerframework.framework.testCheckerjavadoc
ImplicitForA meta-annotation that specifies the trees and types for which the framework should automatically add that qualifier.Classorg.checkerframework.framework.qualCheckerjavadoc
ImplicitsTreeAnnotatorAdds annotations to a type based on the contents of a tree.Classorg.checkerframework.framework.type.treeannotatorCheckerjavadoc
ImplicitsTypeAnnotatorAdds annotations to a type based on the contents of a type.Classorg.checkerframework.framework.type.typeannotatorCheckerjavadoc
ImplicitThisLiteralNodeA node to model the implicit this, e.Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
ImportDeclaration This class represents a import declaration.Classorg.checkerframework.stubparser.astCheckerjavadoc
IndexUnitClassorg.checkerframework.stubparser.astCheckerjavadoc
InferenceResultRepresents the result from inferring type arguments.Classorg.checkerframework.framework.util.typeinference.solverCheckerjavadoc
InferredValueWhen one of the constraint solvers infers that a the target has a given type/target in ALL qualifier hierarchies or that given an additional set of annotations that we know the target must hold we have covered all hierarchiesClassorg.checkerframework.framework.util.typeinference.solverCheckerjavadoc
InheritedAnnotationClassorg.checkerframework.framework.qualCheckerjavadoc
InitializationAnnotatedTypeFactoryThe annotated type factory for the freedom-before-commitment type-system.Classorg.checkerframework.checker.initializationCheckerjavadoc
InitializationCheckerTracks whether a value is initialized (all its fields are set), and checks that values are initialized before being used.Classorg.checkerframework.checker.initializationCheckerjavadoc
InitializationStoreA store that extends CFAbstractStore and additionally tracks which fields of the 'self' reference have been initialized.Classorg.checkerframework.checker.initializationCheckerjavadoc
InitializationTransferA transfer function that extends CFAbstractTransfer and tracks InitializationStores.Classorg.checkerframework.checker.initializationCheckerjavadoc
InitializationVisitorThe visitor for the freedom-before-commitment type-system.Classorg.checkerframework.checker.initializationCheckerjavadoc
InitializedThis type qualifier belongs to the freedom-before-commitment initialization tracking type-system.Classorg.checkerframework.checker.initialization.qualCheckerjavadoc
InitializerDeclarationClassorg.checkerframework.stubparser.ast.bodyCheckerjavadoc
InstanceOfExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
InstanceOfNodeA node for the instanceof operator:Author:Stefan Heule, Charlie GarrettClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
IntegerDivisionNodeA node for the integer division: expression / expressionClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
IntegerLiteralExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

IntegerLiteralMinValueExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
IntegerLiteralNodeA node for an integer literal.Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
IntegerMathClassorg.checkerframework.common.value.utilCheckerjavadoc
IntegerRemainderNodeA node for the integer remainder: expression % expressionClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
InternalFormThe syntax for binary names that appears in a class file, as defined in Specification, section 4.Classorg.checkerframework.checker.signature.qualCheckerjavadoc
InternalUtilsStatic utility methods used by annotation abstractions in this package.Classorg.checkerframework.javacutilCheckerjavadoc
InternedIndicates that a variable has been interned, i.Classorg.checkerframework.checker.interning.qualCheckerjavadoc
InterningAnnotatedTypeFactoryAn AnnotatedTypeFactory that accounts for the properties of the Interned type system.Classorg.checkerframework.checker.interningCheckerjavadoc
InterningCheckerA type-checker plug-in for the Interned qualifier that finds (and verifies the absence of) equality-testing and interning errors.Classorg.checkerframework.checker.interningCheckerjavadoc
InterningVisitorTypechecks source code for interning violations.Classorg.checkerframework.checker.interningCheckerjavadoc
IntValAn annotation indicating the possible values for a byte, short, char, If an expression's type has this annotation, then at run time, theClassorg.checkerframework.common.value.qualCheckerjavadoc
InvalidFormatThis annotation, attached to a String type, indicates that the string is not a legal format string.Classorg.checkerframework.checker.formatter.qualCheckerjavadoc
InvisibleQualifierClassorg.checkerframework.framework.qualCheckerjavadoc
InvokeClassorg.checkerframework.common.reflection.qualCheckerjavadoc
JavaCharStreamAn implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (with java-like unicode escape processing).Classorg.checkerframework.stubparserCheckerjavadoc
JavaDiagnosticReaderReads a file that has serialized javac diagnostics and returns either a list of TestDiagnosticLines or TestDiagnostics.Classorg.checkerframework.framework.test.diagnosticsCheckerjavadoc
JavadocCommentClassorg.checkerframework.stubparser.ast.bodyCheckerjavadoc
JavaParserThis class was generated automatically by javacc, do not edit.Classorg.checkerframework.stubparserCheckerjavadoc
JavariAnnotatedTypeFactoryAdds implicit and default Javari annotations, only if the user does not annotate the type explicitly.Classorg.checkerframework.checker.javariCheckerjavadoc
JavariCheckerAn annotation processor that checks a program's use of the Javari type annotations (@ReadOnly, @Mutable,Classorg.checkerframework.checker.javariCheckerjavadoc
JavariVisitorA type-checking visitor for the Javari mutability annotations (@ReadOnly, @Mutable and @Assignable) thatClassorg.checkerframework.checker.javariCheckerjavadoc
JavaSource2CFGDOTClassorg.checkerframework.dataflow.cfgCheckerjavadoc
KKelvin (unit of temperature).Classorg.checkerframework.checker.units.qualCheckerjavadoc
KeyForIndicates that the value assigned to the annotated variable is a key for at least the given map(s).Classorg.checkerframework.checker.nullness.qualCheckerjavadoc
KeyForAnalysisThe analysis class for the KeyFor type system (serves as factory for the transfer function, stores and abstract values).Classorg.checkerframework.checker.nullnessCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

KeyForAnnotatedTypeFactoryClassorg.checkerframework.checker.nullnessCheckerjavadoc
KeyForBottomClassorg.checkerframework.checker.nullness.qualCheckerjavadoc
KeyForDeclJava 7 compatibility annotation without dependency on Java 8 classes.Classorg.checkerframework.checker.nullness.compatqualCheckerjavadoc
KeyForPropagationTreeAnnotatorFor the following initializations we wish to propagate the annotations from the left-hand side to the right-hand side or vice versa:Classorg.checkerframework.checker.nullnessCheckerjavadoc
KeyForPropagatorKeyForPropagator is used to move nested KeyFor annotations from one side of a pseudo-assignment to the other.Classorg.checkerframework.checker.nullnessCheckerjavadoc
KeyForSubcheckerA type-checker for determining which which values are keys for which maps.Classorg.checkerframework.checker.nullnessCheckerjavadoc
KeyForTransferClassorg.checkerframework.checker.nullnessCheckerjavadoc
KeyForTypeCompatibility annotation to allow importing both declaration and typeSee Also:KeyForSee the Checker Framework Manual:Nullness CheckerClassorg.checkerframework.checker.nullness.compatqualCheckerjavadoc
KeyForVisitorClassorg.checkerframework.checker.nullnessCheckerjavadoc
kgClassorg.checkerframework.checker.units.qualCheckerjavadoc
kmClassorg.checkerframework.checker.units.qualCheckerjavadoc
km2Classorg.checkerframework.checker.units.qualCheckerjavadoc
kmPERhClassorg.checkerframework.checker.units.qualCheckerjavadoc
LabeledStmtClassorg.checkerframework.stubparser.ast.stmtCheckerjavadoc
LazyNonNullThis annotation is deprecated.Classorg.checkerframework.checker.nullness.qualCheckerjavadoc
LeakedToResultThis annotation is used on a formal parameter to indicate that the parameter may be returned, but it is not otherwise leaked.Classorg.checkerframework.common.aliasing.qualCheckerjavadoc
LeftShiftNodeA node for bitwise left shift operations: expression << expressionClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
LengthClassorg.checkerframework.checker.units.qualCheckerjavadoc
LessThanNodeA node for the less than comparison: expression < expressionClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
LessThanOrEqualNodeA node for the less than or equal comparison: expression <= expressionClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
LinearClassorg.checkerframework.checker.linear.qualCheckerjavadoc
LinearAnnotatedTypeFactoryAdds Unusable qualifier to a type if it represents: Class declaration tree/element.Classorg.checkerframework.checker.linearCheckerjavadoc
LinearCheckerA type-checker plug-in for the Linear type system.Classorg.checkerframework.checker.linearCheckerjavadoc
LinearVisitorA type-checking visitor for the Linear type system.Classorg.checkerframework.checker.linearCheckerjavadoc
LineComment AST node that represent line comments.Classorg.checkerframework.stubparser.astCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

ListTreeAnnotatorListTreeAnnotator is a TreeVisitor that executes a list of for each tree visited.Classorg.checkerframework.framework.type.treeannotatorCheckerjavadoc
ListTypeAnnotatorListTypeAnnotator is a TypeAnnotator that executes a list of TypeAnnotator for each type visited.Classorg.checkerframework.framework.type.typeannotatorCheckerjavadoc
LiteralExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
LiteralKindSpecifies kinds of literal trees.Classorg.checkerframework.framework.qualCheckerjavadoc
LocalizableKeyClassorg.checkerframework.checker.i18n.qualCheckerjavadoc
LocalizableKeyAnnotatedTypeFactoryA PropertyKeyATF that uses LocalizableKey to annotate the keys.Classorg.checkerframework.checker.i18nCheckerjavadoc
LocalizableKeyCheckerA type-checker that checks that only valid localizable keys are used when using localizing methodsClassorg.checkerframework.checker.i18nCheckerjavadoc
LocalizedClassorg.checkerframework.checker.i18n.qualCheckerjavadoc
LocalVariableNodeA node for a local variable or a parameter: We allow local variable uses introduced by the CFGBuilder withoutClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
LocationsAn annotation processor for listing the potential locations of annotations.Classorg.checkerframework.common.util.countCheckerjavadoc
LockAnalysisThe analysis class for the lock type system (serves as factory for the transfer function, stores and abstract values.Classorg.checkerframework.checker.lockCheckerjavadoc
LockAnnotatedTypeFactoryLockAnnotatedTypeFactory builds types with LockHeld and LockPossiblyHeld annotations.Classorg.checkerframework.checker.lockCheckerjavadoc
LockCheckerClassorg.checkerframework.checker.lockCheckerjavadoc
LockHeldClassorg.checkerframework.checker.lock.qualCheckerjavadoc
LockingFreeClassorg.checkerframework.dataflow.qualCheckerjavadoc
LockPossiblyHeldClassorg.checkerframework.checker.lock.qualCheckerjavadoc
LockStoreClassorg.checkerframework.checker.lockCheckerjavadoc
LockTransferClassorg.checkerframework.checker.lockCheckerjavadoc
LockVisitorThe LockVisitor enforces the subtyping rules of LockHeld and LockPossiblyHeld (via BaseTypeVisitor).Classorg.checkerframework.checker.lockCheckerjavadoc
LongLiteralExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
LongLiteralMinValueExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
LongLiteralNodeA node for a long literal.Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
LongMathClassorg.checkerframework.common.value.utilCheckerjavadoc
LubTypeVariableAnnotatorAt the moment, this class is just a collection of special cases that fix the behavior of AnnotateAsLub Annotate as lub always uses a type variable's upper bound to annotate (when in fact the type variable unchangedClassorg.checkerframework.framework.flow.utilCheckerjavadoc
LuminanceClassorg.checkerframework.checker.units.qualCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

mClassorg.checkerframework.checker.units.qualCheckerjavadoc
m2See the Checker Framework Manual:Units CheckerOptional Element SummaryClassorg.checkerframework.checker.units.qualCheckerjavadoc
ManualTagletA taglet for processing the @checker_framework.Classorg.checkerframework.javacutil.distCheckerjavadoc
MarkerAnnotationExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
MarkerNodeMarkerNodes are no-op Nodes used for debugging information.Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
MassClassorg.checkerframework.checker.units.qualCheckerjavadoc
MaybeAliasedClassorg.checkerframework.common.aliasing.qualCheckerjavadoc
MaybeLeakedTemporary type qualifier: This is the default type qualifier for the Leaked hierarchy.Classorg.checkerframework.common.aliasing.qualCheckerjavadoc
MemberValuePairClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
MethodAccessNodeA node for a method access, including a method accesses: expression .Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
MethodApplierAdds annotations from element to the return type, formal parameter types, type parameters, and throws clauses of the AnnotatedExecutableType type.Classorg.checkerframework.framework.util.elementCheckerjavadoc
MethodCallExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
MethodDeclarationClassorg.checkerframework.stubparser.ast.bodyCheckerjavadoc
MethodDescriptorRepresents a method descriptor (JVM representation of method signature) as defined in the Java Virtual Machine Specification, section 4.Classorg.checkerframework.checker.signature.qualCheckerjavadoc
MethodInvocationNodeA node for method invocation target(arg1, arg2, .Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
MethodRegexParamMethodRegexParam declares a qualifier parameter on a method.Classorg.checkerframework.checker.regex.qualCheckerjavadoc
MethodTaintingParamMethodTaintingParam declares a qualifier parameter on a method.Classorg.checkerframework.checker.tainting.qualCheckerjavadoc
MethodTypeParamApplierApplies the annotations present for a method type parameter onto an AnnotatedTypeVariable.Classorg.checkerframework.framework.util.elementCheckerjavadoc
MethodValThis represents a set of Method or Constructor values.Classorg.checkerframework.common.reflection.qualCheckerjavadoc
MethodValAnnotatedTypeFactoryClassorg.checkerframework.common.reflectionCheckerjavadoc
MethodValBottomClassorg.checkerframework.common.reflection.qualCheckerjavadoc
MethodValCheckerThe MethodVal Checker provides a sound estimate of the signature of MethodSee the Checker Framework Manual:MethodVal CheckerClassorg.checkerframework.common.reflectionCheckerjavadoc
MethodValVisitorClassorg.checkerframework.common.reflectionCheckerjavadoc
minClassorg.checkerframework.checker.units.qualCheckerjavadoc
MixedUnitsClassorg.checkerframework.checker.units.qualCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

mmClassorg.checkerframework.checker.units.qualCheckerjavadoc
mm2Classorg.checkerframework.checker.units.qualCheckerjavadoc
ModifierClassorg.checkerframework.checker.oigj.qualCheckerjavadoc
ModifierSetClass to hold modifiers.Classorg.checkerframework.stubparser.ast.bodyCheckerjavadoc
ModifierVisitorAdapterThis visitor adapter can be used to save time when some specific nodes needs to be changed.Classorg.checkerframework.stubparser.ast.visitorCheckerjavadoc
molMole (unit of Substance).Classorg.checkerframework.checker.units.qualCheckerjavadoc
MonotonicNonNullIndicates that a field (or variable) is lazily initialized to a non-null value.Classorg.checkerframework.checker.nullness.qualCheckerjavadoc
MonotonicNonNullDeclClassorg.checkerframework.checker.nullness.compatqualCheckerjavadoc
MonotonicNonNullTypeClassorg.checkerframework.checker.nullness.compatqualCheckerjavadoc
MonotonicQualifierA meta-annotation that indicates that a qualifier indicates that an expression goes monotonically from a type qualifier T to anotherClassorg.checkerframework.framework.qualCheckerjavadoc
MostlySingletonA set that is more efficient than HashSet for 0 and 1 elements.Classorg.checkerframework.dataflow.utilCheckerjavadoc
mPERsSee the Checker Framework Manual:Units CheckerOptional Element SummaryClassorg.checkerframework.checker.units.qualCheckerjavadoc
mPERs2Meter per second squared.Classorg.checkerframework.checker.units.qualCheckerjavadoc
MultiClassRegexParamClassorg.checkerframework.checker.regex.qualCheckerjavadoc
MultiClassTaintingParamClassorg.checkerframework.checker.tainting.qualCheckerjavadoc
MultiGraphQualifierHierarchyRepresents the type qualifier hierarchy of a type system.Classorg.checkerframework.framework.utilCheckerjavadoc
MultiMethodRegexParamClassorg.checkerframework.checker.regex.qualCheckerjavadoc
MultiMethodTaintingParamClassorg.checkerframework.checker.tainting.qualCheckerjavadoc
MultiPolyRegexClassorg.checkerframework.checker.regex.qualCheckerjavadoc
MultiPolyTaintedClassorg.checkerframework.checker.tainting.qualCheckerjavadoc
MultiRegexClassorg.checkerframework.checker.regex.qualCheckerjavadoc
MultiTaintedClassorg.checkerframework.checker.tainting.qualCheckerjavadoc
MultiUntaintedClassorg.checkerframework.checker.tainting.qualCheckerjavadoc
MultiVarClassorg.checkerframework.checker.regex.qualCheckerjavadoc
MultiVarClassorg.checkerframework.checker.tainting.qualCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

MultiWildClassorg.checkerframework.checker.regex.qualCheckerjavadoc
MultiWildClassorg.checkerframework.checker.tainting.qualCheckerjavadoc
MutableClassorg.checkerframework.checker.igj.qualCheckerjavadoc
MutableIndicates that, for the variable on which this annotation appears, the object to which this variable refers can be modified via thisClassorg.checkerframework.checker.javari.qualCheckerjavadoc
MutableClassorg.checkerframework.checker.oigj.qualCheckerjavadoc
NameExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
NarrowingConversionNodeA node for the narrowing primitive conversion operation.Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
NewInstanceClassorg.checkerframework.common.reflection.qualCheckerjavadoc
NodeA node in the abstract representation used for Java code inside a basic The following invariants hold:Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
NodeAbstract class for all nodes of the AST.Classorg.checkerframework.stubparser.astCheckerjavadoc
NodeUtilsA utility class to operate on a given Node.Classorg.checkerframework.dataflow.utilCheckerjavadoc
NodeVisitorA visitor for a Node tree.Interfaceorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
NonLeakedThis annotation is used on a formal parameter to indicate that the parameter is not leaked (stored in a location that couldClassorg.checkerframework.common.aliasing.qualCheckerjavadoc
NonNullNonNull is a type annotation that indicates that an expression is For fields of a class, the NonNull annotation indicates that thisClassorg.checkerframework.checker.nullness.qualCheckerjavadoc
NonNullDeclClassorg.checkerframework.checker.nullness.compatqualCheckerjavadoc
NonNullTypeClassorg.checkerframework.checker.nullness.compatqualCheckerjavadoc
NonRawThis type qualifier belongs to the rawness initialization tracking type-system.Classorg.checkerframework.checker.nullness.qualCheckerjavadoc
NormalClassorg.checkerframework.checker.linear.qualCheckerjavadoc
NormalAnnotationExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
NotEqualNodeA node for the not equal comparison: expression != expressionClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
NotOnlyInitializedA declaration annotation for fields that indicates that a client might observe the field storing values that are Initialized,Classorg.checkerframework.checker.initialization.qualCheckerjavadoc
NullableNullable is a type annotation that indicates that the value is not known to be non-null (see NonNull).Classorg.checkerframework.checker.nullness.qualCheckerjavadoc
NullableDeclClassorg.checkerframework.checker.nullness.compatqualCheckerjavadoc
NullableTypeClassorg.checkerframework.checker.nullness.compatqualCheckerjavadoc
NullChkNodeA node for the unary 'nullchk' operation (generated by the Java compiler): <*nullchk*>expressionClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

NullLiteralExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
NullLiteralNodeA node for the null literal.Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
NullnessAnalysisThe analysis class for the non-null type system (serves as factory for the transfer function, stores and abstract values.Classorg.checkerframework.checker.nullnessCheckerjavadoc
NullnessAnnotatedTypeFactoryThe annotated type factory for the nullness type-system.Classorg.checkerframework.checker.nullnessCheckerjavadoc
NullnessAnnotatedTypeFormatterA DefaultAnnotatedTypeFormatter that prints null literals without their annotations.Classorg.checkerframework.checker.nullnessCheckerjavadoc
NullnessCheckerA concrete instantiation of AbstractNullnessChecker using freedom-before-commitment.Classorg.checkerframework.checker.nullnessCheckerjavadoc
NullnessRawnessCheckerA concrete instantiation of AbstractNullnessChecker using rawness.Classorg.checkerframework.checker.nullnessCheckerjavadoc
NullnessStoreBehaves like InitializationStore, but additionally tracks whether PolyNull is known to be Nullable.Classorg.checkerframework.checker.nullnessCheckerjavadoc
NullnessTransferTransfer function for the non-null type system.Classorg.checkerframework.checker.nullnessCheckerjavadoc
NullnessUtilsUtilities class for the Nullness Checker.Classorg.checkerframework.checker.nullnessCheckerjavadoc
NullnessValueBehaves just like CFValue, but additionally tracks whether at this point PolyNull is known to be Nullable.Classorg.checkerframework.checker.nullnessCheckerjavadoc
NullnessVisitorThe visitor for the nullness type-system.Classorg.checkerframework.checker.nullnessCheckerjavadoc
NumberMathClassorg.checkerframework.common.value.utilCheckerjavadoc
NumberUtilsClassorg.checkerframework.common.value.utilCheckerjavadoc
NumericalAdditionNodeA node for the numerical addition: expression + expressionClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
NumericalMinusNodeA node for the unary minus operation:Author:Stefan Heule, Charlie GarrettClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
NumericalMultiplicationNodeA node for the numerical multiplication: expression * expressionClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
NumericalPlusNodeA node for the unary plus operation:Author:Stefan Heule, Charlie GarrettClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
NumericalSubtractionNodeA node for the numerical subtraction: expression - expressionClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
OClassorg.checkerframework.checker.oigj.qualCheckerjavadoc
ObjectCreationExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
ObjectCreationNodeA node for new object creation new constructor(arg1, arg2, .Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
OIGJCheckerA type-checker plug-in for the OIGJ immutability type system that finds (and verifies the absence of) undesired side-effect errors.Classorg.checkerframework.checker.oigjCheckerjavadoc
OIGJMutabilityBottomClassorg.checkerframework.checker.oigj.qualCheckerjavadoc
OperatorsThis file contains methods that simulate the functions of the Binary and Unary operators in java (e.Classorg.checkerframework.common.valueCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

OptionConfigurationProvides methods for querying the Checker's options.Interfaceorg.checkerframework.framework.utilCheckerjavadoc
OwnershipAnnotatedTypeFactoryClassorg.checkerframework.checker.oigjCheckerjavadoc
OwnershipSubcheckerClassorg.checkerframework.checker.oigjCheckerjavadoc
OwnershipVisitorClassorg.checkerframework.checker.oigjCheckerjavadoc
PackageDeclaration This class represents the package declaration.Classorg.checkerframework.stubparser.astCheckerjavadoc
PackageNameNodeA node representing a package name used in an expression such as a constructor invocationClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
PairSimple pair class for multiple returns.Classorg.checkerframework.javacutilCheckerjavadoc
ParamApplierAdds annotations to one formal parameter of a method or lambda within a method.Classorg.checkerframework.framework.util.elementCheckerjavadoc
ParameterClassorg.checkerframework.stubparser.ast.bodyCheckerjavadoc
ParameterizedTypeNodeA node for a parameterized type occurring in an expression: Parameterized types don't represent any computation to be doneClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
ParseExceptionThis exception is thrown when parse errors are encountered.Classorg.checkerframework.stubparserCheckerjavadoc
PartialRegexIndicates a String that is not a syntactically valid regular expression.Classorg.checkerframework.checker.regex.classic.qualCheckerjavadoc
PluginUtilThis file contains basic utility functions that should be reused to create a command line call to CheckerMain.Classorg.checkerframework.framework.utilCheckerjavadoc
PolyAllA polymorphic type qualifier that varies over all type hierarchies.Classorg.checkerframework.framework.qualCheckerjavadoc
PolyInternedA polymorphic qualifier for the Interning type system.Classorg.checkerframework.checker.interning.qualCheckerjavadoc
PolyKeyForA polymorphic qualifier for the Map Key (@KeyFor) type system.Classorg.checkerframework.checker.nullness.qualCheckerjavadoc
PolymorphicQualifierA meta-annotation that indicates that an annotation is a polymorphic type Any method written using a polymorphic type qualifier conceptually hasClassorg.checkerframework.framework.qualCheckerjavadoc
PolyNullA polymorphic qualifier for the non-null type system.Classorg.checkerframework.checker.nullness.qualCheckerjavadoc
PolyNullDeclClassorg.checkerframework.checker.nullness.compatqualCheckerjavadoc
PolyNullTypeClassorg.checkerframework.checker.nullness.compatqualCheckerjavadoc
PolyQualA qualifier in the qualifier polymorphism system, with ground qualifier representation Q.Classorg.checkerframework.qualframework.polyCheckerjavadoc
PolyQualHierarchyA qualifier hierarchy for PolyQual instances.Classorg.checkerframework.qualframework.polyCheckerjavadoc
PolyRawA polymorphic qualifier for the Rawness type system.Classorg.checkerframework.checker.nullness.qualCheckerjavadoc
PolyReadSpecifies the allowed mutabilities of a method's return value or the arguments, based on the mutability type of the arguments and the receiver at a methodClassorg.checkerframework.checker.javari.qualCheckerjavadoc
PolyRegexA polymorphic qualifier for the Regex type system.Classorg.checkerframework.checker.regex.classic.qualCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

PolyRegexClassorg.checkerframework.checker.regex.qualCheckerjavadoc
PolySignatureA polymorphic qualifier for the Signature type system.Classorg.checkerframework.checker.signature.qualCheckerjavadoc
PolyTaintedClassorg.checkerframework.checker.experimental.tainting_qual.qualCheckerjavadoc
PolyTaintedClassorg.checkerframework.checker.tainting.classic.qualCheckerjavadoc
PolyTaintedClassorg.checkerframework.checker.tainting.qualCheckerjavadoc
PolyUIClassorg.checkerframework.checker.guieffect.qualCheckerjavadoc
PolyUIEffectClassorg.checkerframework.checker.guieffect.qualCheckerjavadoc
PolyUITypeClassorg.checkerframework.checker.guieffect.qualCheckerjavadoc
PolyUnitA polymorphic qualifier for the units-of-measure type system implemented by the Units Checker.Classorg.checkerframework.checker.units.qualCheckerjavadoc
PostconditionAnnotationA meta-annotation that indicates that an annotation is a postcondition annotation, i.Classorg.checkerframework.framework.qualCheckerjavadoc
PreconditionAnnotationA meta-annotation that indicates that an annotation is a precondition annotation, i.Classorg.checkerframework.framework.qualCheckerjavadoc
PrefixClassorg.checkerframework.checker.units.qualCheckerjavadoc
PrettyQualifiedTypeFormatterPrettyQualifiedTypeFormatter formats QualifiedTypeMirrors with QualParams qualifiers PrettyQualifiedTypeFormatter prints the primary qualifier of a QualParams before aClassorg.checkerframework.qualframework.poly.formatCheckerjavadoc
PrettyQualParamsFormatterClassorg.checkerframework.qualframework.poly.formatCheckerjavadoc
PrimitiveTypeClassorg.checkerframework.stubparser.ast.typeCheckerjavadoc
PrimitiveTypeNodeA node representing a primitive type used in an expression such as a field accessClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
PropagationTreeAnnotatorPropagationTreeAnnotator adds qualifiers to types where the resulting type is a function of an input type, e.Classorg.checkerframework.framework.type.treeannotatorCheckerjavadoc
PropagationTypeAnnotatorPropagationTypeAnnotator adds qualifiers to types where the qualifier to add should be transferred from one or more other types.Classorg.checkerframework.framework.type.typeannotatorCheckerjavadoc
PropertyKeyClassorg.checkerframework.checker.propkey.qualCheckerjavadoc
PropertyKeyAnnotatedTypeFactoryThis AnnotatedTypeFactory adds PropertyKey annotations to String literals that contain values from lookupKeys.Classorg.checkerframework.checker.propkeyCheckerjavadoc
PropertyKeyBottomClassorg.checkerframework.checker.propkey.qualCheckerjavadoc
PropertyKeyCheckerA type-checker that checks that only valid keys are used to access property files and resource bundles.Classorg.checkerframework.checker.propkeyCheckerjavadoc
PureClassorg.checkerframework.dataflow.qualCheckerjavadoc
PurityAnnotatedTypeFactoryClassorg.checkerframework.framework.utilCheckerjavadoc
PurityCheckerA visitor that determines the purity (as defined by SideEffectFree, Deterministic, and Pure) of a statement or expression.Classorg.checkerframework.dataflow.utilCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

PurityCheckerPerform purity checking only.Classorg.checkerframework.framework.utilCheckerjavadoc
PurityUnqualifiedClassorg.checkerframework.framework.utilCheckerjavadoc
PurityUtilsAn utility class for working with the SideEffectFree, Deterministic, and Pure annotations.Classorg.checkerframework.dataflow.utilCheckerjavadoc
QReadOnlyIndicates that the annotated type behaves as the most restrictive of ReadOnly and Mutable: only Mutable can be assignedClassorg.checkerframework.checker.javari.qualCheckerjavadoc
QualAnalysisCheckers should extend a QualAnalysis to customize the TransferFunction for their checker.Classorg.checkerframework.qualframework.base.dataflowCheckerjavadoc
QualFormatterQual to String formatter.Interfaceorg.checkerframework.qualframework.base.formatCheckerjavadoc
QualifiedNameExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
QualifiedParameterTypeVariableSubstitutorTypeVariableSubstitutor that handles the qualifier parameter specific logic or combining TypeVariable uses with substituted types.Classorg.checkerframework.qualframework.polyCheckerjavadoc
QualifiedTypeFactoryUsed to compute the qualified type of a Tree or Element.Interfaceorg.checkerframework.qualframework.baseCheckerjavadoc
QualifiedTypeFormatterInterface to format a QualifiedTypeMirrors or an individual qualifier.Interfaceorg.checkerframework.qualframework.base.formatCheckerjavadoc
QualifiedTypeMirrorA ExtendedTypeMirror with a qualifier for the top level and for each component of the type.Classorg.checkerframework.qualframework.baseCheckerjavadoc
QualifiedTypeParameterBoundsA pair of the qualified upper and lower bound types for a type parameter.Classorg.checkerframework.qualframework.baseCheckerjavadoc
QualifiedTypesHelper functions for various manipulations of QualifiedTypeMirrors.Interfaceorg.checkerframework.qualframework.baseCheckerjavadoc
QualifiedTypeVisitorA visitor for QualifiedTypeMirrors, patterned after TypeVisitor.Interfaceorg.checkerframework.qualframework.baseCheckerjavadoc
QualifierContextInterfaceorg.checkerframework.qualframework.utilCheckerjavadoc
QualifierDefaultsDetermines the default qualifiers on a type.Classorg.checkerframework.framework.util.defaultsCheckerjavadoc
QualifierHierarchyRepresents a type qualifier hierarchy.Classorg.checkerframework.framework.typeCheckerjavadoc
QualifierHierarchyDefaultQualifiedTypeFactory component for performing subtyping checks between qualifiers.Interfaceorg.checkerframework.qualframework.baseCheckerjavadoc
QualifierMapVisitorVisitor that maps a function over every qualifier in a QualifiedTypeMirror.Classorg.checkerframework.qualframework.baseCheckerjavadoc
QualifierParameterAnnotationConverterAn AnnotationConverter that can also find the names of all declared parameters on a class or method.Interfaceorg.checkerframework.qualframework.polyCheckerjavadoc
QualifierParameterCheckerQualifierParameterChecker extends Checker to configure QualifiedTypeFormatters specific to QualParams qualifiers.Classorg.checkerframework.qualframework.polyCheckerjavadoc
QualifierParameterHierarchyThis class provides a QualifierHierarchy implementation for sets of qualifier parameters.Classorg.checkerframework.qualframework.polyCheckerjavadoc
QualifierParameterTreeAnnotatorTreeAnnotator instance for qualifier parameter checkers.Classorg.checkerframework.qualframework.polyCheckerjavadoc
QualifierParameterTypeAnnotatorTypeAnnotator implementation for qualifier parameter checkers.Classorg.checkerframework.qualframework.polyCheckerjavadoc
QualifierParameterTypeFactoryType factory with qualifier polymorphism support.Classorg.checkerframework.qualframework.polyCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

QualifierPolymorphism wish to use it should add calls to annotate(MethodInvocationTree, AnnotatedTypeMirror.Classorg.checkerframework.framework.utilCheckerjavadoc
QualParamsA map of qualifier parameters.Classorg.checkerframework.qualframework.polyCheckerjavadoc
QualParamsFormatterA QualFormatter with extra methods to format QualParams.Interfaceorg.checkerframework.qualframework.poly.formatCheckerjavadoc
QualStoreQualStore is a Store for quals.Classorg.checkerframework.qualframework.base.dataflowCheckerjavadoc
QualTransferA TransferFunction for the Qual Framework.Classorg.checkerframework.qualframework.base.dataflowCheckerjavadoc
QualTransferAdapterQualTransferAdapter adapts the CFTransfer to a QualTransfer.Classorg.checkerframework.qualframework.base.dataflowCheckerjavadoc
QualValueQualValue is an AbstractValue for quals.Classorg.checkerframework.qualframework.base.dataflowCheckerjavadoc
radiansSee the Checker Framework Manual:Units CheckerOptional Element SummaryClassorg.checkerframework.checker.units.qualCheckerjavadoc
RawThis type qualifier belongs to the rawness type-system for tracking initialization.Classorg.checkerframework.checker.nullness.qualCheckerjavadoc
ReadOnlyIndicates that the annotated reference is a ReadOnly reference.Classorg.checkerframework.checker.igj.qualCheckerjavadoc
ReadOnlyIndicates that, for the variable on which this annotation appears, the object to which this variable refers will not be modified viaClassorg.checkerframework.checker.javari.qualCheckerjavadoc
ReadOnlyIndicates that the annotated reference is a ReadOnly reference.Classorg.checkerframework.checker.oigj.qualCheckerjavadoc
ReferenceTypeClassorg.checkerframework.stubparser.ast.typeCheckerjavadoc
ReflectionResolverInterface for reflection resolvers that handle reflective method calls such as Method.Interfaceorg.checkerframework.common.reflectionCheckerjavadoc
ReflectiveEvalutatorClassorg.checkerframework.common.valueCheckerjavadoc
RegexQualifier for the Regex-Qual type system.Classorg.checkerframework.checker.experimental.regex_qualCheckerjavadoc
RegexIf a type is annotated as @Regex(n), then the run-time value is a regular expression with n capturing groups.Classorg.checkerframework.checker.regex.qualCheckerjavadoc
RegexAnalysisClassorg.checkerframework.checker.regex.classicCheckerjavadoc
RegexAnnotationConverter annotations into a Regex qualifier.Classorg.checkerframework.checker.experimental.regex_qualCheckerjavadoc
RegexAnnotationConverter annotations into a Regex qualifier with support for PolyRegex, Var, Wild annotations.Classorg.checkerframework.checker.regexCheckerjavadoc
RegexBottomClassorg.checkerframework.checker.regex.classic.qualCheckerjavadoc
RegexCheckerCheckerAdapter for the Regex-Qual-Param type system.Classorg.checkerframework.checker.regexCheckerjavadoc
RegexCheckerAdapterCheckerAdapter for the Regex-Qual type system.Classorg.checkerframework.checker.experimental.regex_qualCheckerjavadoc
RegexClassicAnnotatedTypeFactoryAdds Regex to the type of tree, in the following cases: a String or char literal that is a validClassorg.checkerframework.checker.regex.classicCheckerjavadoc
RegexClassicCheckerA type-checker plug-in for the Regex qualifier that finds syntactically invalid regular expressions.Classorg.checkerframework.checker.regex.classicCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

RegexClassicVisitorA type-checking visitor for the Regex type system.Classorg.checkerframework.checker.regex.classicCheckerjavadoc
RegexQualCheckerChecker for the Regex-Qual type system.Classorg.checkerframework.checker.experimental.regex_qualCheckerjavadoc
RegexQualifiedTransferA reimplementation of RegexTransfer using QualifiedTypeMirrors instead of AnnotatedTypeMirrors.Classorg.checkerframework.checker.experimental.regex_qualCheckerjavadoc
RegexQualifiedTransferA reimplementation of RegexTransfer using QualifiedTypeMirrors instead of AnnotatedTypeMirrors.Classorg.checkerframework.checker.regexCheckerjavadoc
RegexQualifiedTypeFactoryThe QualifiedTypeFactory for the Regex-Qual type system.Classorg.checkerframework.checker.experimental.regex_qualCheckerjavadoc
RegexQualifiedTypeFactoryThe QualifiedTypeFactory for the Regex-Qual-Param type system.Classorg.checkerframework.checker.regexCheckerjavadoc
RegexQualifierHierarchyQualifierHierarchy for the Regex-Qual type system.Classorg.checkerframework.checker.experimental.regex_qualCheckerjavadoc
RegexQualPolyCheckerChecker for the Regex-Qual-Param type system.Classorg.checkerframework.checker.regexCheckerjavadoc
RegexTransferClassorg.checkerframework.checker.regex.classicCheckerjavadoc
RegexTypecheckVisitorThe BaseTypeVisitor for the Regex-Qual type system.Classorg.checkerframework.checker.experimental.regex_qualCheckerjavadoc
RegexTypecheckVisitorThe BaseTypeVisitor for the Regex-Qual-Param type system.Classorg.checkerframework.checker.regexCheckerjavadoc
RegexUtilUtility methods for regular expressions, most notably for testing whether a string is a regular expression.Classorg.checkerframework.checker.regexCheckerjavadoc
RegularBlockA regular basic block that contains a sequence of Nodes.Interfaceorg.checkerframework.dataflow.cfg.blockCheckerjavadoc
RegularBlockImplClassorg.checkerframework.dataflow.cfg.blockCheckerjavadoc
RegularTransferResult store.Classorg.checkerframework.dataflow.analysisCheckerjavadoc
ReportCallReport all calls of a method that has this annotation, including calls of methods that override this method.Classorg.checkerframework.common.util.report.qualCheckerjavadoc
ReportCheckerThe Report Checker for semantic searches.Classorg.checkerframework.common.util.reportCheckerjavadoc
ReportCreationClassorg.checkerframework.common.util.report.qualCheckerjavadoc
ReportInheritClassorg.checkerframework.common.util.report.qualCheckerjavadoc
ReportOverrideClassorg.checkerframework.common.util.report.qualCheckerjavadoc
ReportReadWriteClassorg.checkerframework.common.util.report.qualCheckerjavadoc
ReportUnqualifiedClassorg.checkerframework.common.util.report.qualCheckerjavadoc
ReportUseClassorg.checkerframework.common.util.report.qualCheckerjavadoc
ReportVisitorClassorg.checkerframework.common.util.reportCheckerjavadoc
ReportWriteClassorg.checkerframework.common.util.report.qualCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

RequiresNonNullIndicates a method precondition: the method expects the specified expressions to be non-null when the annotated method is invoked.Classorg.checkerframework.checker.nullness.qualCheckerjavadoc
RequiresQualifierA precondition annotation to indicate that a method requires certain expressions to have a certain qualifier at the time of the call to theClassorg.checkerframework.framework.qualCheckerjavadoc
RequiresQualifiersA meta-annotation to allow multiple precondition annotations.Classorg.checkerframework.framework.qualCheckerjavadoc
ResolverA Utility class to find symbols corresponding to string references.Classorg.checkerframework.javacutilCheckerjavadoc
Resolver2A Utility class to find symbols corresponding to string references TODO: This class is only supposed to be used temporarily until a good solution for the MapGetHeuristic is found.Classorg.checkerframework.framework.utilCheckerjavadoc
ResultRepresents the outcome of a type-checking operation (success, warning, or failure, plus a list of explanatory messages).Classorg.checkerframework.framework.sourceCheckerjavadoc
ReturnNodeA node for a return statement: return expressionClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
ReturnsFormatAttach this annotation to a method with the following properties: The first parameter is a format string.Classorg.checkerframework.checker.formatter.qualCheckerjavadoc
ReturnStmtClassorg.checkerframework.stubparser.ast.stmtCheckerjavadoc
SafeEffectClassorg.checkerframework.checker.guieffect.qualCheckerjavadoc
SafeTypeClassorg.checkerframework.checker.guieffect.qualCheckerjavadoc
SetQualifierVisitorVisitor that replaces the qualifier of a QualifiedTypeMirror.Classorg.checkerframework.qualframework.baseCheckerjavadoc
ShortLiteralNodeA node for a short literal.Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
ShortMathClassorg.checkerframework.common.value.utilCheckerjavadoc
SideEffectFreeA method is called side-effect-free if it has no visible side-effects, such as setting a field of an object that existed beforeClassorg.checkerframework.dataflow.qualCheckerjavadoc
SignatureAnnotatedTypeFactoryThis class is currently not needed.Classorg.checkerframework.checker.signatureCheckerjavadoc
SignatureBottomClassorg.checkerframework.checker.signature.qualCheckerjavadoc
SignatureCheckerClassorg.checkerframework.checker.signatureCheckerjavadoc
SignaturePrinterOutputs the method signatures of a class with fully annotated types.Classorg.checkerframework.common.util.debugCheckerjavadoc
SignedRightShiftNodeA node for bitwise right shift operations with sign extension: expression >> expressionClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
SimpleAnnotatedTypeScannerClassorg.checkerframework.framework.type.visitorCheckerjavadoc
SimpleAnnotatedTypeVisitorA simple visitor for AnnotatedTypeMirrors.Classorg.checkerframework.framework.type.visitorCheckerjavadoc
SimpleOptionMapSimpleOptionMap is a very basic Option container.Classorg.checkerframework.framework.testCheckerjavadoc
SimpleQualifiedTypeVisitorA simple implementation of QualifiedTypeVisitor, patterned after SimpleTypeVisitor8.Classorg.checkerframework.qualframework.baseCheckerjavadoc
SimpleQualifierParameterAnnotationConverterSimpleQualifierParameterAnnotationConverter abstracts the logic to convert annotations to qualifiers for typical qual-poly types systems that that support @Wild, @Var, and qualifier parameters.Classorg.checkerframework.qualframework.polyCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

SimpleVoidVisitorClassorg.checkerframework.stubparser.ast.visitorCheckerjavadoc
SingleMemberAnnotationExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
SingleSuccessorBlockA basic block that has at exactly one non-exceptional successor.Interfaceorg.checkerframework.dataflow.cfg.blockCheckerjavadoc
SingleSuccessorBlockImplClassorg.checkerframework.dataflow.cfg.blockCheckerjavadoc
SourceCheckerAn abstract annotation processor designed for implementing a source-file checker for a JSR-308 conforming compiler plug-in.Classorg.checkerframework.framework.sourceCheckerjavadoc
SourceNameForNonArrayNonInnerA source name is a string that is a valid fully qualified name and a valid binary name.Classorg.checkerframework.checker.signature.qualCheckerjavadoc
SourceNameForNonInnerClassorg.checkerframework.checker.signature.qualCheckerjavadoc
SourceVisitorAn AST visitor that provides a variety of compiler utilities and interfaces to facilitate type-checking.Classorg.checkerframework.framework.sourceCheckerjavadoc
SpecialBlockRepresents a special basic block; i.Interfaceorg.checkerframework.dataflow.cfg.blockCheckerjavadoc
SpecialBlockImplClassorg.checkerframework.dataflow.cfg.blockCheckerjavadoc
SpeedClassorg.checkerframework.checker.units.qualCheckerjavadoc
StatementClassorg.checkerframework.stubparser.ast.stmtCheckerjavadoc
StaticallyExecutableStaticallyExecutable is a method annotation that indicates that the compiler is allowed to run the method at compile time, if all ofClassorg.checkerframework.common.value.qualCheckerjavadoc
StoreA store is used to keep track of the information that the org.Interfaceorg.checkerframework.dataflow.analysisCheckerjavadoc
StringConcatenateAssignmentNodeA node for the string concatenation compound assignment: variable += expressionClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
StringConcatenateNodeA node for string concatenation: expression + expressionClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
StringConversionNodeA node for the string conversion operation.Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
StringLiteralExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
StringLiteralNodeA node for an string literal.Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
StringValAn annotation indicating the possible values for a String type.Classorg.checkerframework.common.value.qualCheckerjavadoc
StructuralEqualityComparerA visitor used to compare two type mirrors for "structural" equality.Classorg.checkerframework.framework.typeCheckerjavadoc
StubFilesAn annotation on a SourceChecker subclass to provide additional stub files that should be used in addition to jdk.Classorg.checkerframework.framework.qualCheckerjavadoc
SubstanceClassorg.checkerframework.checker.units.qualCheckerjavadoc
SubtypeOfA meta-annotation to specify all the qualifiers that the given qualifier is a subtype of.Classorg.checkerframework.framework.qualCheckerjavadoc
SubtypesSolverInfers type arguments by using the Greatest Lower Bound computation on the subtype relationships in a constraint map.Classorg.checkerframework.framework.util.typeinference.solverCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

SubtypingAnnotatedTypeFactoryClassorg.checkerframework.common.subtypingCheckerjavadoc
SubtypingCheckerA checker for type qualifier systems that only checks subtyping The annotation(s) are specified on the command line, using an annotationClassorg.checkerframework.common.subtypingCheckerjavadoc
SuperExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
SuperNodeA node for a reference to 'super'.Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
SuperTypeApplierWhen discovering supertypes of an AnnotatedTypeMirror we want to annotate each supertype with the annotations of the subtypes class declaration.Classorg.checkerframework.framework.util.elementCheckerjavadoc
SupertypesSolverInfers type arguments by using the Least Upper Bound computation on the supertype relationships in a constraint map.Classorg.checkerframework.framework.util.typeinference.solverCheckerjavadoc
SupportedLintOptionsAn annotation used to indicate what lint options a checker supports.Classorg.checkerframework.framework.sourceCheckerjavadoc
SupportedOptionsAn annotation used to indicate what Checker Framework options a checker supports.Classorg.checkerframework.framework.sourceCheckerjavadoc
SuppressWarningsKeysSpecifies the argument(s) that this checker recognizes for suppressing warnings via the SuppressWarnings annotation.Classorg.checkerframework.framework.sourceCheckerjavadoc
SurfaceSyntaxFormatterConfigurationSurfaceSyntaxFormatterConfiguration provides values and methods required by the SurfaceSyntaxQualParamsFormatter to format a QualParams into an annotation.Classorg.checkerframework.qualframework.poly.formatCheckerjavadoc
SurfaceSyntaxQualParamsFormatterSurfaceSyntaxQualParamsFormatter formats QualParams qualifiers into their annotation equivalent.Classorg.checkerframework.qualframework.poly.formatCheckerjavadoc
SwingBoxOrientationClassorg.checkerframework.checker.fenum.qualCheckerjavadoc
SwingCompassDirectionClassorg.checkerframework.checker.fenum.qualCheckerjavadoc
SwingElementOrientationClassorg.checkerframework.checker.fenum.qualCheckerjavadoc
SwingHorizontalOrientationClassorg.checkerframework.checker.fenum.qualCheckerjavadoc
SwingSplitPaneOrientationClassorg.checkerframework.checker.fenum.qualCheckerjavadoc
SwingTextOrientationClassorg.checkerframework.checker.fenum.qualCheckerjavadoc
SwingTitleJustificationClassorg.checkerframework.checker.fenum.qualCheckerjavadoc
SwingTitlePositionJustifications for the title text of aSee Also:TitledBorder.Classorg.checkerframework.checker.fenum.qualCheckerjavadoc
SwingVerticalOrientationClassorg.checkerframework.checker.fenum.qualCheckerjavadoc
SwitchEntryStmtClassorg.checkerframework.stubparser.ast.stmtCheckerjavadoc
SwitchStmtClassorg.checkerframework.stubparser.ast.stmtCheckerjavadoc
SynchronizedNodeClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
SynchronizedStmtClassorg.checkerframework.stubparser.ast.stmtCheckerjavadoc
SyntheticArraysSyntheticArrays exists solely to fix AnnotatedTypeMirrors that need to be adapted from Array type to a specific kind of array.Classorg.checkerframework.framework.typeCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

SystemGetPropertyHandlerUtility class for handling System.Classorg.checkerframework.checker.nullnessCheckerjavadoc
TaintedClassorg.checkerframework.checker.experimental.tainting_qual.qualCheckerjavadoc
TaintedClassorg.checkerframework.checker.tainting.classic.qualCheckerjavadoc
TaintedTainted is the annotation to specify the tainted qualifier.Classorg.checkerframework.checker.tainting.qualCheckerjavadoc
TaintingClassorg.checkerframework.checker.experimental.tainting_qualCheckerjavadoc
TaintingClassorg.checkerframework.checker.taintingCheckerjavadoc
TaintingAnnotationConverterClassorg.checkerframework.checker.experimental.tainting_qualCheckerjavadoc
TaintingAnnotationConverterClassorg.checkerframework.checker.taintingCheckerjavadoc
TaintingCheckerClassorg.checkerframework.checker.experimental.tainting_qualCheckerjavadoc
TaintingCheckerClassorg.checkerframework.checker.taintingCheckerjavadoc
TaintingCheckerAdapterClassorg.checkerframework.checker.experimental.tainting_qualCheckerjavadoc
TaintingClassicAnnotatedTypeFactoryClassorg.checkerframework.checker.tainting.classicCheckerjavadoc
TaintingClassicCheckerA type-checker plug-in for the Tainting type system qualifier that finds (and verifies the absence of) trust bugs.Classorg.checkerframework.checker.tainting.classicCheckerjavadoc
TaintingQualCheckerClassorg.checkerframework.checker.taintingCheckerjavadoc
TaintingQualifiedTypeFactoryClassorg.checkerframework.checker.experimental.tainting_qualCheckerjavadoc
TaintingQualifiedTypeFactoryClassorg.checkerframework.checker.taintingCheckerjavadoc
TaintingQualifierHierarchyClassorg.checkerframework.checker.experimental.tainting_qualCheckerjavadoc
TaintingQualifierHierarchyClassorg.checkerframework.checker.taintingCheckerjavadoc
TargetConstraintsTargetConstraints represents the set of all TUConstraints for which target was the type parameter, i.Classorg.checkerframework.framework.util.typeinference.solverCheckerjavadoc
TargetLocationsA meta-annotation that restricts the type-use locations where a type qualifier may be written.Classorg.checkerframework.framework.qualCheckerjavadoc
TemperatureClassorg.checkerframework.checker.units.qualCheckerjavadoc
TerminatesExecutionTerminatesExecution is a method annotation that indicates that a method terminates the execution of the program.Classorg.checkerframework.dataflow.qualCheckerjavadoc
TernaryExpressionNodeA node for a conditional expression: expression ? expression : expressionClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
TestConfigurationA configuration for running CheckerFrameworkTests or running the TypecheckExecutor.Interfaceorg.checkerframework.framework.testCheckerjavadoc
TestConfigurationBuilderUsed to create an instance of TestConfiguration, TestConfigurationBuilder follows the standard builder pattern.Classorg.checkerframework.framework.testCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

TestDiagnosticRepresents an expected error/warning message in a Java test file or an error/warning reported by the Javac compiler See JavaFileDiagnosticReader and TestDiagnosticLineClassorg.checkerframework.framework.test.diagnosticsCheckerjavadoc
TestDiagnosticLineClassorg.checkerframework.framework.test.diagnosticsCheckerjavadoc
TestDiagnosticUtilsClassorg.checkerframework.framework.test.diagnosticsCheckerjavadoc
TestSuiteTestSuite runs a test class once for each set of parameters returned by its method marked with @Parameters Annotated your test class with @RunWith(TestSuite.Classorg.checkerframework.framework.testCheckerjavadoc
TestUtilitiesClassorg.checkerframework.framework.testCheckerjavadoc
ThisExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
ThisLiteralNodeA node for a reference to 'this', either implicit or explicit.Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
ThisMutableAn annotation used to represent a place holder immutability type, that is equivalent to the ThisMutable type in the Javari typesystem.Classorg.checkerframework.checker.javari.qualCheckerjavadoc
ThrowNodeA node for exception throws:Author:Stefan Heule, Charlie GarrettClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
ThrowStmtClassorg.checkerframework.stubparser.ast.stmtCheckerjavadoc
TimeClassorg.checkerframework.checker.units.qualCheckerjavadoc
TIsUClassorg.checkerframework.framework.util.typeinference.constraintCheckerjavadoc
TokenDescribes the input token stream.Classorg.checkerframework.stubparserCheckerjavadoc
TokenMgrErrorToken Manager Error.Classorg.checkerframework.stubparserCheckerjavadoc
TransferFunctionInterface of a transfer function for the abstract interpretation used for the A transfer function consists of the following components:Interfaceorg.checkerframework.dataflow.analysisCheckerjavadoc
TransferInputTransferInput is used as the input type of the individual transfer functions of a TransferFunction.Classorg.checkerframework.dataflow.analysisCheckerjavadoc
TransferResultTransferResult is used as the result type of the individual transfer functions of a TransferFunction.Classorg.checkerframework.dataflow.analysisCheckerjavadoc
TreeAnnotatorTreeAnnotator is an abstract SimpleTreeVisitor to be used with ListTreeAnnotatorClassorg.checkerframework.framework.type.treeannotatorCheckerjavadoc
TreeAnnotatorClassorg.checkerframework.qualframework.baseCheckerjavadoc
TreeBuilderThe TreeBuilder permits the creation of new AST Trees using the non-public Java compiler API TreeMaker.Classorg.checkerframework.javacutil.treesCheckerjavadoc
TreeDebugA utility class for displaying the structure of the AST of a program.Classorg.checkerframework.common.util.debugCheckerjavadoc
TreeParserA Utility class for parsing Java expression snippets, and converting them to proper Javac AST nodes.Classorg.checkerframework.javacutil.treesCheckerjavadoc
TreePathCacherTreePathCacher is a TreeScanner that creates and caches a TreePath for a target This class replicates some logic from TreePath.Classorg.checkerframework.framework.utilCheckerjavadoc
TreePrinterA utility class for pretty-printing the AST of a program.Classorg.checkerframework.common.util.debugCheckerjavadoc
TreeUtilsA utility class made for helping to analyze a given Tree.Classorg.checkerframework.javacutilCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

TryStmtClassorg.checkerframework.stubparser.ast.stmtCheckerjavadoc
TSubUClassorg.checkerframework.framework.util.typeinference.constraintCheckerjavadoc
TSuperUClassorg.checkerframework.framework.util.typeinference.constraintCheckerjavadoc
TUConstraintSubclasses of TUConstraint represent constraints between type parameter whose type arguments are being inferred and the types used to do that inference.Classorg.checkerframework.framework.util.typeinference.constraintCheckerjavadoc
TypeClassorg.checkerframework.stubparser.ast.typeCheckerjavadoc
TypeAnnotationUtilsA collection of helper methods related to type annotation handling.Classorg.checkerframework.javacutilCheckerjavadoc
TypeAnnotatorTypeAnnotator is an abstract AnnotatedTypeScanner to be used with ListTypeAnnotatorClassorg.checkerframework.framework.type.typeannotatorCheckerjavadoc
TypeAnnotatorDefaultQualifiedTypeFactory component for annotating a ExtendedTypeMirror with qualifiers.Classorg.checkerframework.qualframework.baseCheckerjavadoc
TypeArgInferenceUtilMiscellaneous utilities to help in type argument inference.Classorg.checkerframework.framework.util.typeinferenceCheckerjavadoc
TypeArgumentInferenceInstances of TypeArgumentInference are used to infer the types of method type arguments when no explicit arguments are provided.Interfaceorg.checkerframework.framework.util.typeinferenceCheckerjavadoc
TypeArgumentMapperRecords any mapping between the type parameters of a subtype to the corresponding type parameters of a supertype.Classorg.checkerframework.framework.utilCheckerjavadoc
TypeCastNodeA node for the cast operator:Author:Stefan Heule, Charlie GarrettClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
TypecheckExecutorUsed by the Checker Framework test suite to run the framework and generate a test result.Classorg.checkerframework.framework.testCheckerjavadoc
TypecheckResultRepresents the test results from typechecking one or more java files using the given TestConfiguration.Classorg.checkerframework.framework.testCheckerjavadoc
TypecheckVisitorAdapterThis class is a shim to allow writing typecheck-visitors using QualifiedTypeMirrors instead of AnnotatedTypeMirrors.Classorg.checkerframework.qualframework.baseCheckerjavadoc
TypeDeclarationClassorg.checkerframework.stubparser.ast.bodyCheckerjavadoc
TypeDeclarationApplierApply annotations to a declared type based on its declaration.Classorg.checkerframework.framework.util.elementCheckerjavadoc
TypeDeclarationStmtClassorg.checkerframework.stubparser.ast.stmtCheckerjavadoc
TypeHierarchyCompares AnnotatedTypeMirrors for subtype relationships.Interfaceorg.checkerframework.framework.typeCheckerjavadoc
TypeHierarchyDefaultQualifiedTypeFactory component for performing subtyping checks between QualifiedTypeMirrors.Interfaceorg.checkerframework.qualframework.baseCheckerjavadoc
TypeMirrorConverterHelper class used by adapters to convert between QualifiedTypeMirror and AnnotatedTypeMirror.Classorg.checkerframework.qualframework.baseCheckerjavadoc
TypeOutputtingCheckerA testing class that can be used to test TypeElement.Classorg.checkerframework.common.util.debugCheckerjavadoc
TypeParameter This class represents the declaration of a genetics argument.Classorg.checkerframework.stubparser.astCheckerjavadoc
TypesIntoElementsA helper class that puts the annotations from an AnnotatedTypeMirrors back into the corresponding Elements, so that they get stored in the bytecode by the compiler.Classorg.checkerframework.framework.typeCheckerjavadoc
TypesUtilsA utility class that helps with TypeMirrors.Classorg.checkerframework.javacutilCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

TypeUseLocationenum TypeUseLocationSpecifies the locations to which a DefaultQualifier annotation applies.Classorg.checkerframework.framework.qualCheckerjavadoc
TypeValidatorTypeValidator 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.Interfaceorg.checkerframework.common.basetypeCheckerjavadoc
TypeVariableSubstitutorTypeVariableSusbtitutor replaces type variables from a declaration with arguments to its use.Classorg.checkerframework.framework.typeCheckerjavadoc
TypeVariableSubstitutorTypeVariableSubstitutor replaces type variables from a declaration with arguments to its use.Classorg.checkerframework.qualframework.baseCheckerjavadoc
TypeVariableSubstitutorAdapterClassorg.checkerframework.qualframework.baseCheckerjavadoc
TypeVarUseApplierClassorg.checkerframework.framework.util.elementCheckerjavadoc
TypeVisualizerTypeVisualizer prints AnnotatedTypeMirrors as a directed graph where each node is a type and an arrow is a reference.Classorg.checkerframework.common.utilCheckerjavadoc
UIClassorg.checkerframework.checker.guieffect.qualCheckerjavadoc
UIEffectClassorg.checkerframework.checker.guieffect.qualCheckerjavadoc
UIPackageClassorg.checkerframework.checker.guieffect.qualCheckerjavadoc
UITypeClassorg.checkerframework.checker.guieffect.qualCheckerjavadoc
UnannotatedStringClassorg.checkerframework.checker.signature.qualCheckerjavadoc
UnaryExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
UnderInitializationThis type qualifier belongs to the freedom-before-commitment type-system for tracking initialization.Classorg.checkerframework.checker.initialization.qualCheckerjavadoc
UnderlyingASTRepresents an abstract syntax tree of type Tree that underlies a given control flow graph.Classorg.checkerframework.dataflow.cfgCheckerjavadoc
UniqueAn expression with this type has no aliases.Classorg.checkerframework.common.aliasing.qualCheckerjavadoc
UnitsAnnotatedTypeFactoryAnnotated type factory for the Units Checker.Classorg.checkerframework.checker.unitsCheckerjavadoc
UnitsAnnotatedTypeFormatterClassorg.checkerframework.checker.unitsCheckerjavadoc
UnitsAnnotationClassLoaderClassorg.checkerframework.checker.unitsCheckerjavadoc
UnitsBottomClassorg.checkerframework.checker.units.qualCheckerjavadoc
UnitsCheckerUnits Checker main class.Classorg.checkerframework.checker.unitsCheckerjavadoc
UnitsMultipleDefine the relation between a base unit and the current unit.Classorg.checkerframework.checker.units.qualCheckerjavadoc
UnitsRelationsSpecify the class that knows how to handle the meta-annotated unit when put in relation (plus, multiply, .Classorg.checkerframework.checker.units.qualCheckerjavadoc
UnitsRelationsInterface that is used to specify the relation between units.Interfaceorg.checkerframework.checker.unitsCheckerjavadoc
UnitsRelationsDefaultDefault relations between SI units.Classorg.checkerframework.checker.unitsCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

UnitsRelationsToolsClassorg.checkerframework.checker.unitsCheckerjavadoc
UnitsToolsUtility methods to generate annotated types and to convert between them.Classorg.checkerframework.checker.unitsCheckerjavadoc
UnitsVisitor Ensure consistent use of compound assignments.Classorg.checkerframework.checker.unitsCheckerjavadoc
UnknownClassClassorg.checkerframework.common.reflection.qualCheckerjavadoc
UnknownFormatClassorg.checkerframework.checker.formatter.qualCheckerjavadoc
UnknownInitializationThis type qualifier belongs to the freedom-before-commitment type-system for tracking initialization.Classorg.checkerframework.checker.initialization.qualCheckerjavadoc
UnknownInternedClassorg.checkerframework.checker.interning.qualCheckerjavadoc
UnknownKeyForUsed internally by the type system; should never be written by a programmer.Classorg.checkerframework.checker.nullness.qualCheckerjavadoc
UnknownLocalizedClassorg.checkerframework.checker.i18n.qualCheckerjavadoc
UnknownMethodClassorg.checkerframework.common.reflection.qualCheckerjavadoc
UnknownPropertyKeyClassorg.checkerframework.checker.propkey.qualCheckerjavadoc
UnknownRegexClassorg.checkerframework.checker.regex.classic.qualCheckerjavadoc
UnknownUnitsClassorg.checkerframework.checker.units.qualCheckerjavadoc
UnknownValClassorg.checkerframework.common.value.qualCheckerjavadoc
UnqualifiedA special annotation intended solely for representing an unqualified type in the qualifier hierarchy, as an argument to SubtypeOf.Classorg.checkerframework.framework.qualCheckerjavadoc
UnsignedRightShiftNodeA node for bitwise right shift operations with zero extension: expression >>> expressionClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
UntaintedClassorg.checkerframework.checker.experimental.tainting_qual.qualCheckerjavadoc
UntaintedClassorg.checkerframework.checker.tainting.classic.qualCheckerjavadoc
UntaintedUntainted is the annotation to specify the untainted qualifier.Classorg.checkerframework.checker.tainting.qualCheckerjavadoc
UnusableClassorg.checkerframework.checker.linear.qualCheckerjavadoc
UnusedDeclares that the field may not be accessed if the receiver is of the specified qualifier type (or any supertype).Classorg.checkerframework.framework.qualCheckerjavadoc
UsesObjectEqualsClass declaration to indicate the class does not override equals(Object), and therefore a.Classorg.checkerframework.checker.interning.qualCheckerjavadoc
ValueAnnotatedTypeFactoryClassorg.checkerframework.common.valueCheckerjavadoc
ValueCheckerClassorg.checkerframework.common.valueCheckerjavadoc
ValueCheckerUtilsClassorg.checkerframework.common.valueCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner

ValueLiteralNodeA node for a literals that have some form of value: integer literallong literalchar literalstring literalfloat literaldouble literalboolean literalnull literalClassorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
ValueTransferClassorg.checkerframework.common.valueCheckerjavadoc
ValueVisitor Visitor for the Constant Value type-system.Classorg.checkerframework.common.valueCheckerjavadoc
VarVar is a qualifier parameter use.Classorg.checkerframework.checker.regex.qualCheckerjavadoc
VarVar is a qualifier parameter use.Classorg.checkerframework.checker.tainting.qualCheckerjavadoc
VariableApplierApplies annotations to variable declaration (providing they are not the use of a TYPE_PARAMETER).Classorg.checkerframework.framework.util.elementCheckerjavadoc
VariableDeclarationExprClassorg.checkerframework.stubparser.ast.exprCheckerjavadoc
VariableDeclarationNodeA node for a local variable declaration: modifier type identifier;Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
VariableDeclaratorClassorg.checkerframework.stubparser.ast.bodyCheckerjavadoc
VariableDeclaratorIdClassorg.checkerframework.stubparser.ast.bodyCheckerjavadoc
VisitHistoryIMPORTANT: DO NOT USE VisitHistory FOR VISITORS THAT UPDATE AN ANNOTATED TYPE MIRROR'S ANNOTATIONS OR YOU VIOLATE THE CONTRACT OF equals/Hashcode.Classorg.checkerframework.framework.type.visitorCheckerjavadoc
VisitorStateRepresents the state of a visitor.Classorg.checkerframework.framework.typeCheckerjavadoc
VoidTypeClassorg.checkerframework.stubparser.ast.typeCheckerjavadoc
VoidVisitorInterfaceorg.checkerframework.stubparser.ast.visitorCheckerjavadoc
VoidVisitorAdapterClassorg.checkerframework.stubparser.ast.visitorCheckerjavadoc
WhileStmtClassorg.checkerframework.stubparser.ast.stmtCheckerjavadoc
WideningConversionNodeA node for the widening primitive conversion operation.Classorg.checkerframework.dataflow.cfg.nodeCheckerjavadoc
WildWild is equivalent to the wildcard operator.Classorg.checkerframework.checker.regex.qualCheckerjavadoc
WildWild is equivalent to the wildcard operator.Classorg.checkerframework.checker.tainting.qualCheckerjavadoc
WildCardClassorg.checkerframework.checker.oigj.qualCheckerjavadoc
WildcardWhen using SimpleQualifierParameterAnnotationConverter, this enum allows specifying super and extends bounds, e.Classorg.checkerframework.qualframework.poly.qualCheckerjavadoc
WildcardA qualifier wildcard, bounded above and below by PolyQuals.Classorg.checkerframework.qualframework.polyCheckerjavadoc
WildcardTypeClassorg.checkerframework.stubparser.ast.typeCheckerjavadoc
WorldClassorg.checkerframework.checker.oigj.qualCheckerjavadoc
WrappedAnnotatedTypeMirrorA wrapper to adapt an AnnotatedTypeMirror to the ExtendedTypeMirror interface.Classorg.checkerframework.qualframework.utilCheckerjavadoc

Subscribe to Java News and Posts. Get latest updates and posts on Java from Buggybread.com
Enter your email address:
Delivered by FeedBurner



comments powered by Disqus