class SystemProperties extends Property with SystemPropertiesPropertyMetaInformation
- Source
- SystemProperties.scala
- Alphabetic
- By Inheritance
- SystemProperties
- SystemPropertiesPropertyMetaInformation
- Property
- PropertyMetaInformation
- PropertyKind
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Instance Constructors
- new SystemProperties(properties: Map[String, Set[String]])
Type Members
- type Self = SystemProperties
- Definition Classes
- SystemPropertiesPropertyMetaInformation → PropertyMetaInformation
Value Members
- final def asOrderedProperty: OrderedProperty
Returns
thisif this property inherits from OrderedProperty.Returns
thisif this property inherits from OrderedProperty.Used, e.g., by the framework to support debugging analyses.
- Definition Classes
- Property
- final def id: Int
The id uniquely identifies this property's category.
The id uniquely identifies this property's category. All property objects of the same kind have to use the same id which is guaranteed since they share the same
PropertyKey- Definition Classes
- PropertyMetaInformation → PropertyKind
- final def isOrderedProperty: Boolean
Returns
trueif this property inherits from OrderedProperty.Returns
trueif this property inherits from OrderedProperty.- Definition Classes
- Property
- final def key: PropertyKey[SystemProperties]
The key uniquely identifies this property's category.
The key uniquely identifies this property's category. All property objects of the same kind have to use the same key.
In general each
Propertykind is expected to have a companion object that stores the uniquePropertyKey.- Definition Classes
- SystemProperties → PropertyMetaInformation
- val properties: Map[String, Set[String]]