- jcsp.lang.ChannelOutputIntImpl
-
-
Methods Summary
Methods
Type Params |
Return Type |
Name and description |
|
void |
poison(int strength)
|
|
void |
write(int object)
|
-
Inherited Methods Summary
-
-
Method Detail
-
public void poison(int strength)
-
public void write(int object)
- Summary:
Nested Field Constructor - Method
- | Detail:
Field Constructor - Method
JCSP for Java 1.8 generated 18-09-2017 by Jon Kerridge, Edinburgh Napier University