annotate run/invariant_24.d @ 271:e9ef8eec28b1

invariant and ctor Thomas Kuehne <thomas-dloop@kuehne.THISISSPAM.cn> 2005-02-06 news:vlbhd2-1n2.ln1@lnews.kuehne.cn
author thomask
date Sun, 06 Feb 2005 11:29:02 +0000
parents
children 1e6afb94ce6d
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
271
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
1 // $HeadURL$
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
2 // $Date$
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
3 // $Author$
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
4
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
5 // @author@ Thomas Kuehne <thomas-dloop@kuehne.THISISSPAM.cn>
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
6 // @date@ 2005-02-06
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
7 // @uri@ news:vlbhd2-1n2.ln1@lnews.kuehne.cn
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
8
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
9 module dstress.run.invariant_24;
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
10
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
11 class MyClass{
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
12
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
13 this(){
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
14 }
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
15
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
16 invariant{
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
17 assert(0);
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
18 }
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
19 }
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
20
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
21 int main(){
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
22 try{
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
23 MyClass c = new MyClass();
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
24 }catch{
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
25 return 0;
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
26 }
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
27 assert(0);
e9ef8eec28b1 invariant and ctor
thomask
parents:
diff changeset
28 }