disposed method

void disposed()

Called in a State object's dispose() function. Usually call close() function to close the Database. Leave the word 'dispose' to subclasses. gp

Implementation

void disposed() {
  // TODO: implement disposed
}