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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
|
using System;
namespace director_protectedNamespace {
public class runme
{
static void Main()
{
runme r = new runme();
r.run();
}
void run()
{
Bar b = new Bar();
Foo f = b.create();
FooBar fb = new FooBar();
FooBar2 fb2 = new FooBar2();
FooBar3 fb3 = new FooBar3();
String s;
s = fb.used();
if ( s != ("Foo::pang();Bar::pong();Foo::pong();FooBar::ping();"))
throw new Exception("bad FooBar::used" + " - " + s);
s = fb2.used();
if ( s != ("FooBar2::pang();Bar::pong();Foo::pong();FooBar2::ping();"))
throw new Exception("bad FooBar2::used");
s = b.pong();
if ( s != ("Bar::pong();Foo::pong();Bar::ping();"))
throw new Exception("bad Bar::pong");
s = f.pong();
if ( s != ("Bar::pong();Foo::pong();Bar::ping();"))
throw new Exception("bad Foo::pong");
s = fb.pong();
if ( s != ("Bar::pong();Foo::pong();FooBar::ping();"))
throw new Exception("bad FooBar::pong");
// if (fb3.cheer() != "FooBar3::cheer();")
// throw new Exception("bad fb3::cheer");
if (fb2.callping() != "FooBar2::ping();")
throw new Exception("bad fb2.callping");
if (fb2.callcheer() != "FooBar2::pang();Bar::pong();Foo::pong();FooBar2::ping();")
throw new Exception("bad fb2.callcheer");
if (fb3.callping() != "Bar::ping();")
throw new Exception("bad fb3.callping");
if (fb3.callcheer() != "FooBar3::cheer();")
throw new Exception("bad fb3.callcheer");
}
}
class FooBar : Bar
{
public FooBar() : base()
{
}
protected override String ping()
{
return "FooBar::ping();";
}
}
class FooBar2 : Bar
{
public FooBar2() : base()
{
}
protected override String ping()
{
return "FooBar2::ping();";
}
protected override String pang()
{
return "FooBar2::pang();";
}
}
class FooBar3 : Bar
{
public FooBar3() : base()
{
}
protected override String cheer()
{
return "FooBar3::cheer();";
}
}
}
|
