CSP for Java
(JCSP) 1.1-rc4

Class JCSP_InternalError

  extended by java.lang.Throwable
      extended by java.lang.Error
          extended by org.jcsp.lang.JCSP_InternalError
All Implemented Interfaces:

public class JCSP_InternalError
extends Error

This is thrown by an inconsistency detected in the internal structures of JCSP.


Please report the circumstances to jcsp-team@kent.ac.uk - thanks!

P.H. Welch
See Also:
Serialized Form

Constructor Summary
JCSP_InternalError(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


public JCSP_InternalError(String s)

CSP for Java
(JCSP) 1.1-rc4

Submit a bug or feature to jcsp-team@kent.ac.uk
Version 1.1-rc4 of the JCSP API Specification (Copyright 1997-2008 P.D.Austin and P.H.Welch - All Rights Reserved)
Java is a trademark or registered trademark of Sun Microsystems, Inc. in the US and other countries.