| 
CSP for Java (JCSP) 1.1-rc3  | 
||||||||
| 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-rc3  | 
||||||||
| PREV LETTER NEXT LETTER | FRAMES NO FRAMES | ||||||||