org.jcsp.lang
Class JCSP_InternalError

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

public class JCSP_InternalError
extends 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(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(String s)


Copyright © 1996-2012. All Rights Reserved.