115135bbb5
Update plugin versions and manifests
2022-07-13 12:27:14 +02:00
be1e4bac18
Bump up version of Kotlin and JUnit
2022-07-12 11:18:42 +02:00
23502bafe7
Fix dangling import
2022-07-12 11:18:42 +02:00
71d2014ef1
Update and rebuild build scripts
2022-07-07 12:56:30 +02:00
f24169ba26
Refactor Config to be immutable; allow multi-project MPSCR-105
...
Drop hacks that try to figure out the active project.
Instead introduce new ones that cache the instance of `ProjectRepository`
(unfortunately, there is no way around that now).
Stop accessing and modifying the singleton `Config` instance,
instead make an instance of `Config` a parameter to `TypecheckingService`.
2022-07-07 12:56:30 +02:00
e4d7a9ff9e
Notify UISettings after changing preferences, listen to UISettings
2022-07-07 12:56:29 +02:00
99907ec111
Fix how CR widget looks (more professional look)
2022-07-07 12:56:28 +02:00
735bd29d61
Update references and rebuild build scripts
2022-07-07 12:56:28 +02:00
5c12da69be
Switch to latest MPS 221 EAP for local build
2022-07-07 12:56:28 +02:00
a84675c0f2
Cache statusbar in intialization code to avoid NPE
2022-07-04 13:42:39 +02:00
7ce95d403e
Update README with installation instructions
2022-06-20 11:25:03 +02:00
837f7303a8
Fix test language broken after refactoring
2022-06-18 15:56:54 +02:00
ff1ceb7dda
Update build script
2022-06-18 14:53:09 +02:00
186c7b6a28
Fix auto-recovery of types with expect/assign/recover pseudo-constraints
2022-06-18 12:53:14 +02:00
dd0b9b2842
Intention to convert term table to types term table
2022-06-18 12:53:14 +02:00
f6e75628c8
Rebuild build script
2022-06-13 11:20:31 +02:00
7593fc7b14
Avoid NPE if preferences are not available
2022-06-13 11:20:31 +02:00
8a46abcfb3
StatusBar widget to control Coderules ON/OFF
2022-06-13 11:11:57 +02:00
77eb3f30c7
Implement a missing BH method
2022-06-13 11:11:57 +02:00
b46373701f
WIP Reorganizing code
2022-06-08 10:23:43 +02:00
d1f3066af2
Drop all caches from AspectLookup
...
Caches cause subtle errors and their utility is questionable.
2022-06-08 10:23:43 +02:00
e1bab4a1c7
Respect LateExpression arg when building unique_tag, MPSCR-107
...
Rule's unique_tag is important for update procedure
implemented by RulesPlanHandler. Only when we can guarantee
that an argument to constraint/predicate has not changed
we can save on re-building a rule from template.
Ignoring LateExpression was a mistake.
2022-06-07 15:22:39 +02:00
88aaf7898c
Ensure only relevant aspects selected for certain queries
...
While check/checkTypeOf queries are required to
process a whole root, other types of queries
can be sensitive to what aspects to include in
the processing.
Aspects are sorted in strongly-connected components,
among which the relevant one is selected.
2022-06-06 13:00:52 +02:00
ea3e7c4719
Rebuild build scripts
2022-05-26 12:52:25 +02:00
585f8f57f5
Switch to generating FQ names for constraint symbols
2022-05-26 12:52:25 +02:00
56c7bdad7f
Make FQ symbol names displayed as short names in trace view
2022-05-26 12:52:25 +02:00
f862406ca6
Switch to using single AspectClique
2022-05-26 12:52:25 +02:00
c112a59116
Switch to collection of QueryTemplate instead of single instance
...
The deisgn decision to have only one instance of QueryTemplate
leads to the necessity to keep AspectClique separated for
every "typesystem". Whereas QueryTemplate are really perfectly
composable, and thus only one AspectClique is neeeded.
Also drop a rudimentary unused feature.
2022-05-26 09:58:31 +02:00
ed58f59794
Ensure all memo usages have unique keys
2022-05-26 09:55:21 +02:00
874a2a4b4e
Ensure rule tags have unique group name
2022-05-25 13:49:11 +02:00
710c5ddc9b
Ensure failure during trace view update is gracefully handled
2022-05-25 13:37:55 +02:00
05adef15f9
Respect the template (group) name in rule tag
2022-05-25 12:47:27 +02:00
f91170aec0
Fix invalid reporting of trace events
2022-05-25 12:46:19 +02:00
cfcf6ecd81
Add dependency to j.m.build to enable plugin compatibility w/MPS
2022-05-11 11:37:20 +02:00
b6c190c35c
Introduce ruleInput parameter to call macro
...
Accessing the rule input allows to track dependencies
necessary for correctly updating the feedback.
2022-05-09 17:02:12 +02:00
a6f56d4193
Use EvaluationFailureException to indicate failure
2022-05-09 13:33:33 +02:00
8af9467831
Deprecate obsolete methods
2022-05-09 13:32:49 +02:00
e7054ed124
Drop usages of invalidatedFeedbackKeys, minor fixes
2022-05-09 13:32:14 +02:00
e2521c3478
Bump up version of coderules plugin
2022-05-03 10:26:43 +02:00
702098d091
Cleanup and simplify typechecking strategy
2022-05-03 10:26:43 +02:00
ddce418ba4
Ensure new list is initialized when recovering
2022-05-03 10:26:43 +02:00
3b7eb7c210
Ensure failures has non-null message
2022-05-03 10:26:43 +02:00
7f34ea78f6
Drop incrementality-related options and UI elements
2022-05-03 10:26:43 +02:00
85b0156c00
Remove erroneously added debug message
2022-04-27 11:42:02 +02:00
9a312135cf
Rebuild build scripts
2022-04-26 11:40:28 +02:00
050c47c2eb
Update conreactor version to 0.9.16
2022-04-25 12:47:43 +02:00
a2dacdd75a
Update reactor version to reflect major changes
...
Dropped all "incremental" stuff.
Occurrences and rules are no longer divided into "principal"
and others.
2022-04-25 12:14:22 +02:00
bd249c5d0c
Drop obsolete feature: incremental specification
2022-04-21 16:05:31 +02:00
f965c6636d
Drop obsolete incremental and principal stuff
2022-04-20 12:42:20 +02:00
735c88cdba
Drop unused code, cleanup and simplify code
2022-04-19 14:36:08 +02:00
Fedor Isakov