Package org.checkerframework.checker.i18nformatter

Class I18nFormatterTreeUtil

java.lang.Object

org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil

public class I18nFormatterTreeUtil
extends Object

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

See the Checker Framework Manual:

Internationalization Format String Checker

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	I18nFormatterTreeUtil.FormatType	Describe the format annotation type.
class	I18nFormatterTreeUtil.I18nFormatCall	Represents a format method invocation in the syntax tree.

Field Summary

Fields

Modifier and Type	Field	Description
final BaseTypeChecker	checker	The checker.
protected final ExecutableElement	i18nFormatForValueElement	The value() element/field of an @I18nFormatFor annotation.
protected final ExecutableElement	i18nFormatValueElement	The value() element/field of an @I18nFormat annotation.
protected final ExecutableElement	i18nInvalidFormatValueElement	The value() element/field of an @I18nInvalidFormat annotation.
final ProcessingEnvironment	processingEnv	The processing environment.

Constructor Summary

Constructors

Constructor	Description
I18nFormatterTreeUtil(BaseTypeChecker checker)	Creates a new I18nFormatterTreeUtil.

Method Summary

Modifier and Type	Method	Description
AnnotationMirror	categoriesToFormatAnnotation(I18nConversionCategory[] args)	Creates a @I18nFormat annotation with the given list as its value.
@Nullable I18nFormatterTreeUtil.I18nFormatCall	createFormatForCall(MethodInvocationTree tree, I18nFormatterAnnotatedTypeFactory atypeFactory)	Returns an I18nFormatCall instance, only if there is an @I18nFormatFor annotation.
AnnotationMirror	exceptionToInvalidFormatAnnotation(IllegalArgumentException ex)	Takes an exception that describes an invalid formatter string and returns a syntax trees element that represents a I18nInvalidFormat annotation with the exception's error message as value.
final void	failure(FormatterTreeUtil.Result<?> res, @CompilerMessageKey String msgKey, Object... args)	Reports an error.
I18nConversionCategory[]	formatAnnotationToCategories(AnnotationMirror anno)	Takes an @I18nFormat annotation, and returns its value element
FormatterTreeUtil.Result<I18nConversionCategory[]>	getHasFormatCallCategories(MethodInvocationNode node)
String	invalidFormatAnnotationToErrorMessage(AnnotationMirror anno)	Takes a syntax tree element that represents a I18nInvalidFormat annotation, and returns its value.
boolean	isHasFormatCall(MethodInvocationNode node, AnnotatedTypeFactory atypeFactory)	Returns true if the call is to a method with the @I18nChecksFormat annotation.
boolean	isIsFormatCall(MethodInvocationNode node, AnnotatedTypeFactory atypeFactory)	Returns true if the call is to a method with the @I18nValidFormat annotation.
boolean	isMakeFormatCall(MethodInvocationNode node, AnnotatedTypeFactory atypeFactory)	Returns true if the call is to a method with the @I18nMakeFormat annotation.
FormatterTreeUtil.Result<I18nConversionCategory[]>	makeFormatCallCategories(MethodInvocationNode node, I18nFormatterAnnotatedTypeFactory atypeFactory)
final 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 Details

checker

public final BaseTypeChecker checker

The checker.

processingEnv

public final ProcessingEnvironment processingEnv

The processing environment.

i18nFormatValueElement

protected final ExecutableElement i18nFormatValueElement

The value() element/field of an @I18nFormat annotation.

i18nFormatForValueElement

protected final ExecutableElement i18nFormatForValueElement

The value() element/field of an @I18nFormatFor annotation.

i18nInvalidFormatValueElement

protected final ExecutableElement i18nInvalidFormatValueElement

The value() element/field of an @I18nInvalidFormat annotation.

Constructor Details

I18nFormatterTreeUtil

public I18nFormatterTreeUtil(BaseTypeChecker checker)

Creates a new I18nFormatterTreeUtil.

Parameters:

checker - the checker

Method Details

exceptionToInvalidFormatAnnotation

public AnnotationMirror exceptionToInvalidFormatAnnotation(IllegalArgumentException ex)

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

invalidFormatAnnotationToErrorMessage

public String invalidFormatAnnotationToErrorMessage(AnnotationMirror anno)

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

Parameters:

anno - an I18nInvalidFormat annotation

Returns:

its value() element/field, within double-quotes

categoriesToFormatAnnotation

public AnnotationMirror categoriesToFormatAnnotation(I18nConversionCategory[] args)

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

Parameters:

args - conversion categories for the @Format annotation

Returns:

a @I18nFormat annotation with the given list as its value

formatAnnotationToCategories

public I18nConversionCategory[] formatAnnotationToCategories(AnnotationMirror anno)

Takes an @I18nFormat annotation, and returns its value element

Parameters:

anno - an @I18nFormat annotation

Returns:

the @I18nFormat annotation's value element

isHasFormatCall

public boolean isHasFormatCall(MethodInvocationNode node,
 AnnotatedTypeFactory atypeFactory)

Returns true if the call is to a method with the @I18nChecksFormat annotation. An example of such a method is I18nFormatUtil.hasFormat.

isIsFormatCall

public boolean isIsFormatCall(MethodInvocationNode node,
 AnnotatedTypeFactory atypeFactory)

Returns true if the call is to a method with the @I18nValidFormat annotation. An example of such a method is I18nFormatUtil.isFormat.

isMakeFormatCall

public boolean isMakeFormatCall(MethodInvocationNode node,
 AnnotatedTypeFactory atypeFactory)

Returns true if the call is to a method with the @I18nMakeFormat annotation. An example of such a method is ResourceBundle.getString.

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

getHasFormatCallCategories

public FormatterTreeUtil.Result<I18nConversionCategory[]> getHasFormatCallCategories(MethodInvocationNode node)

makeFormatCallCategories

public FormatterTreeUtil.Result<I18nConversionCategory[]> makeFormatCallCategories(MethodInvocationNode node,
 I18nFormatterAnnotatedTypeFactory atypeFactory)

createFormatForCall

public @Nullable I18nFormatterTreeUtil.I18nFormatCall createFormatForCall(MethodInvocationTree tree,
 I18nFormatterAnnotatedTypeFactory atypeFactory)

Returns an I18nFormatCall instance, only if there is an @I18nFormatFor annotation. Otherwise, returns null.

Parameters:

tree - method invocation tree

atypeFactory - type factory

Returns:

an I18nFormatCall instance, only if there is an @I18nFormatFor annotation. Otherwise, returns null.