Modifiers | Name | Description |
---|---|---|
static int |
MODE_ARBITRARY |
Flags to control behaviour of this ALT if used as a guard. |
static int |
MODE_FAIR |
|
static int |
MODE_PRI |
Constructor and description |
---|
InlineAlternative
(Guard[] guards) Creates a new one |
InlineAlternative
(Guard[] guards, int mode) Creates a new one |
Type | Name and description |
---|---|
int |
fairSelect() Creates an Alternative (if needed) and delegates the call to it. |
Guard |
getGuardByIndex(int index) Returns the guard object at a given index. |
int |
getSelected() Returns the index of the guard obtained by a call to select() or if this guard became ready within its parent ALT. |
Guard |
getSelectedGuard() Returns the actual guard object corresponding to the selected guard. |
int |
priSelect() Creates an Alternative (if needed) and delegates the call to it. |
int |
select() Creates an Alternative (if needed) and delegates the call to it. |
void |
setPreconditionByIndex(int index, boolean on) Alters the precondition on a guard. |
void |
setPreconditions(boolean[] precons) Establishes a precondition array that will be used by default in calls to select(). |
Flags to control behaviour of this ALT if used as a guard.
Creates a new one
Creates a new one
Creates an Alternative (if needed) and delegates the call to it.
Returns the guard object at a given index. For example to obtain a channel or ALT object.
Returns the index of the guard obtained by a call to select() or if this guard became ready within its parent ALT.
Returns the actual guard object corresponding to the selected guard. For example it can return the channel or the ALT object.
Creates an Alternative (if needed) and delegates the call to it.
Creates an Alternative (if needed) and delegates the call to it.
Alters the precondition on a guard.
Establishes a precondition array that will be used by default in calls to select(). This is useful when the ALT is used as a guard within another ALT.
JCSP for Java 1.8 generated 14-10-2016 by Jon Kerridge, Edinburgh Napier University - j dot kerridge at napier dot ac dot uk