getModificationTimes method

  1. @Deprecated('Not used by clients')
  2. @override
Future<List<int>> getModificationTimes(
  1. List<Source> sources
)
override

Complete with a list of modification times for the given sources.

If the file of a source is not managed by this provider, return null. If the file a source does not exist, return -1.

Implementation

@Deprecated('Not used by clients')
@override
Future<List<int>> getModificationTimes(List<Source> sources) async {
  return sources.map((source) {
    String path = source.fullName;
    return _overlays[path]?.modificationStamp ??
        baseProvider.getFile(path).modificationStamp;
  }).toList();
}