27420433dc
Types for j.m.lang.behavior
2021-04-08 08:55:33 +02:00
5c13129daa
Fix type of logical variables in coderules types
2021-04-08 08:55:32 +02:00
65b32a4f48
Fix lub processing in BL types
2021-04-08 08:54:46 +02:00
1eadb46611
Fix smodel types: assign void type to operations w/o returned value
2021-04-08 08:54:22 +02:00
d527d5a114
Suppress errors in test code
2021-04-08 08:53:30 +02:00
d7ff661670
Types for j.m.l.test lang
2021-04-08 08:53:29 +02:00
28dd6c7a12
Implement feedback invalidation based on (in)validated rules
...
Refactor supervisor/feedback consumer to support feedback basis.
Track (in)validated rules tags in RulePlanHandler.
Both (in)- and validated rules cause associated feedback to be cleared.
Disable passing SessionToken in WatchingIncremental strategy;
this forces the correct journal recording but turns off incrementality.
2021-04-08 08:51:40 +02:00
c51a984648
Alternative solution for invalidating feedback
...
Introduce feedback basis to track dependencies on rules.
Index journal chunks by evidence for quick lookup.
The feedback basis is the collection of principal rules tags
from the justifications of the current match.
2021-04-08 08:51:39 +02:00
7c89dfdffd
Refactoring in program producing: getting ready to drop incrementality
...
Optionally produce partial program in incremental mode.
A partial program includes all "static" rules plus the "required closure"
of all changed nodes.
Produce program for required nodes unconditionally.
Mark all rule updates as validated only if exlicitly asked for it.
2021-04-08 08:51:39 +02:00
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
636c1a15ef
Use tmp model to render type in Show Type Action
2021-04-08 08:51:39 +02:00
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
Fedor Isakov