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

Field Summary

Fields inherited from class com.uppaal.model.core2.Node

first, next, previous

Fields inherited from class com.uppaal.model.core2.Element

listeners, properties, prototype

Constructor Summary

Constructors

Constructor and Description
AbstractLocation(Element prototype)

Method Summary

Modifier and Type	Method and 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, 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, getY, hasFlag, importInto, isPropertyLocal, removeListener, setCommandManager, setProperties, setProperty, setPropertyFromPath

Methods inherited from class java.lang.Object

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

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