public interface PropertiesElement extends JMarkovElement
PropertiesState
,
PropertiesAction
,
PropertiesEvent
Modifier and Type | Method and Description |
---|---|
PropertiesElement |
clone() |
int |
getNumProps()
Returns the number of properties in the array that characterize this
element.
|
int[] |
getProperties()
Gets the array of properties.
|
int |
getProperty(int index)
Gets the value of this property at this index.
|
description, equals, label, toString
int getNumProps()
int[] getProperties()
int getProperty(int index)
index
- PropertiesElement clone()