getModificationTimes method
- @Deprecated('Not used by clients')
- @override
- 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;
var file = getFile(path);
try {
return file.modificationStamp;
} on FileSystemException {
return -1;
}
}).toList();
}