Ticket #176 (closed enhancement: fixed)
Support @Override annotation for role classes
|Reported by:||stephan||Owned by:||stephan|
Role classes, just like methods, override inherited versions simply based on name equality. For methods Java 5 introduced the @Override annotation for documenting overriding in the source code and for supporting compile time checks whether all overrides have been declared and whether all declared overrides are actually overrides.
In OT/J the same concept should be applied to role classes, too.
Furthermore the tool should display override markers for roles, too.