changeset 384:168e5120626f

multiple invariants in one struct/union/class
author thomask
date Mon, 04 Apr 2005 17:57:41 +0000
parents 23e3c52afce6
children fc1729579e82
files nocompile/invariant_26.d nocompile/invariant_29.d nocompile/invariant_30.d nocompile/invariant_31.d
diffstat 4 files changed, 68 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/nocompile/invariant_26.d	Mon Apr 04 17:57:41 2005 +0000
@@ -0,0 +1,20 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// __DSTRESS_ELINE__ 18
+
+module dstress.nocompile.invariant_26;
+
+class MyClass{
+	public void bug(){
+	}
+
+	private void middle(){
+		bug();
+	}
+
+	invariant{
+		middle();
+	}
+}
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/nocompile/invariant_29.d	Mon Apr 04 17:57:41 2005 +0000
@@ -0,0 +1,16 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// __DSTRESS_ELINE__ 13
+
+module dstress.nocompile.invariant_29;
+
+class MyClass{
+	invariant{
+	}
+
+	invariant{
+	}
+}
+
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/nocompile/invariant_30.d	Mon Apr 04 17:57:41 2005 +0000
@@ -0,0 +1,16 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// __DSTRESS_ELINE__ 13
+
+module dstress.nocompile.invariant_30;
+
+struct MyStruct{
+	invariant{
+	}
+
+	invariant{
+	}
+}
+
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/nocompile/invariant_31.d	Mon Apr 04 17:57:41 2005 +0000
@@ -0,0 +1,16 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// __DSTRESS_ELINE__ 13
+
+module dstress.nocompile.invariant_31;
+
+union MyUnion{
+	invariant{
+	}
+
+	invariant{
+	}
+}
+