/*
* FindBugs - Find Bugs in Java programs
* Copyright (C) 2006, University of Maryland
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 2.1 of the License, or (at your option) any later version.
*
* This library is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with this library; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
*/
package edu.umd.cs.findbugs.ba.npe2;
import edu.umd.cs.findbugs.ba.DataflowAnalysisException;
import edu.umd.cs.findbugs.ba.Edge;
import edu.umd.cs.findbugs.ba.Location;
import edu.umd.cs.findbugs.ba.vna.ValueNumber;
import edu.umd.cs.findbugs.ba.vna.ValueNumberFrame;
/**
* @author David Hovemeyer
*/
@Deprecated
public class AcmpCondition extends Condition {
public AcmpCondition(Location location) {
super(location);
}
/*
* (non-Javadoc)
*
* @see
* edu.umd.cs.findbugs.ba.npe2.Condition#getDecision(edu.umd.cs.findbugs
* .ba.Edge)
*/
@Override
public Decision getDecision(Edge edge) {
// TODO Auto-generated method stub
return null;
}
/*
* (non-Javadoc)
*
* @see edu.umd.cs.findbugs.ba.npe2.Condition#getValueNumber()
*/
@Override
public ValueNumber getValueNumber() {
// TODO Auto-generated method stub
return null;
}
/*
* (non-Javadoc)
*
* @see
* edu.umd.cs.findbugs.ba.npe2.Condition#refresh(edu.umd.cs.findbugs.ba.
* vna.ValueNumberFrame, edu.umd.cs.findbugs.ba.npe2.DefinitelyNullSet)
*/
@Override
public void refresh(ValueNumberFrame vnaFrame, DefinitelyNullSet definitelyNullSet) throws DataflowAnalysisException {
// // Get top two stack values
// ValueNumber a = vnaFrame.getStackValue(0);
// ValueNumber b = vnaFrame.getStackValue(1);
//
// boolean acmpEqOpcode =
// getLocation().getHandle().getInstruction().getOpcode() ==
// Constants.IF_ACMPEQ;
//
// if (a.equals(b)
// || (definitelyNullSet.isValueNull(a) &&
// definitelyNullSet.isValueNull(b))) {
// // Definitely the same value.
// // We don't learn anything about the nullness,
// // but one of the edges of the branch is
// // infeasible.
//
// ifcmpDecision = new Decision(
// acmpEqOpcode,
// false,
// false
// );
//
// fallThroughDecision = new Decision(
// !acmpEqOpcode,
// false,
// false
// );
//
// return;
// }
}
}