Map<String, dynamic> toJson() { return { 'reader': reader, 'currentState': currentState.toJson(), 'currentInsertionCount': currentInsertionCount, }; }