| commit | 82d9583f072a8779d1d1a4a3882662c2993594bf | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Sep 05 18:10:14 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Sep 05 18:10:14 2010 +0000 |
| tree | 55aabe1ea49f449f491f999c04e77422fff7ad3f | |
| parent | 5d1cd28c131e96ab023bf9d6086c883222237bc1 [diff] |
Improve implementation of signature weakening to accommodate new tests test242_inaccessibleBaseClass19() f.: * do transfer baseclass decapsulation state * shortcut: never weaken arguments of liftTo methods (no roles) * avoid method TypeAnalyzer.getType() (from 12/2003) but use the resolved type of the argument - this suppresses repeated weakenings with multiple casted locals.