Class ReturnPath


  • public class ReturnPath
    extends java.lang.Object
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static int EXIT
      Method "returns" by exiting the process.
      static int EXIT_UE
      Method returns either by exiting or throwing an unhandled exception.
      static int RETURNS
      Method may return normally.
      static int TOP
      Top value.
      static int UE
      Method returns by throwing an unhandled exception.
    • Constructor Summary

      Constructors 
      Constructor Description
      ReturnPath​(int kind)  
    • Field Detail

      • EXIT

        public static final int EXIT
        Method "returns" by exiting the process.
        See Also:
        Constant Field Values
      • UE

        public static final int UE
        Method returns by throwing an unhandled exception.
        See Also:
        Constant Field Values
      • EXIT_UE

        public static final int EXIT_UE
        Method returns either by exiting or throwing an unhandled exception.
        See Also:
        Constant Field Values
    • Constructor Detail

      • ReturnPath

        public ReturnPath​(int kind)
    • Method Detail

      • 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 java.lang.String toString()
        Overrides:
        toString in class java.lang.Object