DataFlowConfidentialityAnalysis

All Known Implementing Classes:: StandalonePCMDataFlowConfidentialtyAnalysis

public interface DataFlowConfidentialityAnalysis

Method Summary

Modifier and Type

Method

Description

List<ActionSequence>

evaluateDataFlows(List<ActionSequence> sequences)

List<ActionSequence>

findAllSequences()

boolean

initalizeAnalysis()

List<AbstractActionSequenceElement<?>>

queryDataFlow(ActionSequence sequence, Predicate<? super AbstractActionSequenceElement<?>> condition)

Method Details
- initalizeAnalysis
  
  boolean initalizeAnalysis()
- findAllSequences
  
  List<ActionSequence> findAllSequences()
- evaluateDataFlows
  
  List<ActionSequence> evaluateDataFlows(List<ActionSequence> sequences)
- queryDataFlow
  
  List<AbstractActionSequenceElement<?>> queryDataFlow(ActionSequence sequence, Predicate<? super AbstractActionSequenceElement<?>> condition)