| commit | e40d12bb64a44b8f5190c0856975dc079174a8a9 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Aug 13 20:12:07 2010 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Fri Aug 13 20:12:07 2010 +0000 |
| tree | 46472f1deb3215249c527639f4765a64f626abfa | |
| parent | 4384d50a287ae271a9b2a17065b76926f8dd2c93 [diff] |
cleanup in the context of Bug 321440 - [compiler][otre] support for role-binding to interfaces - remove an obsolete function - avoid using an interface as a monitor (it's the class that has the fields to be guarded)