| commit | 4a8621ab32fcaacef2d0adb343316b4901cb2273 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Wed May 11 22:37:07 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Wed May 11 22:37:07 2011 +0000 |
| tree | 6f6a64809c334d27b2b239fb7326f9e5dc14320b | |
| parent | a1d2d1a24a91ac42b78259882168006f04268a72 [diff] |
avoid the need to declare LiftingFailedException (after this exception has been hardened): - do not declare role as abstract but catch the case when an unspecific role was actually created by lifting.