Reviewer > Provided PTC reviews > Correctness reviews > Invalid destructor (Reviewer Review)
  
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.