Class TimedTransition

Object
   |
   +--TimedTransition

class TimedTransition

Creates a new TimedTransition object.

Defined in TimedTransition.js

Constructor Detail

TimedTransition

function TimedTransition(javaObject)

Parameters:
javaObject - The java object to encapsulate.

getGlobalGuard

function getGlobalGuard()

Returns the actual global guard expression.

Returns:
The guard expression of this timed transition.

getLocalGuard

function getLocalGuard()

Returns the actual local guard expression.

Returns:
The guard expression of this timed transition.

getName

function getName()

Returns the name of this timed transition.

Returns:
This transition's name.

getTimeFunction

function getTimeFunction()

Returns the time function.

Returns:
The time function.

setGlobalGuard

function setGlobalGuard(guardStr)

Sets the global guard of this timed transition.

Parameters:
guardStr - The new global guard expression.

setLocalGuard

function setLocalGuard(guardStr)

Sets the local guard of this timed transition.

Parameters:
guardStr - The new local guard expression.

setTimeFunction

function setTimeFunction(expression)

Sets the time function.

Parameters:
expression - The new time function to set.

add

<static> function add(net, name, timeFunction)

Adds a new TimedTransition to the specified net with the provided properties.

Parameters:
net - The net to add the TimedTransition to
name - The name of the TimedTransition
timeFunction - The time function to set.

Returns:
The new TimedTransition object.

withName

<static> function withName(net, name)

Searches the TimedTransition with the given name.

Parameters:
net - The net to search in.
name - The name of the TimedTransition to find.

Returns:
The TimedTransition, if found.