Constructor Detail

• Resource

  public Resource()

Method Detail

• close

  @DischargesObligation
  public void close()
             throws X extends Exception

  Closes this resource. If this resource has already been closed, then the method returns immediately. Otherwise, the method onBeforeClose() gets called. Upon successful termination, this resource gets marked as closed. Next, the method onAfterClose() gets called.

  Specified by:

  close in interface AutoCloseable

  Throws:

  X - At the discretion of the methods onBeforeClose() and onAfterClose().

  X extends Exception

• isOpen

  public boolean isOpen()

  Returns true if and only if this resource hasn't been closed yet.

• onAfterClose

  protected void onAfterClose()
                       throws X extends Exception

  A hook which gets called by close() unless this resource has already been closed and unless onBeforeClose() throws an exception.

  Throws:

  X - at the discretion of this method. Throwing an exception has no effect on the state of this resource.

  X extends Exception

• onBeforeClose

  protected void onBeforeClose()
                        throws X extends Exception

  A hook which gets called by close() unless this resource has already been closed.

  Throws:

  X - at the discretion of this method. Throwing an exception vetoes the closing of this resource. In this case, the hook may get called again later.

  X extends Exception