class GUImanager extends Object
Type | Name and description |
---|---|
org.jcsp.awt.DisplayList |
dList |
ResultDetails |
guiDetails |
org.jcsp.lang.ChannelInput |
input |
Constructor and description |
---|
GUImanager
() |
GPP - Groovy Parallel Patterns generated test by Jon Kerridge, Edinburgh Napier University - j.kerridge@napier.ac.uk