Class PNMLGraphics
- java.lang.Object
-
- org.processmining.plugins.pnml.simple.PNMLGraphics
-
public class PNMLGraphics extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description PNMLGraphics()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description PNMLPointgetDimension()PNMLFillgetFill()PNMLPointgetOffset()java.util.List<PNMLPoint>getPosition()voidsetDimension(PNMLPoint dimension)voidsetFill(PNMLFill fill)voidsetOffset(PNMLPoint offset)voidsetPosition(java.util.List<PNMLPoint> position)
-
-
-
Method Detail
-
getPosition
public java.util.List<PNMLPoint> getPosition()
-
setPosition
public void setPosition(java.util.List<PNMLPoint> position)
-
getDimension
public PNMLPoint getDimension()
-
setDimension
public void setDimension(PNMLPoint dimension)
-
getFill
public PNMLFill getFill()
-
setFill
public void setFill(PNMLFill fill)
-
getOffset
public PNMLPoint getOffset()
-
setOffset
public void setOffset(PNMLPoint offset)
-
-