com.uppaal.model.core2

Class Property

java.lang.Object

com.uppaal.model.core2.Element

com.uppaal.model.core2.Property

All Implemented Interfaces:

Serializable, Cloneable

public class Property
extends Element

A property is a special kind of element. Like any element it can have listeners and properties. The value of a property is an object. This can be a string, an integer, even a font or color. The value of a property cannot be set directly. This needs to be done in the parent of the property.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected Object	value

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

listeners, properties, prototype

Constructor Summary

Constructors

Constructor and Description
Property(Element parent, Element prototype, Object value)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(Visitor visitor) Accept a visitor.
Color	getColor() Returns the value of the color property.
Font	getFont()
String	getName() Returns the name with which this property is registered in the parent.
Element	getPrototypeFromParent(Element parent) Returns the value of the parent's protype's property given by getName() or null if the parent does not have a prototype.
Object	getValue()
int	getX() Returns the value of the x property.
boolean	isVisible()

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

acceptSafe, addListener, clone, getDocument, getLocalProperty, getParent, getProperties, getProperty, getPropertyValue, getPrototype, getTemplate, getY, hasFlag, importInto, isPropertyLocal, removeListener, setProperties, setProperty, setPropertyFromPath, setPrototype

Methods inherited from class java.lang.Object

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

Field Detail

value

protected Object value

Constructor Detail

Property

public Property(Element parent,
        Element prototype,
        Object value)

Method Detail

getValue

public Object getValue()

getColor

public Color getColor()

Description copied from class: Element

Returns the value of the color property. The value of the color property must be of type Color.

Overrides:

getColor in class Element

getFont

public Font getFont()

isVisible

public boolean isVisible()

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 Element

Throws:

Exception

getName

public String getName()

Returns the name with which this property is registered in the parent.

getPrototypeFromParent

public Element getPrototypeFromParent(Element parent)

Returns the value of the parent's protype's property given by getName() or null if the parent does not have a prototype.

Overrides:

getPrototypeFromParent in class Element

getX

public int getX()

Description copied from class: Element

Returns the value of the x property. The value of the x property must be of type Integer.

Overrides:

getX in class Element