de.uka.ilkd.key.macros.scripts.meta

Class NoSpecifiedConverterException

java.lang.Object

java.lang.Throwable

java.lang.Exception

de.uka.ilkd.key.macros.scripts.meta.InjectionException

de.uka.ilkd.key.macros.scripts.meta.NoSpecifiedConverterException

All Implemented Interfaces:

java.io.Serializable

public class NoSpecifiedConverterException
extends InjectionException

Indicates a missing converter.

This is exception is raised if StringConverter is found for string to the desired type T. The desired type is in the stored ProofScriptArgument.

Version:

1 (02.05.17)

Author:

Alexander Weigl

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID

Constructor Summary

Constructors

Constructor and Description
NoSpecifiedConverterException(java.lang.String message, ProofScriptArgument<?> argument) Creates an exception with the given message and argument.
NoSpecifiedConverterException(java.lang.String message, java.lang.Throwable cause, ProofScriptArgument<?> argument) Creates an exception with the given arguments.

Method Summary

Methods inherited from class de.uka.ilkd.key.macros.scripts.meta.InjectionException

getArgument

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, 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

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

Constructor Detail

NoSpecifiedConverterException

public NoSpecifiedConverterException(java.lang.String message,
                                     ProofScriptArgument<?> argument)

Creates an exception with the given message and argument.

Parameters:

message - a non-null string

argument - the argument for which the conversion failed

NoSpecifiedConverterException

public NoSpecifiedConverterException(java.lang.String message,
                                     java.lang.Throwable cause,
                                     ProofScriptArgument<?> argument)

Creates an exception with the given arguments.

Parameters:

message - a non-null string

cause - a cause of this exception

argument - the argument for which the conversion failed