// FILE. . . . . d:/hak/hlt/src/hlt/fot/fuz/BadArgumentPositionMappingException.java
// EDIT BY . . . Hassan Ait-Kaci
// ON MACHINE. . Hak-Laptop
// STARTED ON. . Sat Aug  4 08:08:58 2018

package hlt.fot.fuz;

/**
 * Class of <tt>RuntimeException</tt> indicating an arity mismatch.
 *
 * @version     Last modified on Tue Aug 14 04:42:51 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>
 */

public class BadArgumentPositionMappingException extends RuntimeException
{
  /**
   * Constructs a new <tt>BadArgumentPositionMappingException</tt> for
   * given functors positions with given details.
   */
  public BadArgumentPositionMappingException (String details)
    {
      super
	("Inconsistent functor argument position mapping"+
	 (details == null || details.isEmpty()?"":(": ("+details+")")));
    }
}