Method addCursor

java/java/de/crupp/upscaledb/Database.java:396–400

Adds a cursor - used by Cursor.java

(Cursor cursor)

   * Adds a cursor - used by Cursor.java
   */
  public synchronized void addCursor(Cursor cursor) {
    if (m_cursor_set == null)
      m_cursor_set = new HashSet<Cursor>();
    m_cursor_set.add(cursor);
  }

  /**
   * Removes a cursor - used by Cursor.java