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