commit | a1d2d1a24a91ac42b78259882168006f04268a72 | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Wed May 11 22:03:28 2011 +0000 |
committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Wed May 11 22:03:28 2011 +0000 |
tree | c1b4a45854a5949bd8f123725ab359297a9cae4e | |
parent | eeaee570a7a3f94f2e99d950e8d9e8a9de334345 [diff] |
avoid the need to declared 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.