CodART icon indicating copy to clipboard operation
CodART copied to clipboard

Published 20 hours ago • verified publisher icon m-zakeri

Make class concrete post conditions not working

Open seyyedaliayati opened this issue 3 years ago • 0 comments

Describe the bug This refactoring does not check post conditions and after running this on my test project, I got this error when compiling: The abstract method sides in type "Shape" can only be defined by an abstract classJava(67109227)

To Reproduce Steps to reproduce the behavior:

  1. Go to 'refactorings/make_class_concrete.py'
  2. Run the script on your test project
  3. Compile the test project
  4. See error

Expected behavior Check post conditions properly. Source code must be compile-able after refactoring!

seyyedaliayati avatar Mar 31 '21 18:03 seyyedaliayati