Interface DataFlow.Result<A extends org.checkerframework.shaded.dataflow.analysis.AbstractValue<A>,​S extends org.checkerframework.shaded.dataflow.analysis.Store<S>,​T extends org.checkerframework.shaded.dataflow.analysis.TransferFunction<A,​S>>

Enclosing class:
DataFlow

public static interface DataFlow.Result<A extends org.checkerframework.shaded.dataflow.analysis.AbstractValue<A>,​S extends org.checkerframework.shaded.dataflow.analysis.Store<S>,​T extends org.checkerframework.shaded.dataflow.analysis.TransferFunction<A,​S>>
A pair of Analysis and ControlFlowGraph.
  • Method Summary

    Modifier and Type Method Description
    org.checkerframework.shaded.dataflow.analysis.Analysis<A,​S,​T> getAnalysis()  
    org.checkerframework.shaded.dataflow.cfg.ControlFlowGraph getControlFlowGraph()  
  • Method Details

    • getAnalysis

      org.checkerframework.shaded.dataflow.analysis.Analysis<A,​S,​T> getAnalysis()
    • getControlFlowGraph

      org.checkerframework.shaded.dataflow.cfg.ControlFlowGraph getControlFlowGraph()