public class DefaultPnmlElementFactory
extends java.lang.Object
Constructor and Description |
---|
DefaultPnmlElementFactory() |
Modifier and Type | Method and Description |
---|---|
Pnml |
createPnml() |
PnmlArc |
createPnmlArc() |
PnmlLabel.Input |
createPnmlLabelInput() |
PnmlLabel.Output |
createPnmlLabelOutput() |
PnmlLabel.Sync |
createPnmlLabelSync() |
PnmlName |
createPnmlName() |
PnmlName |
createPnmlName(java.lang.String name) |
PnmlNet |
createPnmlNet() |
PnmlPage |
createPnmlPage() |
PnmlPlace |
createPnmlPlace() |
PnmlReferencePlace |
createPnmlReferencePlace() |
PnmlReferenceTransition |
createPnmlReferenceTransition() |
PnmlText |
createPnmlText() |
PnmlText |
createPnmlText(java.lang.String text) |
PnmlToolSpecific |
createPnmlToolSpecific() |
PnmlTransition |
createPnmlTransition() |
public PnmlReferencePlace createPnmlReferencePlace()
public PnmlNet createPnmlNet()
public PnmlToolSpecific createPnmlToolSpecific()
public PnmlName createPnmlName()
public PnmlName createPnmlName(java.lang.String name)
public PnmlReferenceTransition createPnmlReferenceTransition()
public PnmlTransition createPnmlTransition()
public PnmlPlace createPnmlPlace()
public PnmlArc createPnmlArc()
public Pnml createPnml()
public PnmlText createPnmlText(java.lang.String text)
public PnmlText createPnmlText()
public PnmlLabel.Output createPnmlLabelOutput()
public PnmlLabel.Sync createPnmlLabelSync()
public PnmlLabel.Input createPnmlLabelInput()
public PnmlPage createPnmlPage()