fr.lip6.move.pnml.ptnet.tools

Class Tools

java.lang.Object

fr.lip6.move.pnml.ptnet.tools.Tools

public class Tools
extends Object

Constructor Summary

Constructors

Constructor and Description
Tools()

Method Summary

Modifier and Type	Method and Description
static boolean	circularElement(RefPlaceHLAPI rp) Test if a refplace is member of a circular cycle.
static boolean	circularElement(RefTransitionHLAPI rt) Test if a refplace is member of a circular cycle.
static void	fuseDocuments(String WsId1, String WsId2) Fuse documents of two given workspace in one.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Tools

public Tools()

Method Detail

circularElement

public static boolean circularElement(RefPlaceHLAPI rp)

Test if a refplace is member of a circular cycle.

Parameters:

rp - the ref place to test

Returns:

true if there is no circular cycle, false either

circularElement

public static boolean circularElement(RefTransitionHLAPI rt)

Test if a refplace is member of a circular cycle.

Parameters:

rt - the ref place to test

Returns:

true if there is no circular cycle, false either

fuseDocuments

public static void fuseDocuments(String WsId1,
                                 String WsId2)
                          throws InvalidIDException,
                                 VoidRepositoryException,
                                 OtherException

Fuse documents of two given workspace in one. All net of second document will now belong in first one.

Parameters:

WsId1 - id of first Document Workspace

WsId2 - id of second Document Workspace

Throws:

InvalidIDException - if an unexisting workspace is given or if duplicated id exists between the two workspaces

VoidRepositoryException - if Model repository has not been initializated.

OtherException - if a problem occure with classes