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

public class RegistryInsertionException extends RuntimeException
Exception thrown when inserting an entry into a registry fails.
See Also:
  • Constructor Details

    • RegistryInsertionException

      public RegistryInsertionException(String message)
      Creates an exception with the given message.
      Parameters:
      message - the exception message
    • RegistryInsertionException

      public RegistryInsertionException(String message, Throwable cause)
      Creates an exception with the given message and cause.
      Parameters:
      message - the exception message
      cause - the underlying cause