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
|
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
|
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 |
|
Fedor Isakov
|
f4043b8206
|
Updated the unification lib
|
2015-03-31 13:02:47 +02:00 |
|
Fedor Isakov
|
19d9048cb3
|
The TreeLogicVar can act both as a VAR and as a REF depending on whether it's bound, fixing tests
|
2015-03-31 13:02:35 +02:00 |
|
Fedor Isakov
|
07ecdb5651
|
Updated the unification lib
|
2015-03-24 16:28:19 +01:00 |
|
Fedor Isakov
|
fce38c6cdd
|
Updated the typechecking templates to use the modern construct for list
|
2015-03-24 16:27:12 +01:00 |
|
Fedor Isakov
|
77479a076f
|
Support for variables matching a list, getting rid of obsolete code, some refactoring
|
2015-03-24 16:27:08 +01:00 |
|
Fedor Isakov
|
f380297ccb
|
Adopted the new unification solver API
|
2015-03-22 15:19:16 +01:00 |
|
Fedor Isakov
|
c337fe0039
|
Updated the unification lib
|
2015-03-22 15:19:12 +01:00 |
|
Fedor Isakov
|
7e3131a697
|
Supporting logical variables of different types (currently only TreeLogical and StringLogical)
|
2015-03-13 14:45:04 +01:00 |
|
Fedor Isakov
|
63edc8e6b6
|
Fixing processing of constraint parameters: an unbound logical variable produces a local variable, some refactoring
|
2015-03-12 15:27:47 +01:00 |
|
Fedor Isakov
|
753d2da74a
|
Removing instances of obsolete code, cleaning up the model checker issues
|
2015-03-11 13:35:10 +01:00 |
|
Fedor Isakov
|
3af797e768
|
Updated the submodule with unification lib
|
2015-03-11 12:29:51 +01:00 |
|
Fedor Isakov
|
2489d817b0
|
Refactoring: replacing the obsolete constructs with logical substitution, runtime API changes, abstract logical, extracting equals constraint
|
2015-03-11 12:26:57 +01:00 |
|
Fedor Isakov
|
0ee9762140
|
Deleting the old deprecated concepts, some refactoring
|
2015-03-01 15:51:57 +01:00 |
|
Fedor Isakov
|
bdd3530b89
|
Refactoring: moving logical vars to logic lang, supporting new kind of expression in trees, matching variables to lists; tests.
|
2015-02-26 15:55:35 +01:00 |
|
Fedor Isakov
|
756450ceae
|
Removed instances of an obsolete concept to be removed
|
2015-02-26 15:53:48 +01:00 |
|
Fedor Isakov
|
23d5bd0bcb
|
Enable extraction of sub-tree via "asRoot" for later embedding into other tree; editor fixes
|
2015-02-21 12:42:25 +01:00 |
|
Fedor Isakov
|
d19edc677e
|
Logical constraints introduced that are only applicable to logical vars; some refactoring in the runtime; rule tags
|
2015-02-17 17:34:22 +01:00 |
|
Fedor Isakov
|
bdb85040fd
|
Support tags in JCHR rules for easier debugging
|
2015-02-17 17:34:22 +01:00 |
|
Fedor Isakov
|
802583bc8a
|
Testing the unification logic solver. Some minor generator updates.
|
2015-02-09 16:09:00 +01:00 |
|
Fedor Isakov
|
0899569315
|
Refactored out RuleInputSpecification to support rule templates without the input
|
2015-02-02 14:38:45 +01:00 |
|
Fedor Isakov
|
9b8e2642f5
|
Ensure variables get printed by the PrettyPrinter
|
2015-02-02 12:56:20 +01:00 |
|
Fedor Isakov
|
8ef78c48dd
|
Created IDEA project in order to run typechecking jchr code in debugger
|
2015-02-01 22:00:17 +01:00 |
|
Fedor Isakov
|
e0eaa73fe0
|
Implemented the guard producer; supporting Java constraints
|
2015-02-01 22:00:17 +01:00 |
|
Fedor Isakov
|
7329d9f85f
|
Fixed the code to compile with Java 6 without the closures lang
|
2015-02-01 21:44:51 +01:00 |
|
Fedor Isakov
|
86b56d4ac1
|
Refactoring in the unification.tree: cleaning up the API, getting rid of unnecessary classes
|
2015-01-27 16:28:36 +01:00 |
|
Fedor Isakov
|
d17c61fb44
|
Typechecking rule templates to support repeated application: runtime
|
2015-01-22 15:48:48 +01:00 |
|
Fedor Isakov
|
440c61c648
|
Passing target model down the producers chain
|
2015-01-14 18:16:36 +01:00 |
|
Fedor Isakov
|
94792ee4b0
|
Creating sample typechecker for HelloWorld. Small subset of Java supported.
|
2014-12-19 17:44:55 +01:00 |
|
Fedor Isakov
|
91bf7a3d85
|
Migrated to MPS 3.2 EAP (build 139-987)
|
2014-12-15 13:57:15 +01:00 |
|
Fedor Isakov
|
5f90271dc9
|
Make sure classes_jchr dirs are kept, so that MPS can see them on clean rebuild
|
2014-12-13 13:26:15 +01:00 |
|
Fedor Isakov
|
1314fd3994
|
Produce CHR program from the generated typechecking rules + sample
|
2014-12-11 15:52:26 +01:00 |
|
Fedor Isakov
|
64bb958fc8
|
Rename/refactoring in the jchr/logic/typechecking
|
2014-12-11 15:52:26 +01:00 |
|
Fedor Isakov
|
4e77631719
|
Renamed/refactored solutions/models for better packaging
|
2014-12-04 19:53:04 +01:00 |
|
Fedor Isakov
|
319e0c98af
|
Generator of CHR rules from rule templates
|
2014-12-04 12:57:35 +01:00 |
|
Fedor Isakov
|
889a525dc8
|
Simplify usage of parameter and local logic variables
|
2014-11-19 17:07:03 +01:00 |
|
Fedor Isakov
|
79a8b2c7fb
|
Another typechecker sample
|
2014-11-12 11:10:27 +01:00 |
|
Fedor Isakov
|
1a331ba3be
|
Managed to produce a working sample of typechecking Java code. Some refactoring of the tree-related utilities.
|
2014-09-22 12:21:33 +02:00 |
|
Fedor Isakov
|
17d40ff97b
|
Examples of using typechecker
|
2014-09-14 22:58:21 +02:00 |
|
Fedor Isakov
|
05514e108b
|
Auxilliary code to be replaced by the custom language providers
|
2014-09-14 22:57:56 +02:00 |
|
Fedor Isakov
|
b3a73c7b2c
|
Using ITreePart instead of ITreeBranch in the tree API
|
2014-09-14 22:53:03 +02:00 |
|
Fedor Isakov
|
a7b7fcfbb9
|
Improving the mapRecursively functionality, pretty printer
|
2014-08-30 16:25:46 +02:00 |
|
Fedor Isakov
|
cbb33d4f79
|
Refactoring: getting rid of "ast" package
|
2014-08-24 15:26:32 +02:00 |
|
Fedor Isakov
|
27075eb544
|
Experimental types sandbox.
|
2014-08-24 14:51:12 +02:00 |
|
Fedor Isakov
|
aa53fb2c4d
|
Various refactorings in unification tree. Mappers introduced.
|
2014-08-24 14:50:17 +02:00 |
|
Fedor Isakov
|
c2df27ab71
|
TreeWalk and Finders framework for analysing the tree
|
2014-08-16 18:32:31 +02:00 |