Написание абстрактных классов при использовании Freezed

Я не могу понять, как заставить абстрактные классы и их подклассы правильно работать с Freezed. В частности, мне нужно определить абстрактный суперкласс с некоторыми геттерами для переопределения; подклассы должны будут переопределить геттеры, используя заморозку для генерации своего шаблонного кода.

Я понимаю, что предлагает документация, но мне нужно больше.

Я создал репозиторий , чтобы показать, что мне нужно, на случай, если вы захотите перейти к делу. Все, что мне нужно, это эти тесты, чтобы пройти и работать как задумано.

Мне нужен чистый, читаемый и удобный способ сделать это.

Сценарий

В репозитории вы найдете небольшой репродукционный футляр:

• Base абстрактный класс;
• Класс A, который расширяет класс Base (я хотел все упростить, но в моем реальном случае использования есть больше подклассов, скажем X, Y, Z и т. д.);
• A необходимо реализовать с помощью Freezed, с сериализацией/десериализацией JSON;

Резюме: Base существует, чтобы написать точки соприкосновения между A, X, Y и Z; как упоминалось выше, Freezed является обязательным для этих подклассов.

Цель

Моя цель — использовать композицию.

Пусть класс B имеет Base get myValue геттер с Freezed. Неудивительно, что я хочу взаимодействовать с этим значением, обращаясь к его методу copyWith (или другим, например toJson), но это довольно быстро усложняется (см. проблему 1).

Снова прочитайте тесты на желаемый результат.

Проблема 1

Реализация того, что я описал выше, хотя и имеет смысл, непростая задача (насколько я понимаю).

Например, следующее:

abstract class Base {
  const Base();

  Function copyWith();
  Map<String, dynamic> toJson();

  String get id;
}

не будет работать, потому что подклассы будут чувствовать двусмысленность в отношении того, какой метод суперкласса использовать (ошибка здесь): должен ли он использовать тот, который сгенерирован @freezed, или абстрактный? Это ошибка времени компиляции.

Я понятия не имею, как правильно написать контракт, используя Freezed.

Проблема 2

Сначала build_runner справедливо жалуется, что не может сгенерировать метод fromJson в B, потому что у Base нет метода @JsonSerializable.

Это подразумевало бы реализацию конвертера вручную: я так и сделал, но это быстро устаревает. Это подразумевает переписывание преобразователя для каждого нового созданного подкласса и создание исключения для подкласса, который еще не обрабатывается (это сильный запах кода).

Такое зверство находится в этом файле.

Как можно достичь этого чистым способом?