copyWith method

AnnotatedAnnotations copyWith({
  1. List<Role>? audience,
  2. num? priority,
})

A copy with the given properties replaced; everything else, unknown keys included, is kept.

Implementation

AnnotatedAnnotations copyWith({
  List<Role>? audience,
  num? priority,
}) =>
    AnnotatedAnnotations.fromJson({
      ...toJson(),
      if (audience != null) 'audience': $encode(audience),
      if (priority != null) 'priority': $encode(priority),
    });