71983ca9a3
Optimize .gitignore
2022-08-26 13:58:22 +02:00
0a9f4445d3
Drop obsolete artefact
2022-08-26 13:58:22 +02:00
a40d74c600
Fix project build and loading scheme
...
Source files for ideaplugin are now compiled externally.
2022-08-26 10:39:20 +02:00
5e344cd544
Bump up the version in gradle build script
2022-08-25 13:06:47 +02:00
299d9a4fd8
Update build scripts to fix tests launching
2022-08-25 12:59:36 +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
71b19aecad
Switch to gradle 7.5.1
2022-08-25 12:59:34 +02:00
245c7c9954
Use the latest MPS EAP for standalone build
2022-08-25 12:59:34 +02:00
bb47403b0c
Fix generating of synth recover terms table
2022-08-22 11:19:59 +02:00
fe3a38d90f
Rebuild project
2022-08-17 11:40:58 +02:00
c4a157bf4d
Bump up plugin versions
2022-08-16 18:11:49 +02:00
f96612258d
Use latest MPS EAP for local build
2022-08-16 18:11:49 +02:00
1f68b62c6e
Switch to gradle 7.3
2022-08-16 18:11:49 +02:00
29c9a50fa9
Use built-in BL's intersection type instead of meet type
2022-08-16 18:11:49 +02:00
26a3bd12dd
Fix how output models are searched for checkpoints
2022-08-16 18:11:49 +02:00
29a7479bce
Mark public methods of TC queries as synchronized
2022-08-16 18:11:49 +02:00
ab2a1b6499
BL Types: Disable overriding methods check, MPSCR-115
...
This check doesn't belong to the type system, is
currently implemented on top of it as a "check" rule.
2022-08-01 14:11:38 +02:00
e3870d1397
Switch to using built-in messages view for Coderules messages
2022-08-01 14:11:38 +02:00
874cc5d135
Paranoid NPE checks, MPSCR-113
2022-08-01 14:11:36 +02:00
ba7411abfa
Bump up plugin version and rebuild build scripts
2022-07-28 10:37:36 +02:00
40dd4bb31a
Avoid dependency on a non-runtime solution
2022-07-28 10:30:38 +02:00
451529aa08
Cleanup imports
2022-07-28 10:30:38 +02:00
83daafe180
Fix feature reference constraint
2022-07-28 10:30:38 +02:00
f985db8206
Update and rebuild build scripts
2022-07-28 10:30:38 +02:00
7fe773dcc2
Switch all type aspects in mpscore sample to typechecking terms
...
This includes dropping of Recover rule table and relying on
the automatic types recovery.
2022-07-28 10:30:38 +02:00
f9eb52a60f
Introduce checkpoint for typechecking "strut" templates
...
The templates that typechecking relies upon are generated
into the user model as synthetic constructs. These later
need to be discovered by the generator to establish
correct references.
2022-07-28 10:30:38 +02:00
33b472f560
Switch to using plain FQN strings to identify templates
...
SNodeReference are too unreliable to be used.
2022-07-28 10:30:38 +02:00
468cee3b54
Avoid NPE when displaying baloon
2022-07-28 10:30:38 +02:00
e03f8d134b
Switch lambdac sample to typechecking queries
2022-07-28 10:30:37 +02:00
8388edb4a5
Switch fitch sample to typechecking terms/queries
2022-07-28 10:30:37 +02:00
f5536a472a
Enforce non-null contract on failureCause and message
2022-07-28 10:30:37 +02:00
0663921ecd
Refactoring in TypecheckingService; simplifying code
...
Request is no longer dependent on `TypecheckingService`.
Only single request can be processed at a time, which helps
prevent recursion.
All facade method in `TypecheckingService` now return instance
of `Response` instead.
2022-07-15 19:46:33 +02:00
0422a4cbd4
Fix exception initialization
2022-07-15 19:46:32 +02:00
4bd681f3ee
Fix support for require/requireAll statements in queries, MPSCR-108
2022-07-15 19:46:32 +02:00
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
Fedor Isakov