comparison run/invariant_25.d @ 1559:ec5e144583ea

D1 -> D2 : 1/N
author thomask
date Sun, 19 Aug 2007 19:11:54 +0000
parents b8c0195059d9
children
comparison
equal deleted inserted replaced
1558:d40d75fcd5c5 1559:ec5e144583ea
8 8
9 // __DSTRESS_TORTURE_BLOCK__ -release 9 // __DSTRESS_TORTURE_BLOCK__ -release
10 10
11 module dstress.run.invariant_25; 11 module dstress.run.invariant_25;
12 12
13 version(Tango){
14 import tango.core.Exception : AE = AssertException;
15 }else{
16 import std.asserterror : AE = AssertError;
17 }
18
13 class MyClass{ 19 class MyClass{
14 invariant{ 20 invariant(){
15 assert(0); 21 assert(0);
16 } 22 }
17 } 23 }
18 24
19 int main(){ 25 int main(){
20 try{ 26 try{
21 MyClass c = new MyClass(); 27 MyClass c = new MyClass();
22 assert(c); 28 assert(c);
23 }catch(InvariantException e){ 29 }catch(AE e){
24 return 0; 30 return 0;
25 } 31 }
26 assert(0); 32 assert(0);
27 } 33 }