|
CSP for Java (JCSP) 1.1-rc1 |
||||||||
| PREV LETTER NEXT LETTER | FRAMES NO FRAMES | ||||||||
SpuriousLog.getSpuriousWakeUpCounts()),
indicating the class and operation that suffered.
ChannelOutput with black hole semantics.ChannelOutputInt with black hole semantics.SpuriousLog.report()),
indicating the class and operation that suffered.
BufferIntSizeError with the specified detail message.
|
CSP for Java (JCSP) 1.1-rc1 |
||||||||
| PREV LETTER NEXT LETTER | FRAMES NO FRAMES | ||||||||