org.checkerframework.checker.formatter

Class FormatterTreeUtil.FormatCall

java.lang.Object

org.checkerframework.checker.formatter.FormatterTreeUtil.FormatCall

Enclosing class:

FormatterTreeUtil

public class FormatterTreeUtil.FormatCall
extends Object

Represents a format method invocation in the syntax tree.

Constructor Summary

Constructors

Constructor and Description
FormatCall(MethodInvocationTree node, AnnotatedTypeFactory atypeFactory)

Method Summary

Modifier and Type	Method and Description
FormatterTreeUtil.Result<TypeMirror>[]	getArgTypes() Returns the types of the arguments to the call.
ConversionCategory[]	getFormatCategories() Returns the conversion category for every parameter.
FormatterTreeUtil.Result<FormatterTreeUtil.InvocationType>	getInvocationType() Returns the type of method invocation.
FormatterTreeUtil.Result<String>	hasFormatAnnotation() Returns null if the format-string argument's type is annotated as @Format.
boolean	isArgumentNull(TypeMirror type) Checks if the argument returned from getArgTypes() is a null expression.
boolean	isValidArgument(ConversionCategory formatCat, TypeMirror argType) Checks if the type of an argument returned from getArgTypes() is valid for the passed ConversionCategory.

Methods inherited from class java.lang.Object

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

Constructor Detail

FormatCall

public FormatCall(MethodInvocationTree node,
                  AnnotatedTypeFactory atypeFactory)

Method Detail

hasFormatAnnotation

public final FormatterTreeUtil.Result<String> hasFormatAnnotation()

Returns null if the format-string argument's type is annotated as @Format. Returns an error description if not annotated as @Format.

getInvocationType

public final FormatterTreeUtil.Result<FormatterTreeUtil.InvocationType> getInvocationType()

Returns the type of method invocation.

See Also:

FormatterTreeUtil.InvocationType

getFormatCategories

public final ConversionCategory[] getFormatCategories()

Returns the conversion category for every parameter.

See Also:

ConversionCategory

getArgTypes

public final FormatterTreeUtil.Result<TypeMirror>[] getArgTypes()

Returns the types of the arguments to the call. Use isValidArgument(org.checkerframework.checker.formatter.qual.ConversionCategory, javax.lang.model.type.TypeMirror) and isArgumentNull(javax.lang.model.type.TypeMirror) to work with the result.

Returns:

the types of the arguments to the call

isValidArgument

public final boolean isValidArgument(ConversionCategory formatCat,
                                     TypeMirror argType)

Checks if the type of an argument returned from getArgTypes() is valid for the passed ConversionCategory.

Parameters:

formatCat - a format specifier

argType - an argument type

Returns:

true if the argument can be passed to the format specifier

isArgumentNull

public final boolean isArgumentNull(TypeMirror type)

Checks if the argument returned from getArgTypes() is a null expression.

Parameters:

type - a type

Returns:

true if the argument is a null expression