Class BufferManager.PagePinnedException

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

All Implemented Interfaces:

java.io.Serializable

Enclosing class:

BufferManager

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

See Also:

Serialized Form

Constructor Summary

BufferManager.PagePinnedException()

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.PagePinnedException

public BufferManager.PagePinnedException()