case object UsesConstantDataOnly extends StaticDataUsage with NoVaryingDataUse with Product with Serializable
The method uses static data that is compile-time constant only.
- Source
- StaticDataUsage.scala
- Alphabetic
- By Inheritance
- UsesConstantDataOnly
- Serializable
- Product
- Equals
- NoVaryingDataUse
- StaticDataUsage
- StaticDataUsagePropertyMetaInformation
- IndividualProperty
- AggregatableValueProperty
- OrderedProperty
- Property
- PropertyMetaInformation
- PropertyKind
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- final type Self = StaticDataUsage
- Definition Classes
- StaticDataUsagePropertyMetaInformation → PropertyMetaInformation
- type self = StaticDataUsage
- Definition Classes
- IndividualProperty → AggregatableValueProperty
Value Members
- final val aggregatedProperty: VirtualMethodStaticDataUsage
- Definition Classes
- StaticDataUsage → IndividualProperty
- 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
- def bottomness: Int
Returns a value between zero and 9 which describes how close the value is to its absolute bottom.
Returns a value between zero and 9 which describes how close the value is to its absolute bottom. Zero means the value is very close to the bottom and 9 means the value is far away from the bottom.
The default value is "5".
- Definition Classes
- OrderedProperty
- def checkIsEqualOrBetterThan(e: Entity, other: StaticDataUsage): Unit
Tests if this property is equal or better than the given one (better means that the value is above the given value in the underlying lattice.)
Tests if this property is equal or better than the given one (better means that the value is above the given value in the underlying lattice.)
- Definition Classes
- UsesConstantDataOnly → OrderedProperty
- 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[StaticDataUsage]
The globally unique key of the StaticDataUsage property.
The globally unique key of the StaticDataUsage property.
- Definition Classes
- StaticDataUsage → PropertyMetaInformation
- def meet(other: StaticDataUsage): StaticDataUsage
- Definition Classes
- UsesConstantDataOnly → AggregatableValueProperty
- def productElementName(n: Int): String
- Definition Classes
- Product
- def productElementNames: Iterator[String]
- Definition Classes
- Product