Commit Graph

1414 Commits

Author SHA1 Message Date
Fedor Isakov e9c8fb87e5 Switch build dependency to MPS 2018.3 RC2. 2018-11-28 16:48:59 +01:00
Fedor Isakov f0bb068750 Fix instances of removed concepts and broken API calls after migration to 2018.3. Rebuild project. 2018-11-28 16:48:59 +01:00
Fedor Isakov 19ce84f7ef Switch to 2018.3 RC. Apply all migrations. 2018-11-28 16:48:59 +01:00
Fedor Isakov e9d5a05900 Typechecking BL: reimplement type inference, implement and test various missing features. Cleann up and restructure code. 2018-11-28 14:27:51 +01:00
Fedor Isakov f095c64abe Rename 'isBound' predicate to 'isAssigned' (alias only, concept to be renamed still). 2018-11-27 15:10:48 +01:00
Fedor Isakov 8bc26f6cdd Shorten the presentation of user terms in actiovation trace view. Filter out wildcards and empty lists. 2018-11-27 15:10:48 +01:00
Fedor Isakov 939262b4a5 Fix memleak by unregistering mouse listeners on treetable component dispose. 2018-11-27 15:10:14 +01:00
Fedor Isakov 9c4dad3e91 Enable use of input node in macro body. Allow specifying a subset of macro parameters in macro call. 2018-11-20 22:39:30 +01:00
Fedor Isakov bfcf89e3df Use stack to implement storage of template application session objects 2018-11-20 22:39:30 +01:00
Fedor Isakov 6778fab625 Use index to filter nodes on which FailureHandler should report error and clear failed state. 2018-11-20 22:39:30 +01:00
Fedor Isakov 8db1aead11 Fix propagate failure on on reactivated constraint. Always report a failure to avoid confusion with the trace view. 2018-11-20 22:39:30 +01:00
Fedor Isakov 087ccf4503 Fix matching single constraint on reactivation after a logical has been assigned. 2018-11-20 22:39:30 +01:00
Fedor Isakov fc7b9d6caf Always report a failure during evaluation as a warning 2018-11-20 22:39:29 +01:00
Fedor Isakov 33c3f2ba03 Wrap text constructing code into a try-catch when called from UI 2018-11-20 22:39:29 +01:00
Fedor Isakov 15fcfd8044 Temporarily disable checking of constraint parameters's RT types. LateExpression to support RT type. 2018-11-20 22:39:29 +01:00
Fedor Isakov 992fa68bff Ensure that if all the advised errors have been triggered during typechecking. 2018-11-20 22:39:29 +01:00
Fedor Isakov 72e7fdfbfc Ensure FailureHandler is consulted only if there are no more alternatives. 2018-11-20 22:39:29 +01:00
Fedor Isakov c8a56558ae Always use trampoline as blocking scheduler. Avoids deadlocks when two threads wait on read lock, and EDT requests write. 2018-11-06 14:39:01 +01:00
Fedor Isakov 3aeb5a8863 Fix unnecessary dependencies of coderules generator module.
Add missing annotation language to plugin bundle.
2018-11-05 14:49:59 +01:00
Fedor Isakov 06f95c5870 Update build solution to reflect latest changes. 2018-11-04 13:10:40 +01:00
Fedor Isakov 18fbdbd50b Use error annotation in tests instead of simply relying on typechecking failure. 2018-11-04 13:10:40 +01:00
Fedor Isakov 0992b8358e Annotation language feature: annotate a node with expected error. 2018-11-04 13:10:40 +01:00
Fedor Isakov 6788bcf7a1 Switch to latest reactor, update the API calls. Support EvaluationFailure and FailureHandler. 2018-11-04 13:10:40 +01:00
Fedor Isakov 7762095b8d Bump up reactor version to 0.9.2 2018-11-04 12:54:32 +01:00
Fedor Isakov 1b584d2825 Reactor API changes: EvaluationResult and FailureHandler.
Failures are no longer propagated as exceptions, instead evaluation
returns optional failure.
2018-11-04 12:54:32 +01:00
Fedor Isakov 0282f28a5c Bring reporting in line with MPS core reporting facilities. Cleanup the API. 2018-11-04 12:54:32 +01:00
Fedor Isakov d091b291c3 Experimental alternative implementation of rule matching algo 2018-10-08 15:08:36 +02:00
Fedor Isakov 388999833e Minor code optimization 2018-10-08 15:08:11 +02:00
Fedor Isakov bc69a2e291 Minor code reorganization and refactoring. Extract MatchingProbe interface. 2018-10-05 11:25:29 +02:00
Fedor Isakov 834010e2d1 Add a section on total vs partial type checking in docs 2018-09-13 16:18:11 +02:00
Fedor Isakov 6627c06490 Fix matching of reactivated constraints. Fix REF-ed MetaLogical. Minor code cleanup. 2018-09-13 13:52:33 +02:00
Fedor Isakov f7d2129d37 Drop unused class 2018-09-11 18:40:15 +02:00
Fedor Isakov 7bc1ea7262 Auto-updated descriptors 2018-09-11 17:05:50 +02:00
Fedor Isakov 075b34e24d Replacing usages of deprecated concepts. Minor fixes. 2018-09-11 17:01:45 +02:00
Fedor Isakov f12965898f Remove usages of deprecated stuff in typechecking rules. 2018-09-11 15:37:39 +02:00
Fedor Isakov 4ec1656b1b Introduce repository expression to provide context repository in rules. 2018-09-11 15:36:12 +02:00
Fedor Isakov f44de16c3f Introduce a method to access the context repository into Reporting interface. 2018-09-11 12:22:47 +02:00
Fedor Isakov 6287a1147e Fix missing imports 2018-09-11 12:20:50 +02:00
Fedor Isakov a54086ecea Prospective research ideas 2018-09-10 14:38:06 +02:00
Fedor Isakov 55801449fe Ignore IDEA's shelf files 2018-09-10 10:54:38 +02:00
Fedor Isakov 0d88525aa7 Optimize and reorganize occurrence matching 2018-09-10 10:16:34 +02:00
Fedor Isakov a95b1c1311 Document and optimize implementation of PersistentTermTrie.
Introduce alternative "classic" implementation of TermTrie.
Switch to ClassicTermTrie.
2018-09-09 17:14:13 +02:00
Fedor Isakov 3bdcbc0aa8 Rename TermTrie -> PersistentTermTrie, remove dummy usages. 2018-09-08 13:16:43 +02:00
Fedor Isakov 3b509a60e5 New logo for docs website. Using less constrasting colors. Smaller welcome splash 2018-09-06 18:28:46 +02:00
Fedor Isakov 56bed6d03d Some more minor optimisations 2018-09-06 18:28:45 +02:00
Fedor Isakov 694d3d90b5 Add sitemap to docs site 2018-09-05 18:31:51 +02:00
Fedor Isakov c03a4d97ca Update wording and fix typos 2018-09-05 17:42:01 +02:00
Fedor Isakov 59a0d958d7 Minor optimisations and code cleanup 2018-09-05 17:14:24 +02:00
Fedor Isakov bd876c3e25 Restore MPS logo without the decoration 2018-09-05 15:46:47 +02:00
Fedor Isakov 7572ed73ac Fix path to Travis-CI project 2018-09-04 14:46:33 +02:00