changeset 271:e9ef8eec28b1

invariant and ctor Thomas Kuehne <thomas-dloop@kuehne.THISISSPAM.cn> 2005-02-06 news:vlbhd2-1n2.ln1@lnews.kuehne.cn
author thomask
date Sun, 06 Feb 2005 11:29:02 +0000
parents eaaf448a9ab4
children 2f12017c3af9
files run/invariant_23.d run/invariant_24.d
diffstat 2 files changed, 52 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/invariant_23.d	Sun Feb 06 11:29:02 2005 +0000
@@ -0,0 +1,24 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// @author@	Thomas Kuehne <thomas-dloop@kuehne.THISISSPAM.cn>
+// @date@	2005-02-06
+// @uri@	news:vlbhd2-1n2.ln1@lnews.kuehne.cn
+
+module dstress.run.invariant_23;
+
+class MyClass{
+	invariant{
+		assert(0);
+	}
+}
+
+int main(){
+	try{
+		MyClass c = new MyClass();
+	}catch{
+		return 0;
+	}
+	assert(0);
+}
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/invariant_24.d	Sun Feb 06 11:29:02 2005 +0000
@@ -0,0 +1,28 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// @author@	Thomas Kuehne <thomas-dloop@kuehne.THISISSPAM.cn>
+// @date@	2005-02-06
+// @uri@	news:vlbhd2-1n2.ln1@lnews.kuehne.cn
+
+module dstress.run.invariant_24;
+
+class MyClass{
+
+	this(){
+	}
+
+	invariant{
+		assert(0);
+	}
+}
+
+int main(){
+	try{
+		MyClass c = new MyClass();
+	}catch{
+		return 0;
+	}
+	assert(0);
+}