case class ThrownExceptionsByOverridingMethods(exceptions: TypesSet = BRTypesSet.empty) extends Property with ThrownExceptionsByOverridingMethodsPropertyMetaInformation with Product with Serializable
- Alphabetic
- By Inheritance
- ThrownExceptionsByOverridingMethods
- Serializable
- Product
- Equals
- ThrownExceptionsByOverridingMethodsPropertyMetaInformation
- Property
- PropertyMetaInformation
- PropertyKind
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Instance Constructors
- new ThrownExceptionsByOverridingMethods(exceptions: TypesSet = BRTypesSet.empty)
Type Members
- final type Self = ThrownExceptionsByOverridingMethods
- Definition Classes
- ThrownExceptionsByOverridingMethodsPropertyMetaInformation → 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
- val exceptions: TypesSet
- 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[ThrownExceptionsByOverridingMethods]
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
- ThrownExceptionsByOverridingMethods → PropertyMetaInformation
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- def toString(): String
- Definition Classes
- ThrownExceptionsByOverridingMethods → AnyRef → Any