diff run/invariant_06.d @ 374:f87ba6507260

added missing meta-data
author thomask
date Thu, 31 Mar 2005 09:01:33 +0000
parents
children 1e6afb94ce6d
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/invariant_06.d	Thu Mar 31 09:01:33 2005 +0000
@@ -0,0 +1,38 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// @author@	Thomas Kuehne <thomas-dloop@kuehne.thisisspam.cn>
+// @date@	2004-10-22
+// @uri@	news:clbr09$uc6$1@digitaldaemon.com
+// @url@	nntp://digitalmars.com/digitalmars.D.bugs/2140
+
+// invariants for Unions allowed since dmd-0.119
+
+module dstress.run.invariant_06;
+
+int status;
+
+union MyUnion{
+	int i;
+	
+	void test(){
+		i++;
+	}	
+	
+	invariant{
+		status++;
+	}
+}
+
+int main(){
+	MyUnion u;
+	assert(status==0);
+	u.test();
+	assert(status==1);
+	u.i=2;
+	assert(status==2);
+	assert(u);
+	assert(status==3);
+	return 0;
+}