Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make class concrete post conditions not working #42

Open
seyyedaliayati opened this issue Mar 31, 2021 · 0 comments
Open

Make class concrete post conditions not working #42

seyyedaliayati opened this issue Mar 31, 2021 · 0 comments
Labels
bug Something isn't working

Comments

@seyyedaliayati
Copy link
Contributor

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 seyyedaliayati added the bug Something isn't working label Mar 31, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

1 participant