class SystemPropertiesAnalysisScheduler extends ReachableMethodAnalysis
- Alphabetic
- By Inheritance
- SystemPropertiesAnalysisScheduler
- ReachableMethodAnalysis
- TypeConsumerAnalysis
- FPCFAnalysis
- ProjectBasedAnalysis
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- type ContextType = cg.TypeIterator.ContextType
- Definition Classes
- TypeConsumerAnalysis
- type PropertyType = cg.TypeIterator.PropertyType
- Definition Classes
- TypeConsumerAnalysis
Value Members
- final def analyze(declaredMethod: DeclaredMethod): PropertyComputationResult
- Definition Classes
- ReachableMethodAnalysis
- final def ch: ClassHierarchy
- Definition Classes
- ProjectBasedAnalysis
- implicit final def classHierarchy: ClassHierarchy
- Definition Classes
- ProjectBasedAnalysis
- def computeProperties(propertyMap: Map[String, Set[String]], params: Seq[Expr[DUVar[ValueInformation]]], stmts: Array[Stmt[DUVar[ValueInformation]]]): Map[String, Set[String]]
- def getPossibleStrings(value: Expr[DUVar[ValueInformation]], stmts: Array[Stmt[DUVar[ValueInformation]]]): Set[String]
- implicit final def logContext: LogContext
- Definition Classes
- ProjectBasedAnalysis
- implicit final def p: SomeProject
- Definition Classes
- ProjectBasedAnalysis
- def processMethod(callContext: ContextType, tacaiEP: EPS[Method, properties.TACAI]): ProperPropertyComputationResult
- Definition Classes
- SystemPropertiesAnalysisScheduler → ReachableMethodAnalysis
- final val project: SomeProject
- Definition Classes
- SystemPropertiesAnalysisScheduler → ProjectBasedAnalysis
- implicit final val propertyStore: PropertyStore
- Definition Classes
- FPCFAnalysis
- final def ps: PropertyStore
- Definition Classes
- FPCFAnalysis
- implicit final val typeIterator: TypeIterator
- Definition Classes
- SystemPropertiesAnalysisScheduler → TypeConsumerAnalysis