IsNullValueDataflow


1   /*
2    * Bytecode Analysis Framework
3    * Copyright (C) 2003,2004 University of Maryland
4    * 
5    * This library is free software; you can redistribute it and/or
6    * modify it under the terms of the GNU Lesser General Public
7    * License as published by the Free Software Foundation; either
8    * version 2.1 of the License, or (at your option) any later version.
9    * 
10   * This library is distributed in the hope that it will be useful,
11   * but WITHOUT ANY WARRANTY; without even the implied warranty of
12   * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
13   * Lesser General Public License for more details.
14   * 
15   * You should have received a copy of the GNU Lesser General Public
16   * License along with this library; if not, write to the Free Software
17   * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
18   */
19  
20  package edu.umd.cs.findbugs.ba.npe;
21  
22  import edu.umd.cs.findbugs.ba.AbstractDataflow;
23  import edu.umd.cs.findbugs.ba.CFG;
24  import edu.umd.cs.findbugs.ba.DataflowAnalysisException;
25  import edu.umd.cs.findbugs.ba.Location;
26  
27  public class IsNullValueDataflow extends AbstractDataflow<IsNullValueFrame, IsNullValueAnalysis> {
28      public IsNullValueDataflow(CFG cfg, IsNullValueAnalysis analysis) {
29          super(cfg, analysis);
30      }
31  
32      @Override  
33      public IsNullValueFrame getFactAtLocation(Location loc) throws DataflowAnalysisException {
34          return getAnalysis().getFactAtLocation(loc);
35      }
36  }
37  
38  // vim:ts=4
39

A to Z: JavaDoc & Examples Daily Java News & Articles Open Source Projects Open Source Codes Free Computer Books Remove Frame

Popular Tags