Package com.uppaal.model.core2
Class AbstractLocation
- java.lang.Object
-
- com.uppaal.model.core2.Element
-
- com.uppaal.model.core2.Node
-
- com.uppaal.model.core2.AbstractLocation
-
- All Implemented Interfaces:
Serializable
,Cloneable
- Direct Known Subclasses:
BranchPoint
,Location
public abstract class AbstractLocation extends Node
Common "interface" for Location and BranchPoint, to let Edge use either as endpoint. Implemented as class to inherit from Node.- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description AbstractLocation(Element prototype)
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description abstract String
getName()
Constructs a human-friendly name of this location.-
Methods inherited from class com.uppaal.model.core2.Node
accept, clone, getFirst, getLast, getNext, getPrevious, getXPathTag, insert, move, remove, setPrototype
-
Methods inherited from class com.uppaal.model.core2.Element
acceptSafe, addListener, getColor, getCommandManager, getDocument, getLocalProperty, getParent, getProperties, getProperty, getPropertyValue, getPrototype, getPrototypeFromParent, getTemplate, getX, getXMLLabelKinds, getXPath, getY, hasFlag, importInto, isPropertyLocal, removeListener, setCommandManager, setProperties, setProperty, setPropertyFromPath
-
-
-
-
Constructor Detail
-
AbstractLocation
public AbstractLocation(Element prototype)
-
-
Method Detail
-
getName
public abstract String getName()
Constructs a human-friendly name of this location. Basically it is the value of the "name" property, except that it will give a unicode symbol in case it is anonymous.- Returns:
- the "name" property
-
-