From 1c9dc91f0069ee83917e945bdf13a964192bfac0 Mon Sep 17 00:00:00 2001
From: "Adam D. Ruppe" <destructionator@gmail.com>
Date: Thu, 25 Aug 2011 11:44:31 -0400
Subject: [PATCH] some contracts

---
 dom.d | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/dom.d b/dom.d
index 20189f8..db2787c 100644
--- a/dom.d
+++ b/dom.d
@@ -496,7 +496,15 @@ class Element {
 		return e;
 	}
 
-	Element addChild(string tagName, Html innerHtml) {
+	Element addChild(string tagName, Html innerHtml)
+	in {
+		assert(parentDocument !is null);
+	}
+	out(ret) {
+		assert(ret !is null);
+		assert(ret.parentNode is this);
+	}
+	body {
 		auto e = parentDocument.createElement(tagName);
 		this.appendChild(e);
 		e.innerHTML = innerHtml.source;