From c57f78d7b5f424d2b71b8a114428e93f865082cc Mon Sep 17 00:00:00 2001 From: Rico Tzschichholz Date: Fri, 1 Mar 2019 14:16:14 +0100 Subject: [PATCH] tests: Extent "post-condition" method test to increase coverage --- tests/methods/prepostconditions.vala | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) 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); } -- 2.47.2