package JavaAgent.resource.cdl;


import java.util.*;

/** 
** A FormalismException can occur when A KnowledgeBase is asked to process 
** a KRSentence that is not in a Formalism that it can deal with.
** @see KnowledgeBase
** @see KRSentence
*/

public class FormalismException extends Exception {

  /**
  ** This constructor takes a String which should be a short message 
  ** indicating why this exception was thrown.
  */
  public FormalismException(String str) {
    super(str);
  }

}


