Class SavePoint


  • class SavePoint
    extends java.lang.Object
    • Field Detail

      • name

        private final java.lang.String name
      • kindOfSavepoint

        private java.lang.Object kindOfSavepoint
    • Constructor Detail

      • SavePoint

        SavePoint​(java.lang.String name,
                  java.lang.Object kindOfSavepoint)
    • Method Detail

      • setSavePoint

        void setSavePoint​(LogInstant savePoint)
      • getName

        java.lang.String getName()
      • isThisUserDefinedsavepoint

        boolean isThisUserDefinedsavepoint()
      • getKindOfSavepoint

        java.lang.Object getKindOfSavepoint()