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.
      private int kind  
      private static int[][] mergeMatrix  
      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
      • kind

        private int kind
      • mergeMatrix

        private static final int[][] mergeMatrix
    • 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