Disable intentions of ISolvable
In my current project i would like to be able to disable intentions that occur from the IETS3 framework , for example intentions of group Solver.
This is also the case for:
@kbirken is it possible to make those actions "opt in" by default?
@depd18 please have a look at the isApplicable condition to figure out if you could customize things. In case you already have custom root concepts in the following hierarchy
you could override the isSolverEnabledUnderThisRoot() for your concept.
@depd18 could you also please tell which version of iets3 you are using?
The iets3 version is - 2022.2.10704.a86ee4e
Also, be aware that 2022.2 is running out of maintenance. Consider migrating to one of the newever versions rather sooner than later.
Intentions can be switched off in the settings on page "Editor > MPS Intentions", e.g.:
I would assume that there is a way to set this programmatically for some project, but I did not research it yet. But I would assume this is the way to go if intentions should be disabled.
I would assume that there is a way to set this programmatically for some project, but I did not research it yet.
IntentionsManager manager = IntentionsManager.getInstance();
node<BaseIntentionDeclaration> intentionDeclaration = ...
manager.disableIntention(intentionDeclaration.getGeneratedId());