com.google.errorprone.dataflow

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

Enclosing class:

DataFlow

public static interface DataFlow.Result<A extends org.checkerframework.dataflow.analysis.AbstractValue<A>,S extends org.checkerframework.dataflow.analysis.Store<S>,T extends org.checkerframework.dataflow.analysis.TransferFunction<A,S>>

A pair of Analysis and ControlFlowGraph.

Method Summary

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

Method Detail

getAnalysis

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

getControlFlowGraph

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