natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
125 Commits 26 Branches 0 Tags 127 MiB
Commit Graph

125 Commits

Author SHA1 Message Date
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 8e836a9055 Patched the JCHR compiler to avoid naming constraint parameters in a way producing name clashes, Tree is made a "fixed' class (ie. immutable) 2015-03-12 15:13:10 +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 6d39ceddd3 More tests for the unification solver, string logical 2015-03-11 12:27:47 +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 8b25f31d92 Simplifying the make plugin code 2015-03-11 11:25:04 +01:00
Fedor Isakov 0ee9762140 Deleting the old deprecated concepts, some refactoring 2015-03-01 15:51:57 +01:00
Fedor Isakov 0be226b2eb Updated the IDEA project to support running tests 2015-02-26 16:03:22 +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 558056f9a7 Updating typechecking templates to support conversion of types 2015-02-21 12:43:05 +01:00
Fedor Isakov a9fe6bf973 Fixed calling of rule template methods recursively; use trees as anchors; some editor beautification 2015-02-21 12:43:05 +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 13900bfe90 Fixing the indentation problems in the rules representation. Minor editor improvemements. 2015-02-18 14:36:10 +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 4732a1e896 Another sample that is hard to typecheck, updating the typechecking templates 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 a8b11f5e85 Collect typechecking rules for a class 2015-02-17 17:34:22 +01:00
Fedor Isakov 94bf61359f Removed .idea/workspace.xml 2015-02-17 17:34:22 +01:00
Fedor Isakov 73b8f5c873 Ignore IDEA's workspace file 2015-02-09 16:21:36 +01:00
Fedor Isakov 7290c1541b Added the sources of JCHR implementation 2015-02-09 16:13:04 +01:00
Fedor Isakov 4868439601 Some optimization of the number of rules generated, processing all the models imported from the sample 2015-02-09 16:10:45 +01:00
Fedor Isakov adc7d87169 Support for external method calls in the typechecking rule templates 2015-02-09 16:09:36 +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 8ac189f4aa Adjustments in the typechecking rule templates 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 6a2aa8586f WildcardLogicVariable introduced to enable matching terms with wildcards; JavaConstraint introduced 2015-02-01 22:00:03 +01:00
Fedor Isakov 7ce7a31e91 WildcardTreeVariable introduced to support matching terms with wildcard children; some code reorganization 2015-02-01 21:48:05 +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 3e284ade92 Turned on the debug in order to use the jchr tracer 2015-02-01 21:42:52 +01:00
Fedor Isakov 7f94ccb3c3 Minor improvements in jchr editor 2015-02-01 21:42:33 +01:00
Fedor Isakov 047894bd6e WildcardLogicVariable introduced to support matching and throwing away logic values 2015-02-01 21:42:16 +01:00
Fedor Isakov ae2920fdce Migrated to 139.1564 2015-01-27 17:04:17 +01:00
Fedor Isakov a016629db5 Slight adjustment in the typechecking rule templates for subtyping 2015-01-27 16:29:33 +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 033d57816f Ensure the generated variable names are derived from the original ones 2015-01-27 16:03:34 +01:00
Fedor Isakov 6abe3c6935 Ran the migration to the latest MPS build 2015-01-22 16:37:22 +01:00
Fedor Isakov 4b17120433 Minor editor beautification 2015-01-22 15:53:43 +01:00
Fedor Isakov 9f223fbdf3 Sample typechecking templates for subclassing 2015-01-22 15:53:24 +01:00
Fedor Isakov 929e3df742 Typesystem2 language support for repeated application of typechecking rule templates 2015-01-22 15:50:02 +01:00
Fedor Isakov d17c61fb44 Typechecking rule templates to support repeated application: runtime 2015-01-22 15:48:48 +01:00
Fedor Isakov b18308c4f3 Rule templates for better supporting of the type variables 2015-01-14 18:18:03 +01:00
Fedor Isakov fa9362ca1b Slightly updated the sample 2015-01-14 18:17:28 +01:00
Fedor Isakov 440c61c648 Passing target model down the producers chain 2015-01-14 18:16:36 +01:00
Fedor Isakov 51465e2c85 Constraint arguments checked for != null 2015-01-14 18:14:27 +01:00
Fedor Isakov b89f3f8235 Better rules editor, handler editor displays visibility 2015-01-14 18:09:43 +01:00