1 19 package edu.umd.cs.findbugs.ba.constant; 20 21 import edu.umd.cs.findbugs.ba.CFG; 22 import edu.umd.cs.findbugs.ba.Dataflow; 23 import edu.umd.cs.findbugs.ba.DataflowAnalysisException; 24 import edu.umd.cs.findbugs.ba.Location; 25 26 33 public class ConstantDataflow extends Dataflow<ConstantFrame, ConstantAnalysis> { 34 public ConstantDataflow(CFG cfg, ConstantAnalysis analysis) { 35 super(cfg, analysis); 36 } 37 38 public ConstantFrame getFactAtLocation(Location location) throws DataflowAnalysisException { 39 return getAnalysis().getFactAtLocation(location); 40 } 41 42 public ConstantFrame getFactAfterLocation(Location location) throws DataflowAnalysisException { 43 return getAnalysis().getFactAfterLocation(location); 44 } 45 } 46 | Popular Tags |