@override Map<String, dynamic> toJson() { var json = super.toJson(); json['operation'] = operation.toShortString(); json['value'] = value.toJson(); json['ignoreCase'] = ignoreCase; return json; }