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

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, getDocument, getLocalProperty, getParent, getProperties, getProperty, getPropertyValue, getPrototype, getPrototypeFromParent, getTemplate, getX, getY, hasFlag, importInto, isPropertyLocal, removeListener, 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)