From: Rico Tzschichholz <ricotz@ubuntu.com>
Date: Fri, 1 Mar 2019 13:16:14 +0000 (+0100)
Subject: tests: Extent "post-condition" method test to increase coverage
X-Git-Tag: 0.43.92~1
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d1bebfd19662d51fff3a99a16dd6fa66aa73c031;p=thirdparty%2Fvala.git

tests: Extent "post-condition" method test to increase coverage
---

diff --git a/tests/methods/prepostconditions.vala b/tests/methods/prepostconditions.vala
index aeae32a9f..f7c4eaf68 100644
--- a/tests/methods/prepostconditions.vala
+++ b/tests/methods/prepostconditions.vala
@@ -1,5 +1,9 @@
 class Foo {
 	public bool ensured = false;
+	public bool required = false;
+
+	public Foo () requires (required = true) {
+	}
 
 	public void foo () ensures (ensured = true) {
 	}
@@ -7,11 +11,23 @@ class Foo {
 	public string bar () ensures (result.length >= 3) {
 		return "bar";
 	}
+
+	public void foo_pre (int i) requires (i > 23) {
+		assert (i == 42);
+	}
+
+	public int bar_pre (int i) requires (i > 42) {
+		assert (i == 4711);
+		return i;
+	}
 }
 
 void main () {
 	var foo = new Foo();
+	assert(foo.required);
 	foo.foo();
 	assert(foo.ensured);
 	assert(foo.bar () == "bar");
+	foo.foo_pre (42);
+	assert(foo.bar_pre (4711) == 4711);
 }