Package | Description |
---|---|
desmoj.extensions.crossbar |
A higher-level construct to facilitate indirect process synchronization based on exchanging massages.
|
Modifier and Type | Method and Description |
---|---|
CrossbarMessage.DistributionMode |
CrossbarMessage.getDistributionMode() |
static CrossbarMessage.DistributionMode |
CrossbarMessage.DistributionMode.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static CrossbarMessage.DistributionMode[] |
CrossbarMessage.DistributionMode.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Constructor and Description |
---|
CrossbarMessage(Model origin,
java.lang.String description,
CrossbarMessage.DistributionMode distributionMode)
Constructs a CrossbarMessage with the given model, description and
CrossbarMessage.DistributionMode . |