Class Place

Object
   |
   +--Place

class Place

Creates a new JS Place representation.

Defined in Place.js

Constructor Detail

Place

function Place(javaObject)

Parameters:
javaObject - The java object to encapsulate.

equals

function equals(otherPlace)

Returns true, if this place equals the provided place.

Parameters:
otherPlace - The other place to use in this equals() operation

Returns:
true, if the places are equal, false otherwise.

getCapacity

function getCapacity()

Returns this place's capacity.

Returns:
The capacity of this place.

getID

function getID()

Returns this place's id.

Returns:
The id of this place.

getInitialMarking

function getInitialMarking()

Returns the initial marking of this place.

Returns:
The place's initial marking.

getName

function getName()

Returns the name of this place.

Returns:
The name of the place.

getQueue

function getQueue()

Returns the queue type.

Returns:
The queue type of this place.

getTokentype

function getTokentype()

Returns the allowed tokentype of this place.

Returns:
The tokentype of this place.

getWatch

function getWatch()

Returns the watch expression of this place.

Returns:
The watch of this place.

setCapacity

function setCapacity(capacity)

Sets the capacity of this place.

Parameters:
capacity - The new capacity value.

setInitialMarking

function setInitialMarking(initialMarking)

Sets the initial marking of this place.

Parameters:
initialMarking - The new initial marking.

setName

function setName(name)

Sets the name of this place object.

Parameters:
name - The new name for this place.

setQueue

function setQueue(queue)

Sets the queue of this place.

Parameters:
queue - The new queue value.

setTokentype

function setTokentype(tokentype)

Sets the Tokentype of this Place.

Parameters:
tokentype - The name of the tokentype to set.

setWatch

function setWatch(watch)

Sets the watch of this place.

Parameters:
watch - The new watch value.

add

<static> function add(net, name, tokentype, capacity, queue, watch, initialMarking)

Adds a new place to the specified net with the given values.

Parameters:
net - The net to add this place to.
name - The name of the place to add.
tokentype - The allowed type of this place.
capacity - The maximum capacity of this place.
queue - The queue type.
watch - The watch string
initialMarking - The initial marking of the place.

Returns:
The newly created Place.

withName

<static> function withName(net, name)

Tries to find the place with the name in the given net.

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

Returns:
The place, if found.