- java.lang.Object
-
- fr.inria.mochy.core.dom.PlaceDom
-
public class PlaceDom extends Object
Used to contain informations of a Place object and display it to the user interface.
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description javafx.beans.property.BooleanProperty
controlProperty()
String
getContent()
String
getName()
String
getNumber()
ArrayList<Token>
getTokens()
ArrayList<Trajectory>
getTrajectories()
boolean
isControl()
void
setContent(String content)
void
setControl(boolean value)
void
setName(String name)
void
setNumber(String number)
void
setTokens(ArrayList<Token> tokens)
void
setTrajectories(ArrayList<Trajectory> trajectories)
-
-
-
Method Detail
-
getName
public String getName()
-
setName
public void setName(String name)
-
getContent
public String getContent()
-
setContent
public void setContent(String content)
-
getNumber
public String getNumber()
-
setNumber
public void setNumber(String number)
-
controlProperty
public javafx.beans.property.BooleanProperty controlProperty()
-
isControl
public boolean isControl()
-
setControl
public void setControl(boolean value)
-
getTrajectories
public ArrayList<Trajectory> getTrajectories()
-
setTrajectories
public void setTrajectories(ArrayList<Trajectory> trajectories)
-
-