case class ContextuallySideEffectFree(modifiedParams: IntTrieSet) extends Purity with Product with Serializable
The respective method may modify its parameters, but otherwise it is side-effect free, i.e. it does not have side effects but its results may still be non-deterministic.
A method calling a ConteuxtuallySideEffectFree method can be SideEffectFree if the parameters
of the call are confined inside that method.
- Source
- Purity.scala
- See also
Purity for further details regarding the purity levels.
- Alphabetic
- By Inheritance
- ContextuallySideEffectFree
- Serializable
- Product
- Equals
- Purity
- PurityPropertyMetaInformation
- IndividualProperty
- AggregatableValueProperty
- Property
- PropertyMetaInformation
- PropertyKind
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Instance Constructors
- new ContextuallySideEffectFree(modifiedParams: IntTrieSet)
Type Members
- final type Self = Purity
- Definition Classes
- PurityPropertyMetaInformation → PropertyMetaInformation
- type self = Purity
- Definition Classes
- IndividualProperty → AggregatableValueProperty
Value Members
- final def aggregatedProperty: VirtualMethodPurity
- Definition Classes
- Purity → 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
- final val flags: Int(11)
- Definition Classes
- ContextuallySideEffectFree → Purity
- 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
- def isCompileTimePure: Boolean
- Definition Classes
- Purity
- def isDeterministic: Boolean
- Definition Classes
- Purity
- 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[Purity]
The globally unique key of the Purity property.
The globally unique key of the Purity property.
- Definition Classes
- Purity → PropertyMetaInformation
- def meet(other: Purity): Purity
Combines this purity value with another one to represent the progress by a purity analysis in one phase.
Combines this purity value with another one to represent the progress by a purity analysis in one phase. Conditional as well as unconditional values are combined to the purity level that expresses a weaker purity, thereby incorporating the effect of counter-examples to a stronger purity. Thus, the result of this operation is used to represent a (potentially conditional) upper bound on the possible final result of the purity analysis that performs this operation. If one of the combined purity values is conditional and the other is not, the result will be the same as if the conditional purity value was combined with the conditional value that corresponds to the unconditional value.
- Definition Classes
- ContextuallySideEffectFree → Purity → AggregatableValueProperty
- val modifiedParams: IntTrieSet
- Definition Classes
- ContextuallySideEffectFree → Purity
- def modifiesParameters: Boolean
- Definition Classes
- Purity
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- def usesDomainSpecificActions: Boolean
- Definition Classes
- Purity
- def withoutContextual: Purity
- Definition Classes
- Purity