Package 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
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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, getCommandManager, getDocument, getLocalProperty, getParent, getProperties, getProperty, getPropertyValue, getPrototype, getTemplate, getXMLLabelKinds, getXPath, getXPathTag, getY, hasFlag, importInto, isPropertyLocal, removeListener, setCommandManager, setProperties, setProperty, setPropertyFromPath, setPrototype
-
-
-
-
Field Detail
-
value
protected 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 typeColor
.
-
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 specialized in every subclass. Part of the visitor pattern.
-
getName
public String getName()
Returns the name with which this property is registered in the parent.- Returns:
- The name
-
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 classElement
- Parameters:
parent
- - The parent element- Returns:
- The property element
-
-