fr.inria.aoste.kpassa.graph.impl

Class AsynchMGArcImpl

java.lang.Object

fr.inria.aoste.kpassa.graph.impl.AsynchMGArcImpl

All Implemented Interfaces:

AsynchMGArc, Arc, MGArc, NamedObject

Direct Known Subclasses:

KRGArcImpl

public class AsynchMGArcImpl
extends java.lang.Object
implements AsynchMGArc

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(AsynchMGVisitor visitor) For the visitor design pattern
void	accept(DiGraphVisitor visitor) As part of the Visitor pattern
void	accept(MarkedGraphVisitor visitor) For the visitor design pattern
void	addArcListener(ArcListener l) To add an ArcListener on this object.
void	addAsynchMGArcListener(AsynchMGArcListener l)
void	addTokensInPlace(int nbTokens) Add tokens to the marking
void	consume() To consume a token into the place of the arc
MGVertex	getHead() To get the head (destination) of the arc.
Port	getHeadPort() To get the port connecting this arc to head
int	getMarking() Gives the number of token in the arc.
java.lang.String	getName() To get the name of the object
MGVertex	getTail() To get the tail (source) of the arc.
Port	getTailPort() To get the port connecting this arc to Tail
int	getTokenCount() Gives the number of token in the arc.
boolean	isActif() Check whether the arc has a token available to fire the head vertex.
void	produce() To add a token into the place of the arc
void	removeArcListener(ArcListener l) To remove an ArcListener on this object.
void	removeAsynchMGArcListener(AsynchMGArcListener l)
void	removeTokenFromPlace(int nbTokens) Remove tokens to the marking
void	setMarking(int marking) Set the marking.
void	setName(java.lang.String newName) To set the name of the object
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface fr.inria.aoste.kpassa.graph.digraph.Arc

addArcListener, getHeadPort, getTailPort, removeArcListener

Methods inherited from interface fr.inria.aoste.kpassa.util.NamedObject

getName, setName

Method Detail

isActif

public boolean isActif()

Description copied from interface: MGArc

Check whether the arc has a token available to fire the head vertex.

Specified by:

isActif in interface MGArc

getMarking

public int getMarking()

Description copied from interface: AsynchMGArc

Gives the number of token in the arc.

Specified by:

getMarking in interface AsynchMGArc

Returns:

the number of token

setMarking

public void setMarking(int marking)

Description copied from interface: AsynchMGArc

Set the marking.

Specified by:

setMarking in interface AsynchMGArc

addTokensInPlace

public void addTokensInPlace(int nbTokens)

Description copied from interface: AsynchMGArc

Add tokens to the marking

Specified by:

addTokensInPlace in interface AsynchMGArc

Parameters:

nbTokens - the number of token to add.

removeTokenFromPlace

public void removeTokenFromPlace(int nbTokens)

Description copied from interface: AsynchMGArc

Remove tokens to the marking

Specified by:

removeTokenFromPlace in interface AsynchMGArc

Parameters:

nbTokens - the number of token to remove.

getTail

@API
public MGVertex getTail()

Description copied from interface: Arc

To get the tail (source) of the arc.

Specified by:

getTail in interface Arc

Specified by:

getTail in interface MGArc

Returns:

the tail

getHead

@API
public MGVertex getHead()

Description copied from interface: Arc

To get the head (destination) of the arc.

Specified by:

getHead in interface Arc

Specified by:

getHead in interface MGArc

Returns:

the head

addAsynchMGArcListener

public void addAsynchMGArcListener(AsynchMGArcListener l)

Specified by:

addAsynchMGArcListener in interface AsynchMGArc

removeAsynchMGArcListener

public void removeAsynchMGArcListener(AsynchMGArcListener l)

Specified by:

removeAsynchMGArcListener in interface AsynchMGArc

consume

public void consume()

Description copied from interface: MGArc

To consume a token into the place of the arc

Specified by:

consume in interface MGArc

produce

public void produce()

Description copied from interface: MGArc

To add a token into the place of the arc

Specified by:

produce in interface MGArc

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

accept

public void accept(DiGraphVisitor visitor)

Description copied from interface: Arc

As part of the Visitor pattern

Specified by:

accept in interface Arc

Parameters:

visitor - the visitor

accept

public void accept(MarkedGraphVisitor visitor)

Description copied from interface: MGArc

For the visitor design pattern

Specified by:

accept in interface MGArc

accept

public void accept(AsynchMGVisitor visitor)

Description copied from interface: AsynchMGArc

For the visitor design pattern

Specified by:

accept in interface AsynchMGArc

Parameters:

visitor - the visitor

getTokenCount

public int getTokenCount()

Description copied from interface: MGArc

Gives the number of token in the arc.

Specified by:

getTokenCount in interface MGArc

Returns:

the number of token

getName

@API
public java.lang.String getName()

Description copied from interface: NamedObject

To get the name of the object

Specified by:

getName in interface NamedObject

Returns:

the name

setName

@API
public void setName(java.lang.String newName)

Description copied from interface: NamedObject

To set the name of the object

Specified by:

setName in interface NamedObject

addArcListener

public void addArcListener(ArcListener l)

Description copied from interface: Arc

To add an ArcListener on this object.

Specified by:

addArcListener in interface Arc

Parameters:

l - the listener to add

removeArcListener

public void removeArcListener(ArcListener l)

Description copied from interface: Arc

To remove an ArcListener on this object.

Specified by:

removeArcListener in interface Arc

Parameters:

l - the listener to remove

getTailPort

public Port getTailPort()

Description copied from interface: Arc

To get the port connecting this arc to Tail

Specified by:

getTailPort in interface Arc

getHeadPort

public Port getHeadPort()

Description copied from interface: Arc

To get the port connecting this arc to head

Specified by:

getHeadPort in interface Arc