-
Notifications
You must be signed in to change notification settings - Fork 17
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
Provide project-specific preferences #77
Comments
It's already possible to store a Pitclipe launch configuration in a project, but one cannot specify in the launch configuration the set of mutators to enable (by the way, it would be great to have a finer grain control on mutators to enable, e.g., for excluding/including single mutators, but probaly that's a separate issue?). I think having the set mutators (default, stronger, all) in the launch configuration would already be useful by itself |
True, but I would consider the following points:
IMO, storing a launch configuration file is more like a workaround and providing a dedicated UI would be more convenient.
Sure, but that would be a separate issue. Pitclipse currently relies on Pitest's CLI so we should be able to easily support every option available from the CLI. Regarding the mutators themselves, it seems to be only a question of UI (everything else seems to be already implemented); maybe a table with the name of the mutator, a short description and a checkable box would do? I invite you to create a dedicated issue if you want to see it implemented. |
First of all, I agree this feature would be really nice
well, launch configurations are a crucial part in the Eclipse workbench, thus the users should be aware of that (including the fact they can store such configurations in the projects) ;)
launch configurations are meant to be edited through the Eclipse dialog, not directly
mh... I didn't know that... or maybe I don't understand what you say
Again, that's pretty standard, even with plain JUnit launch configurations: you can have many of them, possibly stored in the projects
As I said, I didn't mean to decrease the importance of this feature; I was only saying that you can already store launch configurations. It's not a workaround: it's a different use case
Yes, I will ASAP |
Excuse me, I misunderstood you.
I took a deeper look and in fact it's not all projects in the workspace but rather "selected project and the projects in its classpath". To activate this "mode":
I discovered the feature while looking at the tests and have been confused by the wording. |
Motivation
Currently Pitclipse only allows for workspace-scope preferences. However, it would be great to allow users to set their preferences per project.
Implementation
In term of UI, this requires creating a project property page. This is not really complicated but sadly we cannot reuse the code written for the Preferences page (actually there is a way but I don't know whether it is worth the effort).
In term of core, this requires an abstraction layer between the core and the preferences so that we can uniformely use either workspace-specific or project-specific preferences. At the moment preferences are retrieved through PitCoreActivator.getConfiguration().
To this end, creating a Pitest project nature might be useful.
The text was updated successfully, but these errors were encountered: