Class BufferManager.PageNotPinnedException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              BufferManager.PageNotPinnedException

All Implemented Interfaces:

java.io.Serializable

Enclosing class:

BufferManager

public static class BufferManager.PageNotPinnedException
extends java.lang.RuntimeException

See Also:

Serialized Form

Constructor Summary

BufferManager.PageNotPinnedException()

Method Summary

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

BufferManager.PageNotPinnedException

public BufferManager.PageNotPinnedException()