changeset 1208:4eda4938c34e

[Issue 482] New: _arguments for variadic not available in precondition Bill Baxter <wbaxter@gmail.com> 2006-11-06 news:bug-482-3@http.d.puremagic.com/issues/
author thomask
date Wed, 08 Nov 2006 15:23:30 +0000
parents 244ab84fc063
children 1fb137179022
files run/i/in_out_body_13_A.d run/i/in_out_body_13_B.d run/i/in_out_body_13_C.d
diffstat 3 files changed, 120 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/i/in_out_body_13_A.d	Wed Nov 08 15:23:30 2006 +0000
@@ -0,0 +1,41 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// @author@	Bill Baxter <wbaxter@gmail.com>
+// @date@	2006-11-06
+// @uri@	news:bug-482-3@http.d.puremagic.com/issues/
+// @desc@	[Issue 482] New: _arguments for variadic not available in precondition
+
+// __DSTRESS_TORTURE_BLOCK__ -release
+
+module dstress.run.i.in_out_body_13_A;
+
+size_t len;
+
+void func(...)
+in {
+	len = _arguments.length;
+}
+body {
+
+}
+
+int main(){
+	func();
+	if(len != 0){
+		assert(0);
+	}
+
+	func(0, 0, 1);
+	if(len != 3){
+		assert(0);
+	}
+
+	func(8);
+	if(len != 1){
+		assert(0);
+	}
+
+	return 0;
+}
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/i/in_out_body_13_B.d	Wed Nov 08 15:23:30 2006 +0000
@@ -0,0 +1,41 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// @author@	Bill Baxter <wbaxter@gmail.com>
+// @date@	2006-11-06
+// @uri@	news:bug-482-3@http.d.puremagic.com/issues/
+// @desc@	[Issue 482] New: _arguments for variadic not available in precondition
+
+// __DSTRESS_TORTURE_BLOCK__ -release
+
+module dstress.run.i.in_out_body_13_B;
+
+size_t len;
+
+void func(...)
+out {
+	len = _arguments.length;
+}
+body {
+
+}
+
+int main(){
+	func();
+	if(len != 0){
+		assert(0);
+	}
+
+	func(0, 0, 1);
+	if(len != 3){
+		assert(0);
+	}
+
+	func(8);
+	if(len != 1){
+		assert(0);
+	}
+
+	return 0;
+}
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/i/in_out_body_13_C.d	Wed Nov 08 15:23:30 2006 +0000
@@ -0,0 +1,38 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// @author@	Bill Baxter <wbaxter@gmail.com>
+// @date@	2006-11-06
+// @uri@	news:bug-482-3@http.d.puremagic.com/issues/
+// @desc@	[Issue 482] New: _arguments for variadic not available in precondition
+
+// __DSTRESS_TORTURE_BLOCK__ -release
+
+module dstress.run.i.in_out_body_13_C;
+
+size_t len;
+
+void func(...)
+body {
+	len = _arguments.length;
+}
+
+int main(){
+	func();
+	if(len != 0){
+		assert(0);
+	}
+
+	func(0, 0, 1);
+	if(len != 3){
+		assert(0);
+	}
+
+	func(8);
+	if(len != 1){
+		assert(0);
+	}
+
+	return 0;
+}