Class SubstitutionTransition

Object
   |
   +--SubstitutionTransition

class SubstitutionTransition

Creates a new substitution transition object.

Defined in SubstitutionTransition.js

Constructor Detail

SubstitutionTransition

function SubstitutionTransition(javaObject)

Parameters:
javaObject - The java object to encapsulate.

getGlobalGuard

function getGlobalGuard()

Returns the actual global guard expression.

Returns:
The actual global guard expression in String form.

getID

function getID()

Returns the ID of this SubstitutionTransition.

Returns:
The ID of this transition.

getLocalGuard

function getLocalGuard()

Returns the actual local guard expression.

Returns:
The actual local guard expression in String form.

getName

function getName()

Returns the name of this SubstitutionTransition.

Returns:
The name of this transition.

getNumberOfReplications

function getNumberOfReplications()

Returns the number of replications for this SubstitutionTransition.

Returns:
The number of Replications

getReplication

function getReplication(n)

Returns the n-th Replication object.

Parameters:
n - The number of the Replication to return.

Returns:
The according Replication object.

setGlobalGuard

function setGlobalGuard(guardStr)

Sets the global guard expression for this transition.

Parameters:
guardStr - The new global guard expression.

setLocalGuard

function setLocalGuard(guardStr)

Sets the local guard expression for this transition.

Parameters:
guardStr - The new local guard expression.

add

<static> function add(net, name)

Adds a new substitution transition to the given net.

Parameters:
net - The net to create the new substitution transition in.
name - The name of this new substitution transition.

Returns:
The new SubstitutionTransition object.

withName

<static> function withName(net, name)

Tries to find the substitution transition with the given name inside the provided net.

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

Returns:
The substitution transition, if found.