org.checkerframework.checker.formatter

Class FormatterTreeUtil

java.lang.Object

org.checkerframework.checker.formatter.FormatterTreeUtil

public class FormatterTreeUtil
extends Object

This class provides a collection of utilities to ease working with syntax trees that have something to do with Formatters.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	FormatterTreeUtil.FormatCall Represents a format method invocation in the syntax tree.
static class	FormatterTreeUtil.InvocationType Describes the ways a format method may be invoked.
static class	FormatterTreeUtil.Result<E> A wrapper around a value of type E, plus an ExpressionTree location.

Field Summary

Fields

Modifier and Type	Field and Description
BaseTypeChecker	checker
ProcessingEnvironment	processingEnv

Constructor Summary

Constructors

Constructor and Description
FormatterTreeUtil(BaseTypeChecker checker)

Method Summary

Modifier and Type	Method and Description
FormatterTreeUtil.Result<ConversionCategory[]>	asFormatCallCategories(MethodInvocationNode node)
AnnotationMirror	categoriesToFormatAnnotation(ConversionCategory[] args) Creates a @Format annotation with the given list as its value.
AnnotationMirror	exceptionToInvalidFormatAnnotation(IllegalFormatException ex) Takes an exception that describes an invalid formatter string and, returns a syntax trees element that represents a InvalidFormat annotation with the exception's error message as value.
void	failure(FormatterTreeUtil.Result<?> res, @CompilerMessageKey String msgKey, Object... args) Reports an error.
ConversionCategory[]	formatAnnotationToCategories(AnnotationMirror anno) Takes a syntax tree element that represents a Format annotation, and returns its value.
String	invalidFormatAnnotationToErrorMessage(AnnotationMirror anno) Takes a syntax tree element that represents a InvalidFormat annotation, and returns its value.
boolean	isAsFormatCall(MethodInvocationNode node, AnnotatedTypeFactory atypeFactory) Returns true if the call is to a method with the @ReturnsFormat annotation.
boolean	isFormatCall(MethodInvocationTree node, AnnotatedTypeFactory atypeFactory) Returns true if node is a call to a method annotated with @FormatMethod.
static boolean	isLocale(ExpressionTree e, AnnotatedTypeFactory atypeFactory) Returns true if the given ExpressionTree has type java.util.Locale.
void	warning(FormatterTreeUtil.Result<?> res, @CompilerMessageKey String msgKey, Object... args) Reports a warning.

Methods inherited from class java.lang.Object

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

Field Detail

checker

public final BaseTypeChecker checker

processingEnv

public final ProcessingEnvironment processingEnv

Constructor Detail

FormatterTreeUtil

public FormatterTreeUtil(BaseTypeChecker checker)

Method Detail

isAsFormatCall

public boolean isAsFormatCall(MethodInvocationNode node,
                              AnnotatedTypeFactory atypeFactory)

Returns true if the call is to a method with the @ReturnsFormat annotation. An example of such a method is FormatUtil.asFormat.

asFormatCallCategories

public FormatterTreeUtil.Result<ConversionCategory[]> asFormatCallCategories(MethodInvocationNode node)

isFormatCall

public boolean isFormatCall(MethodInvocationTree node,
                            AnnotatedTypeFactory atypeFactory)

Returns true if node is a call to a method annotated with @FormatMethod.

isLocale

public static boolean isLocale(ExpressionTree e,
                               AnnotatedTypeFactory atypeFactory)

Returns true if the given ExpressionTree has type java.util.Locale.

Parameters:

e - an expression

atypeFactory - the type factory

Returns:

true if the given ExpressionTree has type java.util.Locale

failure

public final void failure(FormatterTreeUtil.Result<?> res,
                          @CompilerMessageKey String msgKey,
                          Object... args)

Reports an error.

Parameters:

res - used for source location information

msgKey - the diagnostic message key

args - arguments to the diagnostic message

warning

public final void warning(FormatterTreeUtil.Result<?> res,
                          @CompilerMessageKey String msgKey,
                          Object... args)

Reports a warning.

Parameters:

res - used for source location information

msgKey - the diagnostic message key

args - arguments to the diagnostic message

exceptionToInvalidFormatAnnotation

public AnnotationMirror exceptionToInvalidFormatAnnotation(IllegalFormatException ex)

Takes an exception that describes an invalid formatter string and, returns a syntax trees element that represents a InvalidFormat annotation with the exception's error message as value.

invalidFormatAnnotationToErrorMessage

public String invalidFormatAnnotationToErrorMessage(AnnotationMirror anno)

Takes a syntax tree element that represents a InvalidFormat annotation, and returns its value.

categoriesToFormatAnnotation

public AnnotationMirror categoriesToFormatAnnotation(ConversionCategory[] args)

Creates a @Format annotation with the given list as its value.

Parameters:

args - conversion categories for the @Format annotation

Returns:

a @Format annotation with the given list as its value

formatAnnotationToCategories

public ConversionCategory[] formatAnnotationToCategories(AnnotationMirror anno)

Takes a syntax tree element that represents a Format annotation, and returns its value.