class L0CompileTimeConstancyAnalysis extends FPCFAnalysis
A simple analysis that identifies constant (effectively) final static fields that are deterministically initialized to the same value on every program execution. This analysis just examines the ConstantValue attribute of the field.
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- L0CompileTimeConstancyAnalysis
- FPCFAnalysis
- ProjectBasedAnalysis
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
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
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
final
def
ch: ClassHierarchy
- Definition Classes
- ProjectBasedAnalysis
-
implicit final
def
classHierarchy: ClassHierarchy
- Definition Classes
- ProjectBasedAnalysis
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
def
determineConstancy(field: Field): PropertyComputationResult
Determines the compile-time constancy of the field.
Determines the compile-time constancy of the field.
This function encapsulates the continuation.
-
def
doDetermineConstancy(e: Entity): PropertyComputationResult
Called when the analysis is scheduled lazily.
-
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
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
implicit final
def
logContext: LogContext
- Definition Classes
- ProjectBasedAnalysis
-
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
p: Project[_]
- Definition Classes
- ProjectBasedAnalysis
-
final
val
project: SomeProject
- Definition Classes
- L0CompileTimeConstancyAnalysis → ProjectBasedAnalysis
-
implicit final
val
propertyStore: PropertyStore
- Definition Classes
- FPCFAnalysis
-
final
def
ps: PropertyStore
- Definition Classes
- FPCFAnalysis
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
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( ... )