Invalid destructor (Reviewer Review)
Destructors are operations that begin with \u201c~\u201d followed by the name of the class, or are called Finalize.
This review checks that destructors are valid.
• They may not have a return type.
• They may not be immutable.
• They may not be static.
• They may not have parameters.
Consequences
Destructors are implementation modeling artifacts and need to be valid.
Strategy
The destructor should be changed to make it valid.