Class Net

Object
   |
   +--Net

class Net

Creates a new Net object.

Defined in Net.js

Constructor Detail

Net

function Net(javaObject)

Parameters:
javaObject - The java object to encapsulate.

check

function check()

Checks the net for errors. This version emits all errors and throws an exception afterwards.

check2

function check2()

Checks this net for errors. This version returns an array of errors.

Returns:
An array of errors.

getArcs

function getArcs()

Returns an array of all arcs inside this net.

Returns:
An array of all this net's arcs.

getPlaces

function getPlaces()

Returns an array of all places inside this net.

Returns:
An array of all this net's places.

getTransitions

function getTransitions()

Returns an array of all transitions inside this net.

Returns:
An array of all this net's transitions.

importLib

function importLib(filename)

Imports the library specified by the given filename.

Parameters:
filename - The name of the library file to iport.

toFile

function toFile(filename)

Exports this net to the given file.

Parameters:
filename - The name of the file tpo export to.

Returns:
The result of this operation (true/false)

create

<static> function create()

Creates a new, empty Net.

Returns:
A new Net object.

load

<static> function load(filename)

Loads an existing net.

Parameters:
filename - The filename of the net to load.

Returns:
A net object initialized with the read in net data.