Interface PnmlElementFactory
-
- All Known Implementing Classes:
FullPnmlElementFactory
public interface PnmlElementFactory
-
-
Method Summary
-
-
-
Method Detail
-
createPnmlModule
PnmlModule createPnmlModule()
-
createPnmlNet
PnmlNet createPnmlNet()
-
createPnmlAnnotationGraphics
PnmlAnnotationGraphics createPnmlAnnotationGraphics()
-
createPnmlArcGraphics
PnmlArcGraphics createPnmlArcGraphics()
-
createPnmlInscription
PnmlInscription createPnmlInscription()
-
createPnmlArcType
PnmlArcType createPnmlArcType(java.lang.String tag)
-
createPnmlToolSpecific
PnmlToolSpecific createPnmlToolSpecific()
-
createPnmlName
PnmlName createPnmlName()
-
createPnmlName
PnmlName createPnmlName(java.lang.String name)
-
createPnmlReferenceTransition
PnmlReferenceTransition createPnmlReferenceTransition()
-
createPnmlTransition
PnmlTransition createPnmlTransition()
-
createPnmlPlace
PnmlPlace createPnmlPlace()
-
createPnmlArc
PnmlArc createPnmlArc()
-
createPnmlLabelConnectionSync
PnmlLabelConnection.Sync createPnmlLabelConnectionSync()
-
createPnmlLabelConnectionSend
PnmlLabelConnection.Send createPnmlLabelConnectionSend()
-
createPnmlLabelConnectionReceive
PnmlLabelConnection.Receive createPnmlLabelConnectionReceive()
-
createPnmlText
PnmlText createPnmlText(java.lang.String text)
-
createPnmlText
PnmlText createPnmlText()
-
createPnmlGroup
PnmlGroup createPnmlGroup()
-
createPnmlParameter
PnmlParameter createPnmlParameter()
-
createPnmlFeature
PnmlFeature createPnmlFeature()
-
createPnmlMarkedPlace
PnmlMarkedPlace createPnmlMarkedPlace()
-
createPnmlPorts
PnmlPorts createPnmlPorts()
-
createPnmlLabelInput
PnmlLabel.Input createPnmlLabelInput()
-
createPnmlLabelOutput
PnmlLabel.Output createPnmlLabelOutput()
-
createPnmlLabelSync
PnmlLabel.Sync createPnmlLabelSync()
-
createPnmlPosition
PnmlPosition createPnmlPosition()
-
createPnmlPage
PnmlPage createPnmlPage()
-
createPnmlReferencePlace
PnmlReferencePlace createPnmlReferencePlace()
-
createPnmlFinalMarkings
PnmlFinalMarkings createPnmlFinalMarkings()
-
createPnmlPort
PnmlPort createPnmlPort()
-
createPnmlConfiguration
PnmlConfiguration createPnmlConfiguration()
-
createPnmlInitialMarking
PnmlInitialMarking createPnmlInitialMarking()
-
createPnmlNodeGraphics
PnmlNodeGraphics createPnmlNodeGraphics()
-
createPnmlFinalMarking
PnmlFinalMarking createPnmlFinalMarking()
-
createPnmlDimension
PnmlDimension createPnmlDimension()
-
createPnmlFill
PnmlFill createPnmlFill()
-
createPnmlLine
PnmlLine createPnmlLine()
-
createPnmlOffset
PnmlOffset createPnmlOffset()
-
createPnmlFont
PnmlFont createPnmlFont()
-
createPnmlOffset
PnmlOffset createPnmlOffset(double x, double y)
-
-