Module fr.inria.MochyCore

Package fr.inria.mochy.core.equalization

Class EquPlace

java.lang.Object

fr.inria.mochy.core.abstractClass.PlaceAbstract

fr.inria.mochy.core.equalization.EquPlace

public class EquPlace
extends PlaceAbstract

The EquPlace is a place which can contains multiple tokens

Constructor Summary

Constructors

Constructor	Description
EquPlace(EquNet net, int number, String name, int distance, boolean startPlace)	instantiate an EquPlace

Method Summary

Modifier and Type	Method	Description
void	addToken()	add a token in the place
void	addToken(Token token)	add a token to this place
int	getDistance()	get the length of this place
String	getName()	get the name of the place
Integer	getNumber()	get the number of the place
EquTransition	getPost()	get the next transition of the place
EquTransition	getPre()	get the previous transition of the place
Token	getReadyToken()	get the token at the end of this place or return null is there are none
ArrayList<Token>	getTokens()	returns the current contents of the place
boolean	isMarked()	True if the place contains some token
boolean	isStartPlace()	check if it place is the origin of the loop
void	setEmpty()	empties the current place
void	setPost(EquTransition t)	set the postset of current place
void	setPre(EquTransition t)	set the next transition of the place
String	toString()	display information of the place in the console

Methods inherited from class java.lang.Object

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

Constructor Detail

EquPlace

public EquPlace(EquNet net,
                int number,
                String name,
                int distance,
                boolean startPlace)

instantiate an EquPlace

Method Detail

getName

public String getName()

Description copied from class: PlaceAbstract

get the name of the place

Specified by:

getName in class PlaceAbstract

getNumber

public Integer getNumber()

Description copied from class: PlaceAbstract

get the number of the place

Specified by:

getNumber in class PlaceAbstract

getPre

public EquTransition getPre()

get the previous transition of the place

getPost

public EquTransition getPost()

get the next transition of the place

setPre

public void setPre(EquTransition t)

set the next transition of the place

Parameters:

t - the EquTransition

setPost

public void setPost(EquTransition t)

set the postset of current place

Parameters:

t - the EquTransition

addToken

public void addToken()

Description copied from class: PlaceAbstract

add a token in the place

Specified by:

addToken in class PlaceAbstract

addToken

public void addToken(Token token)

add a token to this place

setEmpty

public void setEmpty()

empties the current place

getDistance

public int getDistance()

get the length of this place

isStartPlace

public boolean isStartPlace()

check if it place is the origin of the loop

getReadyToken

public Token getReadyToken()

get the token at the end of this place or return null is there are none

getTokens

public ArrayList<Token> getTokens()

returns the current contents of the place

Returns:

isMarked

public boolean isMarked()

True if the place contains some token

Returns:

toString

public String toString()

display information of the place in the console

Overrides:

toString in class Object