org.checkerframework.checker.formatter

Class FormatUtil.ExcessiveOrMissingFormatArgumentException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

java.lang.IllegalArgumentException

java.util.IllegalFormatException

java.util.MissingFormatArgumentException

org.checkerframework.checker.formatter.FormatUtil.ExcessiveOrMissingFormatArgumentException

All Implemented Interfaces:

java.io.Serializable

Enclosing class:

FormatUtil

public static class FormatUtil.ExcessiveOrMissingFormatArgumentException
extends java.util.MissingFormatArgumentException

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ExcessiveOrMissingFormatArgumentException(int expected, int found) Constructs an instance of this class with the actual argument length and the expected one.

Method Summary

Modifier and Type	Method and Description
int	getExpected()
int	getFound()
java.lang.String	getMessage()

Methods inherited from class java.util.MissingFormatArgumentException

getFormatSpecifier

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 Detail

ExcessiveOrMissingFormatArgumentException

public ExcessiveOrMissingFormatArgumentException(int expected,
                                                 int found)

Constructs an instance of this class with the actual argument length and the expected one.

Method Detail

getExpected

public int getExpected()

getFound

public int getFound()

getMessage

public java.lang.String getMessage()

Overrides:

getMessage in class java.util.MissingFormatArgumentException