KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > edu > umd > cs > findbugs > ba > AbstractDataflow


1 /*
2  * Bytecode analysis framework
3  * Copyright (C) 2005, 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;
21
22 /**
23  * Convenience class for defining Dataflow classes which use a
24  * BasicAbstractDataflowAnalysis subtype. The main functionality is offering
25  * getFact{At,After}Location() methods which forward to the actual
26  * analysis object.
27  *
28  * @see edu.umd.cs.findbugs.ba.Dataflow
29  * @see edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis
30  * @author David Hovemeyer
31  */
32 public class AbstractDataflow<Fact, AnalysisType extends BasicAbstractDataflowAnalysis<Fact>>
33         extends Dataflow<Fact, AnalysisType> {
34
35     /**
36      * Constructor.
37      *
38      * @param cfg CFG of the method on which dfa is performed
39      * @param analysis the dataflow analysis
40      */
41     public AbstractDataflow(CFG cfg, AnalysisType analysis) {
42         super(cfg, analysis);
43     }
44
45     /**
46      * Get dataflow fact at given Location.
47      *
48      * @param location the Location
49      * @return the dataflow fact
50      * @throws DataflowAnalysisException
51      */
52     public Fact getFactAtLocation(Location location) throws DataflowAnalysisException {
53         return getAnalysis().getFactAtLocation(location);
54     }
55     
56     /**
57      * Get dataflow fact after given Location.
58      *
59      * @param location the Location
60      * @return the dataflow fact
61      * @throws DataflowAnalysisException
62      */
63     public Fact getFactAfterLocation(Location location) throws DataflowAnalysisException {
64         return getAnalysis().getFactAfterLocation(location);
65     }
66     
67     /**
68      * Get the fact that is true on the given control edge.
69      *
70      * @param edge the edge
71      * @return the fact that is true on the edge
72      * @throws DataflowAnalysisException
73      */
74     public Fact getFactOnEdge(Edge edge) throws DataflowAnalysisException {
75         return getAnalysis().getFactOnEdge(edge);
76     }
77 }
78
Popular Tags