1 files changed, 20 insertions, 0 deletions
diff --git a/examples/bounded-editor.aup b/examples/bounded-editor.aup
new file mode 100644
index 0000000..d8d1d0d
--- /dev/null
+++ b/examples/bounded-editor.aup
@@ -0,0 +1,20 @@
+# The same editor with an authored size policy: an edit whose result would
+# exceed 8 bytes fails as a whole, and nothing is stored.
+state documents: bytes by key
+
+input show = message by key
+input edit = message by key {
+  start: u32
+  remove: u32
+  insert: bytes
+}
+
+on show {
+  reply documents[key]
+}
+
+on edit {
+  documents[key].replace(edit.start .. edit.start + edit.remove, edit.insert)
+  require documents[key].bytes <= 8
+  reply edit.insert
+}