// FILE. . . . . d:/hak/hlt/src/hlt/fot/BadFunctorArityException.java
// EDIT BY . . . Hassan Ait-Kaci
// ON MACHINE. . Hak-Laptop
// STARTED ON. . Sat Jul 14 07:23:39 2018

/**
 * @version     Last modified on Sun Jul 15 09:01:02 2018 by hak
 * @author      <a href="mailto:hak@acm.org">Hassan A&iuml;t-Kaci</a>
 * @copyright   &copy; <a href="http://www.hassan-ait-kaci.net/">by the author</a>
 */
package hlt.fot;

  /**
   * Class of <tt>RuntimeException</tt> indicating an arity mismatch.
   */

public class BadFunctorArityException extends RuntimeException
{
  /**
   * Constructs a new <tt>BadFunctorArityException</tt> for given functor and arity.
   */
  public BadFunctorArityException (Functor functor, int arity)
    {
      super("Arity mismatch: functor "+functor.name()+" expects "+functor.arity()+" arguments, not "+arity);
    }
}