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.
Author:
konne@google.com (Konstantin Weitz)

  • Method Summary

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

  • Method Details

    • getAnalysis

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

    • getControlFlowGraph

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