sealed case class VirtualMethodPurity(individualProperty: Purity) extends AggregatedProperty[Purity, VirtualMethodPurity] with VirtualMethodPurityPropertyMetaInformation with Product with Serializable
Describes the aggregated purity for a virtual method.
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- VirtualMethodPurity
- Serializable
- Product
- Equals
- VirtualMethodPurityPropertyMetaInformation
- AggregatedProperty
- AggregatableValueProperty
- Property
- PropertyMetaInformation
- PropertyKind
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- final type Self = VirtualMethodPurity
- Definition Classes
- VirtualMethodPurityPropertyMetaInformation → PropertyMetaInformation
- type self = VirtualMethodPurity
- Definition Classes
- AggregatedProperty → AggregatableValueProperty
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
- val individualProperty: Purity
- Definition Classes
- VirtualMethodPurity → AggregatedProperty
- 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[VirtualMethodPurity]
The globally unique key of the VirtualMethodPurity property.
The globally unique key of the VirtualMethodPurity property.
- Definition Classes
- VirtualMethodPurity → PropertyMetaInformation
- def meet(other: VirtualMethodPurity): VirtualMethodPurity
- Definition Classes
- AggregatedProperty → AggregatableValueProperty
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- def toString(): String
- Definition Classes
- VirtualMethodPurity → AnyRef → Any