Class ReturnPath

java.lang.Object
edu.umd.cs.findbugs.ba.ReturnPath
public class ReturnPath extends Object

  • Field Details

    • TOP

      public static final int TOP
      Top value.
      See Also:

    • EXIT

      public static final int EXIT
      Method "returns" by exiting the process.
      See Also:

    • UE

      public static final int UE
      Method returns by throwing an unhandled exception.
      See Also:

    • EXIT_UE

      public static final int EXIT_UE
      Method returns either by exiting or throwing an unhandled exception.
      See Also:

    • RETURNS

      public static final int RETURNS
      Method may return normally.
      See Also:

    • kind

      private int kind

    • mergeMatrix

      private static final int[][] mergeMatrix

  • Constructor Details

    • ReturnPath

      public ReturnPath(int kind)

  • Method Details

    • getKind

      public int getKind()

    • setKind

      public void setKind(int kind)

    • copyFrom

      public void copyFrom(ReturnPath other)

    • sameAs

      public boolean sameAs(ReturnPath other)

    • mergeWith

      public void mergeWith(ReturnPath other)

    • toString

      public String toString()
      Overrides:
      toString in class Object