object DSideEffectFree extends Purity with Product with Serializable
The respective method may perform actions that are generally considered impure that some clients may wish to treat as pure. Otherwise it is side-effect free.
- See also
Purity for further details regarding the purity levels.
- Alphabetic
- By Inheritance
- DSideEffectFree
- Serializable
- Serializable
- Product
- Equals
- Purity
- PurityPropertyMetaInformation
- IndividualProperty
- AggregatableValueProperty
- Property
- PropertyMetaInformation
- PropertyKind
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
final
type
Self = Purity
- Definition Classes
- PurityPropertyMetaInformation → PropertyMetaInformation
-
type
self = Purity
- Definition Classes
- IndividualProperty → AggregatableValueProperty
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
val
aggregatedProperty: VirtualMethodPurity
- Definition Classes
- Purity → IndividualProperty
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
final
def
asOrderedProperty: OrderedProperty
- Definition Classes
- Property
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
val
flags: Int
- Definition Classes
- DSideEffectFree → Purity
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
id: Int
- Definition Classes
- PropertyMetaInformation → PropertyKind
-
def
isCompileTimePure: Boolean
- Definition Classes
- Purity
-
def
isDeterministic: Boolean
- Definition Classes
- Purity
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
isOrderedProperty: Boolean
- Definition Classes
- Property
-
final
def
key: PropertyKey[Purity]
The globally unique key of the Purity property.
-
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
- Purity → AggregatableValueProperty
-
val
modifiedParams: IntTrieSet
- Definition Classes
- Purity
-
def
modifiesParameters: Boolean
- Definition Classes
- Purity
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
usesDomainSpecificActions: Boolean
- Definition Classes
- Purity
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
def
withoutContextual: Purity
- Definition Classes
- Purity