|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
Object | +--ImmediateTransition
Creates a new ImmediateTransition object.
Defined in ImmediateTransition.js
| Constructor Summary | |
ImmediateTransition
(javaObject)
|
|
| Method Summary | |
function
|
getGlobalGuard()
Returns the global guard expression of this transition. |
function
|
getLocalGuard()
Returns the local guard expression of this transition. |
function
|
getName()
Returns the name of this ImmediateTransition. |
function
|
getPriority()
Returns this transition's priority. |
function
|
getWeight()
Returns this transition's weight. |
function
|
setGlobalGuard(guardStr)
Sets the global guard expression of this transition. |
function
|
setLocalGuard(guardStr)
Sets the local guard expression of this transition. |
function
|
setPriority(priority)
Sets the priority of this transition. |
function
|
setWeight(weight)
Sets the weight of this ImmediateTransition. |
<static> function
|
add(net, name, priority, weight)
Adds a new ImmediateTransition to the given net with the provided properties. |
<static> function
|
withName(net, name)
Tries to find the ImmediateTransition with the given name in the provided net. |
| Constructor Detail |
function ImmediateTransition(javaObject)
javaObject - The Java object to ecapsulate.
| Method Detail |
function getGlobalGuard()
function getLocalGuard()
function getName()
function getPriority()
function getWeight()
function setGlobalGuard(guardStr)
guardStr - The guard expression.
function setLocalGuard(guardStr)
guardStr - The guard expression.
function setPriority(priority)
priority - The new priority value.
function setWeight(weight)
weight - The new weight value.
<static> function add(net, name, priority, weight)
net - The Petri Net to add this transition to.
name - The name of the new Immediatetransition.
priority - The priority of the transition.
weight - The weight of the Immediatetransition.
<static> function withName(net, name)
net - The net to search in.
name - The name to use in search.
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||