From b651a424f101f1f448c085ac2828757d7b6bb9ab Mon Sep 17 00:00:00 2001
From: Conaclos <victorien.elvinger@gmail.com>
Date: Sun, 20 Jul 2014 19:12:34 +0200
Subject: [PATCH] Adding the new Eiffel example.

---
 demo/kitchen-sink/docs/eiffel.e | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 demo/kitchen-sink/docs/eiffel.e

diff --git a/demo/kitchen-sink/docs/eiffel.e b/demo/kitchen-sink/docs/eiffel.e
new file mode 100644
index 00000000..943cdb35
--- /dev/null
+++ b/demo/kitchen-sink/docs/eiffel.e
@@ -0,0 +1,30 @@
+note
+	description: "Represents a person."
+
+class
+	PERSON
+
+create
+	make, make_unknown
+
+feature {NONE} -- Creation
+
+	make (a_name: like name)
+			-- Create a person with `a_name' as `name'.
+		do
+			name := a_name
+		ensure
+			name = a_name
+		end
+
+	make_unknown
+		do ensure
+			name = Void
+		end
+
+feature -- Access
+
+	name: detachable STRING
+			-- Full name or Void if unknown.
+
+end
\ No newline at end of file