105fe1dd7e
Fix dataform type conversion to term/termlist
2021-04-08 08:51:39 +02:00
6b3e74dda2
Fix conversions in tuple types
2021-04-08 08:50:50 +02:00
f5b4b0edb0
Fix binary op in collections lang
2021-04-08 08:50:28 +02:00
693c760618
Add types for j.m.l.test language.
2021-03-23 12:48:07 +01: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
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
258a190fde
Rebuild project.
2021-03-23 12:48:06 +01:00
c451be1e8a
Update MPS build to use
2021-03-23 12:48:06 +01:00
39f7ded3f4
Implement missing methods in typechecking provider
2021-03-08 12:34:40 +01:00
5fc019caca
Mark an exhastive check rule as "auxiliary" to avoid including it as dependency.
2021-03-08 12:34:40 +01:00
a9ff6730ca
Fix concept type conversion to classifier with undefined concept.
2021-03-08 12:34:40 +01:00
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
7d60ddde46
Drop template trace view tool, merge into activation trace
2021-02-19 14:46:42 +01:00
2ec038aed0
Fix FindApplicableTemplates action
2021-02-18 15:00:28 +01:00
818d4087b2
Fix reported errors disappeared on returning to editor
2021-02-16 13:25:54 +01:00
6a7219f528
Fix using local typechecking if root is null in session flags
2021-02-15 12:29:46 +01:00
b70d2cc87b
Drop unused dependencies
2021-02-14 15:48:08 +01:00
1cfe1ccc26
Add dummy empty model to fix build
2021-02-14 15:30:38 +01:00
4755c0dfa0
Extract test helper classes into separate redistributable module
2021-02-14 15:12:58 +01:00
8a529758ea
Remove build solution from mpscore project
2021-02-14 15:04:29 +01:00
fc1c5b8021
Drop project libraries, switch to using the plugin for loading CR modules.
2021-02-13 10:25:24 +01:00
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
bd1753e2ef
Fix plugin version number, ensure compatibility with MPS starting from 211
2021-02-08 10:11:58 +01:00
b497a6ba88
Drop Travis CI integration
2021-02-08 09:05:54 +01:00
49e5302b34
Move artefacts for update site to TeamCity
2021-02-08 09:02:32 +01:00
a3aa92e60a
Temporarily disable test until problems with MPS build are fixed
2021-02-07 19:17:08 +01:00
c1a155a92b
Update build status buttons
2021-02-07 18:40:42 +01:00
0a1987d91f
Fix update site and artifact name
2021-02-07 18:30:02 +01:00
81831db86a
Move experimental controlflow aspect to a separate language
2021-02-06 15:28:03 +01:00
d4cc989ee5
Switch to latest EAP build of MPS 2021.1
2021-02-06 15:28:03 +01:00
54cadb200a
Repackage plugin
2021-02-06 15:28:03 +01:00
caca5e606f
Fix failing CI build because of empty test case
2021-02-05 12:12:48 +01:00
c62b7ee3c1
Fix model check errors in generator model
2021-02-04 18:04:06 +01:00
dee5db0e96
Drop instances of TermFeature.final property
2021-02-04 18:01:10 +01:00
d362da6a60
Rebuild project
2021-02-04 18:01:10 +01:00
ed55370a01
Fix model imports (hamcrest lib has been moved to another solution)
2021-02-04 12:27:55 +01:00
7fe5a5ad7a
Auto-updated files after migrating to MPS 2021.1 EAP
2021-02-04 12:26:59 +01:00
b7f4d227a4
Rebuild project
2021-02-04 09:16:10 +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
ecf7eec55a
SModel types: fix type of isSubtypeExpression
2021-02-04 08:51:00 +01:00
2f0f2e5b13
BL types: support coerce to target type query kind
2021-02-04 08:51:00 +01:00
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
4d1cdacfe2
BL types: avoid failure on typechecking BaseMethodCall
...
BaseMethodCall doesn't always have an enclosing classifier.
2021-02-04 08:51:00 +01:00
be156a5d31
Throw NPE in case an argument or symbol is null in term
2021-02-04 08:51:00 +01:00
ad269bb6b5
Ensure typechecking state is properly disposed of on reload
2021-02-04 08:51:00 +01:00
7c0f8682ed
Add site docs for incremental algorithm
2021-01-29 16:22:08 +03:00
b1d81ef683
Fix apparent type in DataFormPrinter test
2021-01-29 16:21:57 +03:00
40a93d5ba9
Temporarily disable one failing test in IncrClassHierarchy; Preamble tests
...
Preamble tests should be reviewed. It's also unclear
whether preamble feature is effective and needed at all.
2021-01-29 16:21:57 +03:00
aaa6e5e2f9
Refactoring: simplify RewindStage & related logic (MPSCR-21). Add docs, some renames.
...
ProcessingSession -> SessionManager
RewindVolatileOccurrencesStage -> RewindStage
2021-01-29 13:39:35 +03:00
Fedor Isakov