Package org.jcsp.lang

Class JCSP_InternalError

  • All Implemented Interfaces:
    java.io.Serializable

    public class JCSP_InternalError
    extends java.lang.Error
    This is thrown by an inconsistency detected in the internal structures of JCSP.

    Description

    Please report the circumstances to jcsp-team@kent.ac.uk - thanks!
    See Also:
    Serialized Form
    • Constructor Summary

      Constructors 
      Constructor Description
      JCSP_InternalError​(java.lang.String s)  
    • 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 Detail

      • JCSP_InternalError

        public JCSP_InternalError​(java.lang.String s)