Package org.checkerframework.checker.formatter.util

Class FormatUtil.IllegalFormatConversionCategoryException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

java.lang.IllegalArgumentException

java.util.IllegalFormatException

java.util.IllegalFormatConversionException

org.checkerframework.checker.formatter.util.FormatUtil.IllegalFormatConversionCategoryException

All Implemented Interfaces:

Serializable

Enclosing class:

FormatUtil

public static class FormatUtil.IllegalFormatConversionCategoryException
extends IllegalFormatConversionException

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
IllegalFormatConversionCategoryException(org.checkerframework.checker.formatter.qual.ConversionCategory expected, org.checkerframework.checker.formatter.qual.ConversionCategory found)	Constructs an instance of this class with the mismatched conversion and the expected one.

Method Summary

Modifier and Type	Method	Description
org.checkerframework.checker.formatter.qual.ConversionCategory	getExpected()
org.checkerframework.checker.formatter.qual.ConversionCategory	getFound()
String	getMessage()

Methods inherited from class java.util.IllegalFormatConversionException

getArgumentClass, getConversion

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

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

Constructor Details

IllegalFormatConversionCategoryException

public IllegalFormatConversionCategoryException(org.checkerframework.checker.formatter.qual.ConversionCategory expected,
 org.checkerframework.checker.formatter.qual.ConversionCategory found)

Constructs an instance of this class with the mismatched conversion and the expected one.

Method Details

getExpected

public org.checkerframework.checker.formatter.qual.ConversionCategory getExpected()

getFound

public org.checkerframework.checker.formatter.qual.ConversionCategory getFound()

getMessage

public String getMessage()

Overrides:

getMessage in class IllegalFormatConversionException