Feature: override

[mlhaufe]

References

• https://www.tutorialspoint.com/java/java_overriding.htm

Requirements

• The 'override' decorator must be documented. The 'override' decorator must be documented #43
• A subclass with an overriding member missing @OverRide is an error. A subclass with an overriding member missing @override is an error #48
• Accessors must support @OverRide. Accessors must support @override #50
• Contravariance of method arguments in the subtype. Contravariance of method arguments in the subtype. #51
• In production mode the @OverRide decorator is a no-op. In production mode the @override decorator is a no-op #45
• Only a single @OverRide can be assigned to a member per class. Only a single @override can be assigned to a member per class #54
• The 'override' decorator must not be functional until the invariant decorator is defined. The 'override' decorator must not be functional until the invariant decorator is defined #53
• The 'override' decorator must have a Contracted class in it's ancestry The 'override' decorator must have a Contracted class in it's ancestry #170
• The override decorator is a non-static member decorator only. The override decorator is a non-static member decorator only #44
• The parameter names and positions of an overridden method must match its ancestor's. The parameter names and positions of an overridden method must match its ancestor's #52
• TypeScript support? TypeScript support for override? #49
• Using @OverRide on a class member with no ancestor member is an error. Using @override on a class member with no ancestor member is an error #46
• Using @OverRide on a method with an ancestor with a different parameter count is an error. Using @override on a method with an ancestor with a different parameter count is an error #47