anchor.diff:  /**
    * An enum of the valid [ResourceChangeEvent] types.
    */
  -class EventType {
  -  final String name;
  -
  -  const EventType._(this.name);
  +class EventType extends Enum<String> {
  +  const EventType._(String value) : super(value);
   
     /**
      * Event type indicates resource has been added to workspace.
  
positive.code: import 'package:logging/logging.dart';
  
  import 'builder.dart';
  import 'jobs.dart';
  import 'preferences.dart';
  import 'utils.dart';
  
negative.code:    * Event type indicates resource has changed.
     */
    static const EventType CHANGE = const EventType._('CHANGE');
  }
  
  /**
  