|
|||||||||
| 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
|
getDisplayExpression()
Returns the value of the display expression. |
function
|
getGlobalGuard()
Returns the global guard expression of this transition. |
function
|
getID()
Returns the ID of this ImmediateTransition. |
function
|
getLocalGuard()
Returns the local guard expression of this transition. |
function
|
getLogfileDescription()
Returns this tranistion's logfile description. |
function
|
getLogfileExpression()
Returns this transition's logfile expression. |
function
|
getLogfileName()
Returns this transition's logfile name. |
function
|
getManualCode()
Returns this transition's manual code. |
function
|
getName()
Returns the name of this ImmediateTransition. |
function
|
getPriority()
Returns this transition's priority. |
function
|
getServerType()
Returns the server type. |
function
|
getSpecType()
Returns the value of this transition's SpecType attribute. |
function
|
getTakeFirst()
Returns the value of the takeFirst attribute. |
function
|
getWatch()
Returns the value of this tranision's watch attribute. |
function
|
getWeight()
Returns this transition's weight. |
function
|
setDisplayExpression(expression)
Sets the display expression. |
function
|
setGlobalGuard(guardStr)
Sets the global guard expression of this transition. |
function
|
setLocalGuard(guardStr)
Sets the local guard expression of this transition. |
function
|
setLogfileParameters(filename, expression, description)
Sets the parameters for this transition's logfile. |
function
|
setManualCode(code)
Sets this transition's manual code. |
function
|
setPriority(priority)
Sets the priority of this transition. |
function
|
setServerType(expression)
Sets the server type. |
function
|
setSpecType(spec)
Sets the value of this transition's SpecType attribute. |
function
|
setTakeFirst(takeFirst)
Sets the value of the takeFirst attribute. |
function
|
setWatch(w)
Sets the value of this transition's watch attribute. |
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 getDisplayExpression()
function getGlobalGuard()
function getID()
function getLocalGuard()
function getLogfileDescription()
function getLogfileExpression()
function getLogfileName()
function getManualCode()
function getName()
function getPriority()
function getServerType()
function getSpecType()
function getTakeFirst()
function getWatch()
function getWeight()
function setDisplayExpression(expression)
expression - The new display expression to set.
function setGlobalGuard(guardStr)
guardStr - The guard expression.
function setLocalGuard(guardStr)
guardStr - The guard expression.
function setLogfileParameters(filename, expression, description)
function setManualCode(code)
function setPriority(priority)
priority - The new priority value.
function setServerType(expression)
expression - The new server type to set.
function setSpecType(spec)
spec - The new value of the SpecType attribute
function setTakeFirst(takeFirst)
takeFirst - The new value of the takeFirst attribute.
function setWatch(w)
w - The new value of the watch attribute.
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 | ||||||||