Fedor Isakov
|
d174a900c0
|
Switched to using data type for logical vars
|
2015-07-20 17:08:55 +02:00 |
|
Fedor Isakov
|
e370d56d46
|
Support for wildcard logical vars
|
2015-07-20 17:07:47 +02:00 |
|
Fedor Isakov
|
9f3970e8e0
|
Extended the logical type with the underlying data type
|
2015-07-20 17:06:34 +02:00 |
|
Fedor Isakov
|
0592e7bd1c
|
Typo fixed
|
2015-07-18 15:05:36 +02:00 |
|
Fedor Isakov
|
0aa8f07213
|
Improving the editor for typechecking templates
|
2015-07-18 15:02:58 +02:00 |
|
Fedor Isakov
|
9192087a9a
|
Improving the editor for logical constructs/terms
|
2015-07-18 14:55:34 +02:00 |
|
Fedor Isakov
|
29671c3b46
|
Fixed expression constraint editor
|
2015-07-16 13:33:48 +02:00 |
|
Fedor Isakov
|
0c692dd09f
|
Typechecking templates updated
|
2015-07-16 13:33:06 +02:00 |
|
Fedor Isakov
|
af45f35f2e
|
Some cleanup/renamings in the template collection API
|
2015-07-13 21:44:48 +02:00 |
|
Fedor Isakov
|
ba3ba5293c
|
Typechecking templates updated
|
2015-07-13 13:11:47 +02:00 |
|
Fedor Isakov
|
62628b6ad6
|
New samples for typechecking
|
2015-07-13 13:09:13 +02:00 |
|
Fedor Isakov
|
a057f2d77f
|
Automatically update language imports
|
2015-07-09 17:54:32 +02:00 |
|
Fedor Isakov
|
9131b3f25a
|
Fixed the typechecking rule template
|
2015-07-09 17:53:11 +02:00 |
|
Fedor Isakov
|
2473fa8a80
|
Better tracer view of the JCHR processing
|
2015-07-09 17:51:35 +02:00 |
|
Fedor Isakov
|
14331dab61
|
Typechecking templates updated
|
2015-06-18 18:31:00 +02:00 |
|
Fedor Isakov
|
e93144d7ef
|
Fixed running the rules handler, better tracing of evaluated constraints
|
2015-06-18 18:30:47 +02:00 |
|
Fedor Isakov
|
e91a1d9b4f
|
Ensure the built-in constraints are correctly initialized
|
2015-06-18 18:29:16 +02:00 |
|
Fedor Isakov
|
d18b1dd219
|
Make sure classes_jchr dirs are kept, so that MPS can see them on clean rebuild
|
2015-06-18 13:22:25 +02:00 |
|
Fedor Isakov
|
afaaa77de8
|
Fixed the tests
|
2015-06-17 16:52:53 +02:00 |
|
Fedor Isakov
|
90b8f58143
|
Refactoring the code to use the updated API for processing constraints
|
2015-06-17 16:12:51 +02:00 |
|
Fedor Isakov
|
9291340812
|
A new API for constraint processing
|
2015-06-12 14:24:05 +02:00 |
|
Fedor Isakov
|
cd88767e1c
|
Better progress reporting UI for the sample plugin
|
2015-06-10 16:56:52 +02:00 |
|
Fedor Isakov
|
5793d07d88
|
Make sure classes_jchr dirs are kept, so that MPS can see them on clean rebuild
|
2015-06-09 18:09:45 +02:00 |
|
Fedor Isakov
|
9baac48ead
|
Message view tracer to debug JCHR rules execution
|
2015-06-09 18:09:45 +02:00 |
|
Fedor Isakov
|
04b362cc18
|
IDEA modules updated
|
2015-06-08 13:39:45 +02:00 |
|
Fedor Isakov
|
7591c0c79e
|
Sample templates: method declaration, subclassing, lub finding, tests
|
2015-06-08 13:39:21 +02:00 |
|
Fedor Isakov
|
67161188ce
|
LubSolver tests
|
2015-06-08 13:39:20 +02:00 |
|
Fedor Isakov
|
6268759f7a
|
Launching the handler: assert solver, finding the correct constructor
|
2015-06-08 13:39:20 +02:00 |
|
Fedor Isakov
|
f66267d723
|
Typechecking2 language: introduced boundParam in required(), list support, pre/post processing of static rule templates
|
2015-06-08 13:39:19 +02:00 |
|
Fedor Isakov
|
ed07a82bb5
|
Typechecking2 runtime: introduced boundParam in required(), list support, pre/post processing of static rule templates
|
2015-06-08 13:39:19 +02:00 |
|
Fedor Isakov
|
7ee4e4c628
|
Assert builtin constraint
|
2015-06-08 13:39:19 +02:00 |
|
Fedor Isakov
|
c777801036
|
Testing LUB solver
|
2015-05-13 13:49:38 +02:00 |
|
Fedor Isakov
|
f6d26f5a35
|
Introduced ExpressionConstraint; template parts contribute to the main template; refactored the templates runtime
|
2015-05-13 13:49:38 +02:00 |
|
Fedor Isakov
|
37d3b6c851
|
Support for usage of StaticMethodCall in constraint; ensure the JCHR compiler error is propagated to make
|
2015-05-13 13:49:38 +02:00 |
|
Fedor Isakov
|
46f55a0006
|
LUB finding algorithm and tests
|
2015-05-13 13:49:38 +02:00 |
|
Fedor Isakov
|
47dcd0864b
|
Updated the IDEA project to run the tests
|
2015-05-13 13:49:37 +02:00 |
|
Fedor Isakov
|
913b43d508
|
Typechecking annotation language to display node type along with it in the editor
|
2015-05-13 13:49:37 +02:00 |
|
Fedor Isakov
|
28ea8ed8e4
|
Updated the IDEA project to run the handler: new module for typesystem2 runtime
|
2015-05-13 13:49:37 +02:00 |
|
Fedor Isakov
|
f5f999b7be
|
Refactored out SModel-related templates from the runtime. Better reusable pretty printing of nodes. Project reorganization.
|
2015-04-15 18:27:06 +02:00 |
|
Fedor Isakov
|
1950dcc7a8
|
Better processing of wildcard variables
|
2015-04-15 17:24:14 +02:00 |
|
Fedor Isakov
|
07a5345d9b
|
Rewriting rule templates to better support java typesystem
|
2015-04-13 16:47:24 +02:00 |
|
Fedor Isakov
|
29e6d168b8
|
Nice printing of Ast nodes to make debugging of typechecking rules easier
|
2015-04-13 16:47:21 +02:00 |
|
Fedor Isakov
|
bdbfd508d9
|
Updated the IDEA project to run the handler
|
2015-04-13 16:47:19 +02:00 |
|
Fedor Isakov
|
ce6e138187
|
Introduced naming context for logical instances to avoid name clashes when recusively processing AST
|
2015-04-13 16:47:18 +02:00 |
|
Fedor Isakov
|
4c1cbb34bc
|
Added the missing dependency required to build the editor
|
2015-04-13 16:47:18 +02:00 |
|
Fedor Isakov
|
3c27aa79e1
|
More strict checking of rules, fixing minor problems reported by model checker, minor update of the rules runner
|
2015-04-08 15:40:32 +02:00 |
|
Fedor Isakov
|
72a3aac2e2
|
Collect templates for required nodes. Enable rule templates to tell what nodes are to be walked in addition to the one passed as parameter.
|
2015-04-08 15:40:31 +02:00 |
|
Fedor Isakov
|
f2a5220ae1
|
Another rule parameter block: bound value (à la let binding). Allows to extract a value to a parameter.
|
2015-04-02 20:01:31 +02:00 |
|
Fedor Isakov
|
f54c0783c4
|
Extracted sample code to a separate solution. Support for marking the types on arbitraty code
|
2015-04-02 13:16:22 +02:00 |
|
Fedor Isakov
|
ced411a708
|
One action to collect rules, make and run. Mark all types in the editor. Rewrote launching of typechecking constraints
|
2015-03-31 13:02:51 +02:00 |