Package org.processmining.plugins.pnml.elements

Class PnmlName

java.lang.Object

org.processmining.plugins.pnml.base.PnmlElement

org.processmining.plugins.pnml.elements.PnmlAnnotation

org.processmining.plugins.pnml.elements.PnmlName

public class PnmlName
extends PnmlAnnotation

Basic PNML name object.

Author:

hverbeek

Field Summary

Fields

Modifier and Type	Field	Description
static java.lang.String	TAG	PNML name tag.

Fields inherited from class org.processmining.plugins.pnml.elements.PnmlAnnotation

graphics, text, toolSpecificList

Fields inherited from class org.processmining.plugins.pnml.base.PnmlElement

factory, lineNumber, tag

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	PnmlName()	Creates a fresh PNML name.
protected	PnmlName(java.lang.String text)

Method Summary

Modifier and Type	Method	Description
PnmlName	convertFromNet(org.processmining.models.graphbased.AbstractGraphElement element)
protected java.lang.String	getName(java.lang.String defaultName)
protected void	setName(java.lang.String name)

Methods inherited from class org.processmining.plugins.pnml.elements.PnmlAnnotation

convertToNet, convertToNet, exportElements, importElements

Methods inherited from class org.processmining.plugins.pnml.base.PnmlElement

checkValidity, exportAttribute, exportAttributes, exportElement, importAttributes, importElement, importText, setFactory

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

TAG

public static final java.lang.String TAG

PNML name tag.

See Also:

Constant Field Values

Constructor Detail

PnmlName

protected PnmlName()

Creates a fresh PNML name.

PnmlName

protected PnmlName(java.lang.String text)

Method Detail

getName

protected java.lang.String getName(java.lang.String defaultName)

convertFromNet

public PnmlName convertFromNet(org.processmining.models.graphbased.AbstractGraphElement element)

Overrides:

convertFromNet in class PnmlAnnotation

setName

protected void setName(java.lang.String name)