Class Definition

Object
   |
   +--Definition

class Definition

Creates a new Definition with the given Java object.

Defined in Definition.js

Constructor Detail

Definition

function Definition(javaObject)

Parameters:
javaObject - The javaObject to encapsulate.

getExpression

function getExpression()

Returns this definition's expression.

Returns:
The expression of this Definition.

setExpression

function setExpression(expression)

Sets this definition's expression.

Parameters:
expression - The expression to set.

add

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

This static method adds a new Definition to the given net with the given name and expression.

Parameters:
net - The Petri Net to add the definition to.
name - The name of this new definition.
expresison - The expresison to use.

Returns:
A new Definition

withName

<static> function withName(net, name)

Tries to find the Definition with the given name.

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

Returns:
The Definition, if found.