From 1f8fbbc7a6e95d57674105663a7cc25f7de6853e Mon Sep 17 00:00:00 2001 From: akwizgran Date: Tue, 14 Apr 2015 10:02:13 +0000 Subject: [PATCH] akwizgran created page: ForumApp --- MessagingApp.markdown | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) diff --git a/MessagingApp.markdown b/MessagingApp.markdown index b0243e4..531ce8b 100644 --- a/MessagingApp.markdown +++ b/MessagingApp.markdown @@ -11,20 +11,19 @@ MessagingApp has a single channel with the following random identifier: **1: ATTACHMENT** - The content is raw data. -### Validation +### Validity policy -* A PRIVATE_MESSAGE is valid if it is well-formed. -* An ATTACHMENT is valid if it is referenced by a valid PRIVATE_MESSAGE. +* A private message is valid if it is well-formed. +* An attachment is always valid. -Note that a PRIVATE_MESSAGE can be validated before its attachments have been received. +Note that a private message can be validated before its attachments have been received, and an attachment can be validated before it has been completely received. ### Storage policy -* All valid local messages are stored. -* All valid remote messages are stored. -* An ATTACHMENT that is not referenced by a valid PRIVATE_MESSAGE may be garbage-collected. +* All local messages are stored. +* All remote messages are stored. ### Sharing policy -* A valid local message is shared with one remote device. +* Each local message is shared with one remote device. * Remote messages are not shared with other remote devices.