Fedor Isakov
e5538bc39f
A bunch of refactorings and cleanups in trace view
...
- cleanup the code, rename symbols for better readability
- drop dead code
- support for optionally showing empty template trace nodes
- display node path for source nodes
2023-06-21 15:27:05 +02:00
Fedor Isakov
161ba961b1
Add an option to filter empty template nodes in trace view
2023-06-21 15:21:28 +02:00
Fedor Isakov
91964a4f53
Fix icons in trace view of Coderules tool
...
Used to refer to obsolete icons from legacy aspect.
2023-06-19 16:24:46 +02:00
Fedor Isakov
0e2c64e587
Fix resolve info
2023-06-12 12:20:35 +02:00
Fedor Isakov
6a849f82f2
Apply migrations and rebuild project
2023-06-12 12:01:02 +02:00
Fedor Isakov
682967c54c
Fix code to make compatible with latest 23.1 EAP
2023-06-12 12:01:02 +02:00
Fedor Isakov
11a1037860
Minor refactoring and code cleanup
2023-06-12 12:01:02 +02:00
Fedor Isakov
bd7f76a020
Optimize shared typechecking state usage
2023-06-12 12:01:02 +02:00
Fedor Isakov
6150702e92
Drop references to template dropped upstream
2023-05-03 10:50:10 +02:00
Fedor Isakov
90d9644057
Respect isStrong query property when caching results
2023-05-03 10:31:55 +02:00
Fedor Isakov
d262277d59
Update build script
2023-05-03 10:31:55 +02:00
Fedor Isakov
1c307e42c5
Fix UI action broken after options redesign
2023-05-03 10:31:55 +02:00
Fedor Isakov
985f6af842
Drop watching flag: always run typechecking in incremental mode
2023-05-03 10:31:55 +02:00
Fedor Isakov
4900f13609
Fix weird type hidden under SCPD
2023-05-03 10:31:55 +02:00
Fedor Isakov
8cb0ddc049
Simplifying TypecheckingOptions API
...
Enable using CR in bootstrap mode via Registry.
Drop unused code.
2023-05-03 10:31:55 +02:00
Fedor Isakov
b074647d12
Fix unresolved reference
2023-04-10 16:43:04 +02:00
Fedor Isakov
24944eef5a
Fix issues with ideaplugin module in source project
2023-03-29 13:00:09 +02:00
Fedor Isakov
425e125ba8
Migrate to JUnit5 and temporarily disable "check project modules" test
2023-03-03 17:10:05 +01:00
Fedor Isakov
6d267a33af
Fix an error in log
2023-03-03 17:07:05 +01:00
Fedor Isakov
08733317ef
Null guard. MPSCR-126
2023-02-23 17:29:02 +01:00
Fedor Isakov
ae586b665e
Use 'Messages' as tool window ID for baloon. MPSCR-127
2023-02-23 17:09:41 +01:00
Fedor Isakov
94ceb7614f
Fix config option provider
2023-02-23 16:43:50 +01:00
Fedor Isakov
5fbcb991f0
Fix trove library jar location in plugin
2023-02-23 16:28:05 +01:00
Fedor Isakov
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
Fedor Isakov
d531c6a5ad
Run Migration Assistant
2023-02-22 13:52:02 +01:00
Fedor Isakov
430466c1c9
Fix code incompatible with latest platform
2023-02-17 11:41:32 +01:00
Fedor Isakov
ad3ea9d63d
Apply all migrations from 2022.2
2022-11-21 11:25:13 +01:00
Fedor Isakov
d9cda646de
Bump up plugin versions
2022-11-21 11:25:03 +01:00
Fedor Isakov
4086236afe
Introduce recursion guard for typechecking provider
2022-11-21 10:50:00 +01:00
Fedor Isakov
8f42a025bc
Rewrite topo sorting of macro tables
2022-09-08 14:07:06 +02:00
Fedor Isakov
14f4561b29
Ensure AspectClique contains all necessary languages
2022-09-08 14:07:06 +02:00
Fedor Isakov
0ae9743026
Fix tests
2022-09-02 18:01:46 +02:00
Fedor Isakov
f8b17e4de7
Fix compilation
2022-09-02 16:28:31 +02:00
Fedor Isakov
4070194d01
Bump up plugin versions
2022-09-02 16:11:00 +02:00
Fedor Isakov
6030332107
Introduce profiling into program produce/evaluation steps
2022-09-02 15:49:30 +02:00
Fedor Isakov
34bb26f0fc
Redesign coderules trace view to display profiling data
...
Coderuels trace now has three tabs that contain:
- activation trace
- template application trace
- profiling data
2022-09-02 15:49:30 +02:00
Fedor Isakov
04cfbe0c30
Add an option to enable/disable profiling
2022-09-02 15:49:30 +02:00
Fedor Isakov
83e273da73
Fix tests by caching Config instance
...
Tests are launched within a context that is unable
to perform normal MPS classloading, so we resort to
caching the (singleton) instance of Config coming from
an (IDEA) plugin to use it later.
2022-08-27 19:39:14 +02:00
Fedor Isakov
5affa9af14
Ensure directory is created before build process
2022-08-26 16:15:35 +02:00
Fedor Isakov
ec8ab9eb14
Fix generating with build script
2022-08-26 15:51:05 +02:00
Fedor Isakov
de5fa8e543
Fix server build by turning compilation in MPS off
...
This commit breaks the project but allows to build
and test on the server. Locally the module
j.m.c.ideaplugin can be marked as "compile in MPS",
which effectively allows classes to be loaded.
2022-08-26 15:29:18 +02:00
Fedor Isakov
78f847747b
Drop unstable hacks, simplify code
2022-08-26 13:58:22 +02:00
Fedor Isakov
0a9f4445d3
Drop obsolete artefact
2022-08-26 13:58:22 +02:00
Fedor Isakov
a40d74c600
Fix project build and loading scheme
...
Source files for ideaplugin are now compiled externally.
2022-08-26 10:39:20 +02:00
Fedor Isakov
299d9a4fd8
Update build scripts to fix tests launching
2022-08-25 12:59:36 +02:00
Fedor Isakov
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
Fedor Isakov
bb47403b0c
Fix generating of synth recover terms table
2022-08-22 11:19:59 +02:00
Fedor Isakov
c4a157bf4d
Bump up plugin versions
2022-08-16 18:11:49 +02:00
Fedor Isakov
26a3bd12dd
Fix how output models are searched for checkpoints
2022-08-16 18:11:49 +02:00
Fedor Isakov
29a7479bce
Mark public methods of TC queries as synchronized
2022-08-16 18:11:49 +02:00