- java.lang.Object
-
- fr.inria.mochy.core.abstractClass.PlaceAbstract
-
- fr.inria.mochy.core.mochysim.Place
-
public class Place extends PlaceAbstract
A place is set with its name, number and its content : marked or not
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addToken()
add a token in the placeFloat
getContents()
String
getName()
get the name of the placeInteger
getNumber()
get the number of the placevoid
resetPlace()
String
toString()
-
-
-
Method Detail
-
resetPlace
public void resetPlace()
-
getContents
public Float getContents()
-
getName
public String getName()
Description copied from class:PlaceAbstract
get the name of the place- Specified by:
getName
in classPlaceAbstract
-
getNumber
public Integer getNumber()
Description copied from class:PlaceAbstract
get the number of the place- Specified by:
getNumber
in classPlaceAbstract
-
addToken
public void addToken()
Description copied from class:PlaceAbstract
add a token in the place- Specified by:
addToken
in classPlaceAbstract
-
-