edu.umd.cs.findbugs.ba.npe

Class RedundantBranch



  • public class RedundantBranch
    extends Object
    An instruction recorded as a redundant reference comparison. We keep track of the line number, in order to ensure that if the branch was duplicated, all duplicates are determined in the same way. (If they aren't, then we don't report it.)
    • Field Detail

      • location

        public final Location location
      • lineNumber

        public final int lineNumber
      • infeasibleEdge

        public Edge infeasibleEdge
    • Constructor Detail

      • RedundantBranch

        public RedundantBranch(Location location,
                       int lineNumber,
                       IsNullValue firstValue,
                       IsNullValue secondValue)
        Constructor.
        Parameters:
        location - Location of ref comparison
        lineNumber - line number of ref comparison
        firstValue - first value compared
        secondValue - second value compared
      • RedundantBranch

        public RedundantBranch(Location location,
                       int lineNumber,
                       IsNullValue firstValue)
        Constructor.
        Parameters:
        location - Location of ref comparison
        lineNumber - line number of ref comparison
        firstValue - first value compared
    • Method Detail

      • setInfeasibleEdge

        public void setInfeasibleEdge(Edge infeasibleEdge)
        Set the edge which has been determined to be infeasible.
        Parameters:
        infeasibleEdge - The infeasibleEdge to set.

Copyright © 2003–2015. All rights reserved.