jcsp.lang
Class Stop
java.lang.Object
|
+--jcsp.lang.Stop
- All Implemented Interfaces:
- CSProcess
- public class Stop
- extends Object
- implements CSProcess
This is a process that starts, engages in no events, performs no
computation but refuses to terminate.
Description
Stop is a process that starts, engages in no events, performs no
computation but refuses to terminate.
Note: it is included here for completeness -- it is one of the fundamental
primitives of CSP, where it represents a broken process.
- Author:
- P.D.Austin and P.H.Welch
- See Also:
Skip
Constructor Summary |
Stop()
|
Method Summary |
void |
run()
The main body of this process. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Stop
public Stop()
run
public void run()
- The main body of this process.
- Specified by:
run
in interface CSProcess
Submit a bug or feature to jcsp-team@ukc.ac.uk
Version 1.0-rc4 of the JCSP API Specification (Copyright 1997-2000 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.