Class RegistryInsertionException
java.lang.Object
java.lang.Throwable
java.lang.Exception
java.lang.RuntimeException
fr.inria.rules.integraal.api.external.registries.RegistryInsertionException
- All Implemented Interfaces:
Serializable
Exception thrown when inserting an entry into a registry fails.
- See Also:
-
Constructor Summary
ConstructorsConstructorDescriptionRegistryInsertionException(String message) Creates an exception with the given message.RegistryInsertionException(String message, Throwable cause) Creates an exception with the given message and cause. -
Method Summary
Methods inherited from class Throwable
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
-
Constructor Details
-
RegistryInsertionException
Creates an exception with the given message.- Parameters:
message- the exception message
-
RegistryInsertionException
-