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

2898 Commits

Author SHA1 Message Date
Fedor Isakov b5ffb8c83c Drop TypesModuleOwner, stop caring to store types in a model 
This feature causes major problems and is really hard to maintain,
while its utility is questionable.
 2021-04-08 08:51:39 +02:00
Fedor Isakov 636c1a15ef Use tmp model to render type in Show Type Action 2021-04-08 08:51:39 +02:00
Fedor Isakov 105fe1dd7e Fix dataform type conversion to term/termlist 2021-04-08 08:51:39 +02:00
Fedor Isakov 6b3e74dda2 Fix conversions in tuple types 2021-04-08 08:50:50 +02:00
Fedor Isakov f5b4b0edb0 Fix binary op in collections lang 2021-04-08 08:50:28 +02:00
Fedor Isakov 693c760618 Add types for j.m.l.test language. 2021-03-23 12:48:07 +01:00
Fedor Isakov 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
Fedor Isakov 2977b4dd19 Extend expand macro operation with rule input parameter, fix tracking dependencies 
Enable recording the dependencies while expanding macro.
Rename/refactor operations in UpdatesRecorder to reflect the intent
of adding the dependencies.
 2021-03-23 12:48:06 +01:00
Fedor Isakov 258a190fde Rebuild project. 2021-03-23 12:48:06 +01:00
Fedor Isakov c451be1e8a Update MPS build to use 2021-03-23 12:48:06 +01:00
Fedor Isakov 39f7ded3f4 Implement missing methods in typechecking provider 2021-03-08 12:34:40 +01:00
Fedor Isakov 5fc019caca Mark an exhastive check rule as "auxiliary" to avoid including it as dependency. 2021-03-08 12:34:40 +01:00
Fedor Isakov a9ff6730ca Fix concept type conversion to classifier with undefined concept. 2021-03-08 12:34:40 +01:00
Fedor Isakov c36679bcc6 Fix logic inconsistent type error 
Naive check won't suffice to ensure multilogical are used properly.
Need more sophisticated type check.
 2021-03-08 12:34:39 +01:00
Fedor Isakov 7d60ddde46 Drop template trace view tool, merge into activation trace 2021-02-19 14:46:42 +01:00
Fedor Isakov 2ec038aed0 Fix FindApplicableTemplates action 2021-02-18 15:00:28 +01:00
Fedor Isakov 818d4087b2 Fix reported errors disappeared on returning to editor 2021-02-16 13:25:54 +01:00
Fedor Isakov 6a7219f528 Fix using local typechecking if root is null in session flags 2021-02-15 12:29:46 +01:00
Fedor Isakov b70d2cc87b Drop unused dependencies 2021-02-14 15:48:08 +01:00
Fedor Isakov 1cfe1ccc26 Add dummy empty model to fix build 2021-02-14 15:30:38 +01:00
Fedor Isakov 4755c0dfa0 Extract test helper classes into separate redistributable module 2021-02-14 15:12:58 +01:00
Fedor Isakov 8a529758ea Remove build solution from mpscore project 2021-02-14 15:04:29 +01:00
Fedor Isakov fc1c5b8021 Drop project libraries, switch to using the plugin for loading CR modules. 2021-02-13 10:25:24 +01:00
Fedor Isakov d25158b39f Change plugin packaging and versioning 
All modules are to be located under languages/.
Version to be RELEASE-0.9-bBUILD
 2021-02-13 10:20:09 +01:00
Fedor Isakov bd1753e2ef Fix plugin version number, ensure compatibility with MPS starting from 211 2021-02-08 10:11:58 +01:00
Fedor Isakov b497a6ba88 Drop Travis CI integration 2021-02-08 09:05:54 +01:00
Fedor Isakov 49e5302b34 Move artefacts for update site to TeamCity 2021-02-08 09:02:32 +01:00
Fedor Isakov a3aa92e60a Temporarily disable test until problems with MPS build are fixed 2021-02-07 19:17:08 +01:00
Fedor Isakov c1a155a92b
Update build status buttons 2021-02-07 18:40:42 +01:00
Fedor Isakov 0a1987d91f Fix update site and artifact name 2021-02-07 18:30:02 +01:00
Fedor Isakov 81831db86a Move experimental controlflow aspect to a separate language 2021-02-06 15:28:03 +01:00
Fedor Isakov d4cc989ee5 Switch to latest EAP build of MPS 2021.1 2021-02-06 15:28:03 +01:00
Fedor Isakov 54cadb200a Repackage plugin 2021-02-06 15:28:03 +01:00
Fedor Isakov caca5e606f Fix failing CI build because of empty test case 2021-02-05 12:12:48 +01:00
Fedor Isakov c62b7ee3c1 Fix model check errors in generator model 2021-02-04 18:04:06 +01:00
Fedor Isakov dee5db0e96 Drop instances of TermFeature.final property 2021-02-04 18:01:10 +01:00
Fedor Isakov d362da6a60 Rebuild project 2021-02-04 18:01:10 +01:00
Fedor Isakov ed55370a01 Fix model imports (hamcrest lib has been moved to another solution) 2021-02-04 12:27:55 +01:00
Fedor Isakov 7fe5a5ad7a Auto-updated files after migrating to MPS 2021.1 EAP 2021-02-04 12:26:59 +01:00
Fedor Isakov b7f4d227a4 Rebuild project 2021-02-04 09:16:10 +01:00
Fedor Isakov 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
Fedor Isakov 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
Fedor Isakov ecf7eec55a SModel types: fix type of isSubtypeExpression 2021-02-04 08:51:00 +01:00
Fedor Isakov 2f0f2e5b13 BL types: support coerce to target type query kind 2021-02-04 08:51:00 +01:00
Fedor Isakov 0e50b0e1b4 Support coerce query to specified (pattern) type 
Coerce with pattern expects resulting type to be matched with a node
specified in the pattern.
 2021-02-04 08:51:00 +01:00
Fedor Isakov 4d1cdacfe2 BL types: avoid failure on typechecking BaseMethodCall 
BaseMethodCall doesn't always have an enclosing classifier.
 2021-02-04 08:51:00 +01:00
Fedor Isakov be156a5d31 Throw NPE in case an argument or symbol is null in term 2021-02-04 08:51:00 +01:00
Fedor Isakov ad269bb6b5 Ensure typechecking state is properly disposed of on reload 2021-02-04 08:51:00 +01:00
Grigorii Kirgizov 7c0f8682ed Add site docs for incremental algorithm 2021-01-29 16:22:08 +03:00
Grigorii Kirgizov b1d81ef683 Fix apparent type in DataFormPrinter test 2021-01-29 16:21:57 +03:00