public class Role extends PropertyString
| Constructor and Description |
|---|
Role() |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getDefaultValue()
We want to have a default value for a property s.t., we can reason on it
|
java.lang.Long |
getID() |
java.util.Set<Constructs> |
getMeaningfulTypeConstructs() |
java.lang.String |
getName() |
clone, getGUIProperty, marshall, unmarshallcompare, equals, getDependencies, getIcon, getValueDouble, hashCode, hasOrdering, higherBetter, monotonicity, toStringpublic java.lang.Long getID()
public java.lang.String getName()
public java.lang.String getDefaultValue()
Propertypublic java.util.Set<Constructs> getMeaningfulTypeConstructs()
getMeaningfulTypeConstructs in interface Property<java.lang.String>getMeaningfulTypeConstructs in class HighLevelProperty<java.lang.String>