org.jcsp.lang
Class JCSP_InternalError

java.lang.Object
  java.lang.Throwable
      java.lang.Error
          org.jcsp.lang.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!

Author:

P.H. Welch

See Also:

Serialized Form

Constructor Summary

JCSP_InternalError(java.lang.String s)

Method Summary

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, 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)