org.checkerframework.framework.type.treeannotator

Class LiteralTreeAnnotator

java.lang.Object

com.sun.source.util.SimpleTreeVisitor<Void,AnnotatedTypeMirror>

org.checkerframework.framework.type.treeannotator.TreeAnnotator

org.checkerframework.framework.type.treeannotator.LiteralTreeAnnotator

All Implemented Interfaces:

TreeVisitor<Void,AnnotatedTypeMirror>

public class LiteralTreeAnnotator
extends TreeAnnotator

Adds annotations to a type based on the contents of a tree. This class applies annotations specified by QualifierForLiterals; it is designed to be added to a ListTreeAnnotator via GenericAnnotatedTypeFactory.createTreeAnnotator()

LiteralTreeAnnotator does not traverse trees deeply.

See Also:

TreeAnnotator

Field Summary

Fields

Modifier and Type	Field and Description
protected QualifierHierarchy	qualHierarchy

Fields inherited from class org.checkerframework.framework.type.treeannotator.TreeAnnotator

atypeFactory

Fields inherited from class com.sun.source.util.SimpleTreeVisitor

DEFAULT_VALUE

Constructor Summary

Constructors

Constructor and Description
LiteralTreeAnnotator(AnnotatedTypeFactory atypeFactory) Creates a LiteralTreeAnnotator for the given atypeFactory.

Method Summary

Modifier and Type	Method and Description
void	addLiteralKind(LiteralKind literalKind, AnnotationMirror theQual) Added a rule for a particular LiteralKind
LiteralTreeAnnotator	addStandardLiteralQualifiers() Adds standard qualifiers for literals.
void	addStringPattern(String pattern, AnnotationMirror theQual) Added a rule for all String literals that match the given pattern.
Void	defaultAction(Tree tree, AnnotatedTypeMirror type)
Void	visitLiteral(LiteralTree tree, AnnotatedTypeMirror type) Go through the string patterns and add the greatest lower bound of all matching patterns.

Methods inherited from class org.checkerframework.framework.type.treeannotator.TreeAnnotator

visitBinary, visitMethod

Methods inherited from class com.sun.source.util.SimpleTreeVisitor

visit, visit, visitAnnotatedType, visitAnnotation, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBlock, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExports, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitMemberReference, visitMemberSelect, visitMethodInvocation, visitModifiers, visitModule, visitNewArray, visitNewClass, visitOpens, visitOther, visitPackage, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitProvides, visitRequires, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, visitUses, visitVariable, visitWhileLoop, visitWildcard

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

qualHierarchy

protected final QualifierHierarchy qualHierarchy

Constructor Detail

LiteralTreeAnnotator

public LiteralTreeAnnotator(AnnotatedTypeFactory atypeFactory)

Creates a LiteralTreeAnnotator for the given atypeFactory.

Method Detail

addStandardLiteralQualifiers

public LiteralTreeAnnotator addStandardLiteralQualifiers()

Adds standard qualifiers for literals. Currently sets the null literal to bottom if no other default is set for null literals. Also, see DefaultForTypeAnnotator.addStandardDefaults().

Returns:

this

addLiteralKind

public void addLiteralKind(LiteralKind literalKind,
                           AnnotationMirror theQual)

Added a rule for a particular LiteralKind

Parameters:

literalKind - LiteralKind that should be defaulted to theQual

theQual - the AnnotationMirror that should be applied to the literalKind

addStringPattern

public void addStringPattern(String pattern,
                             AnnotationMirror theQual)

Added a rule for all String literals that match the given pattern.

Parameters:

pattern - pattern to match Strings against

theQual - AnnotationMirror to apply to Strings that match the pattern

defaultAction

public Void defaultAction(Tree tree,
                          AnnotatedTypeMirror type)

Overrides:

defaultAction in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitLiteral

public Void visitLiteral(LiteralTree tree,
                         AnnotatedTypeMirror type)

Go through the string patterns and add the greatest lower bound of all matching patterns.

Specified by:

visitLiteral in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitLiteral in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>