summaryrefslogtreecommitdiff
path: root/tests/objects/type-narrowing.vala
blob: 47997d141f3080fc5fa7a6c0f215f78d22116e9e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
class Foo {
	public void manam () {
		if (this is Bar) {
			assert (this.str == "bar");
		}
		assert (((this is Bar) ? this.str : "foo") == "bar");

		if (!(this is Bar)) {
			assert_not_reached ();
		} else {
			assert (this.str == "bar");
		}
		assert ((!(this is Bar) ? "foo" : this.str) == "bar");
	}
}

class Bar : Foo {
	public string str;
	public Bar (string s) {
		str = s;
	}
}

class Manam : Bar {
	public Manam (string s) {
		base (s);
	}
}

void manam (Foo foo) {
	if (foo is Bar) {
		assert (foo.str == "bar");
	}
	assert (((foo is Bar) ? foo.str : "foo") == "bar");

	if (!(foo is Bar)) {
		assert_not_reached ();
	} else {
		assert (foo.str == "bar");
	}
	assert ((!(foo is Bar) ? "foo" : foo.str) == "bar");
}

void main() {
	{
		var bar = new Bar ("bar");
		bar.manam ();
		manam (bar);
	}
	{
		Bar bar = new Manam ("manam");
		if (bar is Manam) {
			assert (bar.str == "manam");
			bar = new Bar ("bar");
		}
		assert (bar.str == "bar");
	}
}