diff --git a/manager_api_new/lib/model/resource_dto.dart b/manager_api_new/lib/model/resource_dto.dart index 19363fc..11ecd8b 100644 --- a/manager_api_new/lib/model/resource_dto.dart +++ b/manager_api_new/lib/model/resource_dto.dart @@ -18,6 +18,7 @@ class ResourceDTO { this.label, this.url, this.dateCreation, + this.dateUpdate, this.instanceId, this.sizeBytes, }); @@ -44,6 +45,11 @@ class ResourceDTO { /// DateTime? dateCreation; + /// Estampillé par le serveur à chaque SaveChanges. C'est le seul signal de + /// fraîcheur d'une ressource : le filtre incrémental de la visite hors ligne + /// s'en sert pour décider si le fichier déjà présent sur le device est périmé. + DateTime? dateUpdate; + String? instanceId; int? sizeBytes; @@ -100,6 +106,11 @@ class ResourceDTO { } else { json[r'dateCreation'] = null; } + if (this.dateUpdate != null) { + json[r'dateUpdate'] = this.dateUpdate!.toUtc().toIso8601String(); + } else { + json[r'dateUpdate'] = null; + } if (this.instanceId != null) { json[r'instanceId'] = this.instanceId; } else { @@ -137,6 +148,7 @@ class ResourceDTO { label: mapValueOfType(json, r'label'), url: mapValueOfType(json, r'url'), dateCreation: mapDateTime(json, r'dateCreation', r''), + dateUpdate: mapDateTime(json, r'dateUpdate', r''), instanceId: mapValueOfType(json, r'instanceId'), sizeBytes: mapValueOfType(json, r'sizeBytes'), );