com.uppaal.model.core2

Class Location

java.lang.Object

com.uppaal.model.core2.Element

com.uppaal.model.core2.Node

com.uppaal.model.core2.AbstractLocation

com.uppaal.model.core2.Location

All Implemented Interfaces:

Serializable, Cloneable

public class Location
extends AbstractLocation

Location models the location part of the state of a timed automaton.

A Location may have labels and attributes modeled as Propertys: "init", "committed", "urgent", "name", "invariant", "exponentialrate", "comments", "color", "x", "y". See Document on how to manipulate locations without editor Commands.

See Also:

Document, Element.getPropertyValue(java.lang.String), Element.hasFlag(java.lang.String), Element.getX(), Element.getY(), Edge, BranchPoint, 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
Location(Element prototype) Creates a location based on a given prototype.

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(Visitor visitor) Accept a visitor.
Element	getPrototypeFromParent(Element parent) Returns the #location property value of the parent argument.
Property	setProperty(String property, Object value) When setting the init property to true, the init property of all other locations in the same template is removed.

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

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, getTemplate, getX, getY, hasFlag, importInto, isPropertyLocal, removeListener, setProperties, setPropertyFromPath

Methods inherited from class java.lang.Object

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

Constructor Detail

Location

public Location(Element prototype)

Creates a location based on a given prototype. Use Template.createLocation() instead and then insert it into the Template.

Parameters:

prototype -

See Also:

Template.createLocation()

Method Detail

accept

public void accept(Visitor visitor)
            throws Exception

Description copied from class: Element

Accept a visitor. This method is specialised in every subclass. Part of the visitor pattern.

Overrides:

accept in class Node

Throws:

Exception

setProperty

public Property setProperty(String property,
                   Object value)

When setting the init property to true, the init property of all other locations in the same template is removed.

Overrides:

setProperty in class Element

getPrototypeFromParent

public Element getPrototypeFromParent(Element parent)

Returns the #location property value of the parent argument.

Overrides:

getPrototypeFromParent in class Element