Package edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions

Class RepeatedPredicateNameException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.IMPLogicsException

edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.exceptions.RepeatedPredicateNameException

All Implemented Interfaces:

Serializable

public class RepeatedPredicateNameException
extends IMPLogicsException

Thrown to indicate that a Predicate name is repeated inside a LogicSchema.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
RepeatedPredicateNameException(String name)	Constructs an RepeatedPredicateNameException with one argument indicating the repeated Predicate name.

Method Summary

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

Constructor Details

RepeatedPredicateNameException

public RepeatedPredicateNameException(String name)

Constructs an RepeatedPredicateNameException with one argument indicating the repeated Predicate name.

The Predicate name is included in this exception's detail message. The exact presentation format of the detail message is unspecified.

Parameters:

name - repeated Predicate name.