object ImpureByAnalysis extends ClassifiedImpure with Product with Serializable
The method needs to be treated as impure for the time being. However, the current analysis is not able to derive a more precise result; no more dependency exist.
- Alphabetic
- By Inheritance
- ImpureByAnalysis
- Serializable
- Serializable
- Product
- Equals
- ClassifiedImpure
- 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
- ClassifiedImpure → 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
- ImpureByAnalysis → 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( ... )
-
val
withoutContextual: ClassifiedImpure
- Definition Classes
- ClassifiedImpure → Purity