org.checkerframework.checker.formatter

Class FormatUtil

java.lang.Object

org.checkerframework.checker.formatter.FormatUtil

public class FormatUtil
extends java.lang.Object

This class provides a collection of utilities to ease working with format strings.

Author:

Konstantin Weitz

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	FormatUtil.ExcessiveOrMissingFormatArgumentException
static class	FormatUtil.IllegalFormatConversionCategoryException

Constructor Summary

Constructors

Constructor and Description
FormatUtil()

Method Summary

Modifier and Type	Method and Description
static java.lang.String	asFormat(java.lang.String format, ConversionCategory... cc) Returns if the format string is satisfiable, and if the format's parameters match the passed ConversionCategorys.
static ConversionCategory[]	formatParameterCategories(java.lang.String format) Returns a ConversionCategory for every conversion found in the format string.
static void	tryFormatSatisfiability(java.lang.String format) Throws an exception if the format is not syntactically valid.

Methods inherited from class java.lang.Object

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

Constructor Detail

FormatUtil

public FormatUtil()

Method Detail

asFormat

@ReturnsFormat
public static java.lang.String asFormat(java.lang.String format,
                                                       ConversionCategory... cc)
                                                throws java.util.IllegalFormatException

Returns if the format string is satisfiable, and if the format's parameters match the passed ConversionCategorys. Otherwise an Error is thrown.

TODO introduce more such functions, see RegexUtil for examples

Throws:

java.util.IllegalFormatException

tryFormatSatisfiability

public static void tryFormatSatisfiability(java.lang.String format)
                                    throws java.util.IllegalFormatException

Throws an exception if the format is not syntactically valid.

Throws:

java.util.IllegalFormatException

formatParameterCategories

public static ConversionCategory[] formatParameterCategories(java.lang.String format)
                                                      throws java.util.IllegalFormatException

Returns a ConversionCategory for every conversion found in the format string.

Throws an exception if the format is not syntactically valid.

Throws:

java.util.IllegalFormatException