natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
3,249 Commits 26 Branches 0 Tags 127 MiB
Commit Graph

877 Commits

Author SHA1 Message Date
Fedor Isakov fe3a38d90f Rebuild project 2022-08-17 11:40:58 +02:00
Fedor Isakov c4a157bf4d Bump up plugin versions 2022-08-16 18:11:49 +02:00
Fedor Isakov 29c9a50fa9 Use built-in BL's intersection type instead of meet type 2022-08-16 18:11:49 +02:00
Fedor Isakov 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
Fedor Isakov ba7411abfa Bump up plugin version and rebuild build scripts 2022-07-28 10:37:36 +02:00
Fedor Isakov 451529aa08 Cleanup imports 2022-07-28 10:30:38 +02:00
Fedor Isakov f985db8206 Update and rebuild build scripts 2022-07-28 10:30:38 +02:00
Fedor Isakov 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
Fedor Isakov e03f8d134b Switch lambdac sample to typechecking queries 2022-07-28 10:30:37 +02:00
Fedor Isakov 8388edb4a5 Switch fitch sample to typechecking terms/queries 2022-07-28 10:30:37 +02:00
Fedor Isakov 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
Fedor Isakov 115135bbb5 Update plugin versions and manifests 2022-07-13 12:27:14 +02:00
Fedor Isakov 23502bafe7 Fix dangling import 2022-07-12 11:18:42 +02:00
Fedor Isakov 71d2014ef1 Update and rebuild build scripts 2022-07-07 12:56:30 +02:00
Fedor Isakov 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
Fedor Isakov 735bd29d61 Update references and rebuild build scripts 2022-07-07 12:56:28 +02:00
Fedor Isakov ea3e7c4719 Rebuild build scripts 2022-05-26 12:52:25 +02:00
Fedor Isakov ed58f59794 Ensure all memo usages have unique keys 2022-05-26 09:55:21 +02:00
Fedor Isakov cfcf6ecd81 Add dependency to j.m.build to enable plugin compatibility w/MPS 2022-05-11 11:37:20 +02:00
Fedor Isakov 85b0156c00 Remove erroneously added debug message 2022-04-27 11:42:02 +02:00
Fedor Isakov 9a312135cf Rebuild build scripts 2022-04-26 11:40:28 +02:00
Fedor Isakov bd249c5d0c Drop obsolete feature: incremental specification 2022-04-21 16:05:31 +02:00
Fedor Isakov dda4c9a7e6 Rebuild build projects 2022-03-16 12:32:42 +01:00
Fedor Isakov c7c55605f5 Add dependency to c.i.modules.platform to pluigns 2022-02-23 13:09:34 +01:00
Fedor Isakov a09dd24413 Fix plugin dependency to make compatible with MPS 2022-02-18 10:17:28 +01:00
Fedor Isakov 9cb04439eb Fix packaging of coderules and mpscore plugins 
Fix the path mapping of lib files.
 2022-02-17 16:44:14 +01:00
Fedor Isakov b2f97f25dd Update mpscore plugin version and dependencies 2022-02-16 12:33:33 +01:00
Fedor Isakov 04048470c5 Fix processing of recursive types 
Avoid failing to process composite types because
of visiting the same classifier.
 2022-02-10 23:40:20 +01:00
Fedor Isakov d7ffb963f7 Fix and rebuild build scripts 2022-02-08 10:44:48 +01:00
Fedor Isakov 041090d634 Fix module imports (new for 2021.3) 2022-02-08 10:44:48 +01:00
Fedor Isakov 0dcd48b42a Rebuild project 2022-02-08 10:25:28 +01:00
Fedor Isakov 475944192b Fix processing recursive types (BL) 2022-02-08 10:09:40 +01:00
Fedor Isakov f2fedb0cb1 Rebuild project 2021-12-28 13:12:45 +01:00
Fedor Isakov e98ae1a19d Update build scripts to load 3rd-party-rt.jar 2021-12-28 11:09:44 +01:00
Fedor Isakov 4c8ffc0544 Add j.m.bl.classifiers language to the build 2021-11-16 12:04:32 +01:00
Fedor Isakov 6a834600c1 Add null guard NodeBuilder rule 2021-11-15 13:00:03 +01:00
Fedor Isakov 8e672897c5 Drop support for TypeHintExpression 2021-11-10 16:36:49 +01:00
Fedor Isakov 52e6eaf65d Rebuild project 2021-10-27 12:03:49 +02:00
Fedor Isakov 509944c138 Fix typechecking of anonymous class with default ctor 2021-10-27 12:03:49 +02:00
Fedor Isakov fedd56dd55 Extract correct classifier from anonymous class 2021-10-26 17:46:40 +02:00
Fedor Isakov 1ed5fa4e4b Update build project 2021-09-22 17:08:25 +02:00
Fedor Isakov ec6e56c1c3 Fix expandMacro calls to explicitly pass 'subs' parameter recursively 
The hack on which expandMacro parameters used to rely on, resulted in a side-
effect, namely that once passed expandMacro parameter is available
recursively, until overridden.
With new contract all parameters need to be passed on when an expandMacro
is called recursively.
 2021-09-21 17:54:51 +02:00
Fedor Isakov 210f30be1b Prefer node builder to quotation 2021-09-21 17:54:50 +02:00
Fedor Isakov a5105e666a Update build scripts 2021-09-21 17:54:50 +02:00
Fedor Isakov f96211273c Drop hack for finding refs in LateParameter, switch to internal var ref 2021-08-17 09:30:49 +02:00
Fedor Isakov d941435963 Restore language module smodel.queryExt in the project 2021-08-17 09:30:48 +02:00
Fedor Isakov 6b0526ba31 Introduce language j.m.l.types to contain aspect-related generator mappings 2021-08-17 09:29:21 +02:00
Fedor Isakov 74ceb5cbfb Types aspect for j.m.lang.typechecking (in Ext language) 2021-08-04 13:24:59 +02:00
Fedor Isakov b1fbf7265e Update plugin version and platform compatibility 2021-07-29 15:17:18 +02:00
Fedor Isakov 1b44d634b8 Rgenerate build scripts with MPS 2021.2 EAP 2021-07-29 14:46:40 +02:00