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

Enclosing class:
DataFlow

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

    Modifier and Type
    Method
    Description
    org.checkerframework.errorprone.dataflow.analysis.Analysis<A,S,T>
     
    org.checkerframework.errorprone.dataflow.cfg.ControlFlowGraph
     
  • Method Details

    • getAnalysis

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

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