01: /*
02: * Bytecode Analysis Framework
03: * Copyright (C) 2003,2004 University of Maryland
04: *
05: * This library is free software; you can redistribute it and/or
06: * modify it under the terms of the GNU Lesser General Public
07: * License as published by the Free Software Foundation; either
08: * version 2.1 of the License, or (at your option) any later version.
09: *
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.bcp;
21:
22: import org.apache.bcel.generic.ConstantPoolGen;
23: import org.apache.bcel.generic.Instruction;
24: import org.apache.bcel.generic.InstructionHandle;
25: import org.apache.bcel.generic.NEW;
26:
27: import edu.umd.cs.findbugs.ba.DataflowAnalysisException;
28: import edu.umd.cs.findbugs.ba.vna.ValueNumberFrame;
29:
30: /**
31: * A PatternElement which matches NEW instructions and binds the
32: * result to a variable.
33: *
34: * @author David Hovemeyer
35: * @see PatternElement
36: */
37: public class New extends OneVariableInstruction {
38: /**
39: * Constructor.
40: *
41: * @param resultVarName name of the result of the NEW instruction
42: */
43: public New(String resultVarName) {
44: super (resultVarName);
45: }
46:
47: @Override
48: public MatchResult match(InstructionHandle handle,
49: ConstantPoolGen cpg, ValueNumberFrame before,
50: ValueNumberFrame after, BindingSet bindingSet)
51: throws DataflowAnalysisException {
52:
53: Instruction ins = handle.getInstruction();
54: if (!(ins instanceof NEW))
55: return null;
56:
57: LocalVariable result = new LocalVariable(after.getTopValue());
58: return addOrCheckDefinition(result, bindingSet);
59: }
60: }
61:
62: // vim:ts=4
|