2b146e886b
Migrate to latest MPS 2026.1 EAP
2026-04-24 11:22:20 +02:00
17dd2a6c01
Appply migrations from MPS 243 branch
2024-12-11 11:57:18 +01:00
7d86f866c0
Ensure exception is reported correctly on blockingGet
2024-08-29 16:47:19 +02:00
5fd41a99e1
Consolidate related classes; drop obsolete model
2024-08-29 13:08:28 +02:00
d8bc7fdfb5
Refactor Effect API and usages: drop any access to values; ensure cleaner contract
...
- interface Effect becomes a class AbstractEffect
- hasValue dropped
- getValue/allValueKeys have been made protected
- withValue(s) defines clear contract for using the values in effects
2024-08-21 18:17:27 +02:00
6e5fcc639b
Introduce minimal rx framework; drop RxJava lib; drop obsolete actions
2024-08-20 17:16:21 +02:00
c7ae020862
Redesign Activation Trace View for better usability; minor fixes
...
- use pictograms and tooltips, reduce UI clutter
- drop "occurrences" column, move everything to the events tree
- fix jumping table widths
2024-08-12 12:23:53 +02:00
c63f0479d1
Refactor code to simplify and cleanup; drop obsolete stuff
2024-08-05 17:35:38 +02:00
41fff3d299
Better display of occurrences store in Activation Trace view
...
1. Display "discarded" occurrences by default
2. Use styles to differentiate among the event kinds
3. Use selection in the store panel to highlight "relevant" occurrences
4. Support multiple selection in activation panel
2024-07-26 18:06:16 +02:00
c9e3374540
Implement support for "tellPattern" trace event
2024-07-22 14:14:16 +02:00
0830a34c1b
Support navigating to constraint and predicate declarations from trace view
2024-07-19 16:39:57 +02:00
e64677041e
Cleanup code and drop deprecated stuff
2024-07-18 11:01:24 +02:00
515a1c8f36
Use DeployListener to react to module reload events
2024-07-11 15:09:35 +02:00
4ce08f4b99
Refactor project structure and reduce the number of modules
2024-07-04 18:17:56 +02:00
8554843e6a
Apply automatic migrations
2024-07-01 15:31:42 +02:00
1fc3c1b095
Make CR widget a standard component; Drop dedicated settings
2024-06-25 16:33:34 +02:00
132608a338
Drop all unnecessary usages of Config
2024-06-25 12:03:48 +02:00
079b5885ce
Drop dead code
2024-06-24 12:18:52 +02:00
87bb67cee3
Drop usages of SessionToken
2024-06-21 22:44:23 +02:00
e83b92575b
Switch to new initialization methods
2024-06-16 21:50:28 +02:00
a19d02b8ae
Switch initialization to use ModuleActivator; drop unused imports
2024-06-16 16:11:38 +02:00
64ed2d41b8
Update models to reflect changes in reactor API
2024-06-14 13:45:54 +02:00
f3010743c1
Migration: FixExpandMacroTemplate
2023-10-13 18:13:08 +02:00
3cf666e633
Apply migrations and make project
2023-07-31 12:57:24 +02:00
6a849f82f2
Apply migrations and rebuild project
2023-06-12 12:01:02 +02:00
8cb0ddc049
Simplifying TypecheckingOptions API
...
Enable using CR in bootstrap mode via Registry.
Drop unused code.
2023-05-03 10:31:55 +02:00
6ebc8782b9
Avoid issues when opening root project
...
Only UI-specific code related to settings left in "idea" project solution,
everything else moved to MPS-managed plugins.
2023-02-23 11:48:19 +01:00
ad3ea9d63d
Apply all migrations from 2022.2
2022-11-21 11:25:13 +01:00
6030332107
Introduce profiling into program produce/evaluation steps
2022-09-02 15:49:30 +02:00
d2ca45aa02
Extract bootstrap code to idea plugin; CR options to become app-level
...
CR typechecking options are now application-level.
The solution j.m.c.ideaplugin contains the code responsible
for accessing and setting the options. This solution is loaded
as IDEA plugin on deploy and as regular module in source project.
Also merge code from two modules into j.m.c.typechecking.
2022-08-25 12:59:36 +02:00
e3870d1397
Switch to using built-in messages view for Coderules messages
2022-08-01 14:11:38 +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
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
710c5ddc9b
Ensure failure during trace view update is gracefully handled
2022-05-25 13:37:55 +02:00
e7054ed124
Drop usages of invalidatedFeedbackKeys, minor fixes
2022-05-09 13:32:14 +02:00
bd249c5d0c
Drop obsolete feature: incremental specification
2022-04-21 16:05:31 +02:00
c192a529a6
Display undo activate/discard events in trace view. MPSCR-102
2022-03-15 15:48:56 +01:00
4ccbff779f
Refactoring in the UI: merging tool windows into one
2021-11-18 10:59:58 +01:00
b122872890
Refactor Result to be able to clear the cause
2021-09-21 17:54:51 +02:00
1d620cdd63
Drop obsolete unused features, cleanup the code
2021-05-18 12:32:03 +02:00
1bb8763816
Refactor AspectLookup to depend on repository, cache results
2021-05-18 12:32:03 +02:00
cff18e7ca5
Optimize RulePlanHandler
...
Avoid iterating over LinkedHashMap (ineffective).
Do topo-sort only once on creating the object.
2021-04-21 10:40:51 +02:00
ff6b5ec6ae
Apply migrations and rebuild project
2021-04-14 13:19:50 +02:00
1d1db7cba5
Disable all preamble-related stuff
2021-04-12 12:47:44 +02:00
28dd6c7a12
Implement feedback invalidation based on (in)validated rules
...
Refactor supervisor/feedback consumer to support feedback basis.
Track (in)validated rules tags in RulePlanHandler.
Both (in)- and validated rules cause associated feedback to be cleared.
Disable passing SessionToken in WatchingIncremental strategy;
this forces the correct journal recording but turns off incrementality.
2021-04-08 08:51:40 +02:00
99e248c5b3
Fix incremental update of reported feedback
...
Correctly detect cache up-to-date.
Refactor feedback reporting, provide origin node as the key.
Drop invalidated feedback correctly.
Code cleanup.
2021-03-23 12:48:06 +01:00
2ec038aed0
Fix FindApplicableTemplates action
2021-02-18 15:00:28 +01:00
676645fad2
Refactor DataForm presentation mechanism, drop unused code
...
Rewrite most of DataFormPrinter for simplicity.
Reformat presentation of terms, so that the specification comes at the beginning.
2021-02-04 09:16:10 +01:00
e06916b184
Refactor TypecheckingService: move logic into Request
...
Straighten up the code organization by consolidating logic
implementing a request within the corresponding Request
instance.
2021-02-04 09:16:09 +01:00
4be723c09e
Introduce programEvaluated flag to strategy, only display traces for real programs
2021-01-18 10:59:00 +01:00
Fedor Isakov