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.

getDisplayExpression

function getDisplayExpression()

Returns the value of the display expression.

getGlobalGuard

function getGlobalGuard()

Returns the actual global guard expression.

Returns:
The guard expression of this timed transition.

getID

function getID()

Returns the ID of this timed transition.

Returns:
This transition's ID.

getLocalGuard

function getLocalGuard()

Returns the actual local guard expression.

Returns:
The guard expression of this timed transition.

getLogfileDescription

function getLogfileDescription()

Returns this tranistion's logfile description.

getLogfileExpression

function getLogfileExpression()

Returns this transition's logfile expression.

getLogfileName

function getLogfileName()

Returns this transition's logfile name.

getManualCode

function getManualCode()

Returns this transition's manual code.

getName

function getName()

Returns the name of this timed transition.

Returns:
This transition's name.

getServerType

function getServerType()

Returns the server type.

getSpecType

function getSpecType()

Returns the value of this transition's SpecType attribute.

getTakeFirst

function getTakeFirst()

Returns the value of the takeFirst attribute.

getTimeFunction

function getTimeFunction()

Returns the time function.

Returns:
The time function.

getWatch

function getWatch()

Returns the value of this tranision's watch attribute.

setDisplayExpression

function setDisplayExpression(expression)

Sets the display expression.

Parameters:
expression - The new display expression to set.

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.

setLogfileParameters

function setLogfileParameters(filename, expression, description)

Sets the parameters for this transition's logfile.

setManualCode

function setManualCode(code)

Sets this transition's manual code.

setServerType

function setServerType(expression)

Sets the server type.

Parameters:
expression - The new server type to set.

setSpecType

function setSpecType(spec)

Sets the value of this transition's SpecType attribute.

Parameters:
spec - The new value of the SpecType attribute

setTakeFirst

function setTakeFirst(takeFirst)

Sets the value of the takeFirst attribute.

Parameters:
takeFirst - The new value of the takeFirst attribute.

setTimeFunction

function setTimeFunction(expression)

Sets the time function.

Parameters:
expression - The new time function to set.

setWatch

function setWatch(w)

Sets the value of this transition's watch attribute.

Parameters:
w - The new value of the watch attribute.

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.