diff run/invariant_19.d @ 270:eaaf448a9ab4

class invariant and non-public class member functions Dave <Dave_member@pathlink.com> 2005-02-05 news:cu30gc$29cb$1@digitaldaemon.com
author thomask
date Sun, 06 Feb 2005 11:14:51 +0000
parents
children 1e6afb94ce6d
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/invariant_19.d	Sun Feb 06 11:14:51 2005 +0000
@@ -0,0 +1,28 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// @author@	Dave <Dave_member@pathlink.com>
+// @date@	2005-02-05
+// @uri@	news:cu30gc$29cb$1@digitaldaemon.com
+
+module dstress.run.invariant_19;
+
+class MyClass{
+
+	this(){
+	}
+
+	private int g() { 
+		return 1;
+	}
+
+	invariant{
+		assert(g()==1);
+	}
+}
+
+int main(){
+	MyClass c = new MyClass();
+	return 0;
+}