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

134 Commits

Author SHA1 Message Date
Fedor Isakov 99a564dac4 Typechecking templates: fix the subtyping/substitution logic, bounds check, LUB 2016-10-13 13:37:58 +02:00
Fedor Isakov 16a8541b3e Refactor error reporting while applygin typechecking templates. Trigger headless rules with the "main" constraint instead of merging everything into one huge conjunction. 2016-10-06 11:48:06 +02:00
Fedor Isakov cb86d9b120 Find applicable templates feature. 2016-10-04 15:59:18 +02:00
Fedor Isakov 67a84b08f6 Refactor the templates application code. Simplifying TypecheckingHelper. 2016-10-04 15:58:11 +02:00
Fedor Isakov 25bddf060b Toolbar buttons expandAll/collapseAll 2016-09-30 18:10:18 +02:00
Fedor Isakov b3dd169531 Typechecking templates: keep the node reference in the type term instead of the id 2016-09-30 18:10:18 +02:00
Fedor Isakov 91f934064e Fix hyperlink rendering in the activation tree; reference extraction from id; icons rendering on the toolbar 2016-09-30 18:09:51 +02:00
Fedor Isakov f91c4aac69 Fix build problems, model imports, minor problems. 2016-09-30 18:07:50 +02:00
Fedor Isakov 36b721fbe0 Type templates: implementing recovery feature. 2016-09-19 13:01:23 +02:00
Fedor Isakov dd1f2f28a5 Refactoring and cleaning up type/rule template API, introduce RecoverySession. Type table has recovery feature. Return type terms from the sample typechecking. Simple test. 2016-09-19 12:17:40 +02:00
Fedor Isakov e17f7405a3 Moving tests specific to sampleLang/types to separate test solution. 2016-09-17 14:57:56 +02:00
Fedor Isakov 198fb8ac23 Avoid reporting assertion error on extracting the text from root nodes. 2016-09-17 14:57:56 +02:00
Fedor Isakov b03e8578e5 Resave all models containing obsolete resolve info. Fix all mentions of the old api class. 2016-09-17 14:57:55 +02:00
Fedor Isakov 9312b7d30e MPS suddenly decided to remove references to the deleted solution. 2016-09-01 11:03:36 +02:00
Fedor Isakov 414a60fffc Moving the reactor API to the separate project. 
Switch to java_stub models for the reactor api.
 2016-09-01 11:03:35 +02:00
Fedor Isakov 4b6ac48a41 Merging TreeForm model into the reactor solution. 
Move unification lib tnd treeform api model to reactor solution.
Remove obsolete solution.
 2016-09-01 11:03:35 +02:00
Fedor Isakov a27cdecc67 Renamings and refactorings in the logic api. 
Use TreeForm name for the tree abstraction.
Rename Atom, Func etc. and the usages.
 2016-09-01 11:03:21 +02:00
Fedor Isakov 9064c6bbb8 Minor fixes, code restructuring, fixing the dependencies, removing obsolete file. 2016-08-30 17:04:11 +02:00
Fedor Isakov 2eae603d40 Removing hard links to models used by the typechecking plugin. 2016-08-29 14:46:57 +02:00
Fedor Isakov b1ca25b235 Migrated to build 162.1310 2016-08-26 12:27:49 +02:00
Fedor Isakov 778f1bf167 Trying to make tests launch from the build file (unsuccessful) 2016-08-26 12:17:10 +02:00
Fedor Isakov 569b1fd082 Build file for making the samplechecker plugin. 2016-08-25 13:55:53 +02:00
Fedor Isakov f0184de4c5 Extracting the JCHR-related stuff to drop it later. 
Cleaning up the obsolete modules.
Get rid of dependencies on JCHR stuff.
 2016-08-25 13:48:02 +02:00
Fedor Isakov b1b7a85c39 Fix types aspect generation in the sampleLang lang. 2016-08-22 16:13:04 +02:00
Fedor Isakov ee1dc0ff82 Extract provisional sample typechecker API to the plugin 2016-08-22 12:22:01 +02:00
Fedor Isakov a1b3b8510e Switch to using the types language aspect for running the sample checker plugin. 2016-08-17 11:47:39 +02:00
Fedor Isakov d78f15b5e5 Move the typechecking templates model to the sampleLang types aspect. 2016-08-17 11:02:33 +02:00
Fedor Isakov 0018ee7154 Implementing types language aspect generation and runtime support. 2016-08-17 11:02:33 +02:00
Fedor Isakov f8876f6b4c Typechecking templates: replaced instances of a deprecated concept 2016-08-15 11:54:35 +02:00
Fedor Isakov 72463c7951 Auto-migrated to the new actions using build 162.1007. 2016-08-12 13:35:44 +02:00
Fedor Isakov 6b02155302 Typechecking templates: replace lists constructed with terms with the dsl construct. 2016-08-09 12:15:33 +02:00
Fedor Isakov c6f06ddcf6 Typechecking templates: making use of the latest features in the typesystem2 language, simplifying the code. 2016-08-05 12:39:39 +02:00
Fedor Isakov df6a9dab7c Typechecking templates: removed the obsolete boilerplate code. 2016-07-29 11:31:55 +02:00
Fedor Isakov fa288602f7 Correct a typo in NodePrinter 2016-07-28 12:44:39 +02:00
Fedor Isakov 53b4a44583 Use the new typetable feature in the sample typechecker plugin 2016-07-28 12:44:38 +02:00
Fedor Isakov 3e82784661 Typechecking templates: rewriting type constructors with the new type table features 2016-07-28 12:44:10 +02:00
Fedor Isakov 17b0f4d0a7 Automatic lang version updates after migrating to EAP3. 2016-07-28 12:43:33 +02:00
Fedor Isakov e5a2d2d096 Typechecking templates: restructuring the code in preparation for new features in typesystem2. 
Restructuring the code making use of the new features in typesystem2.
Minor code cleanup (annotations).
 2016-07-28 12:42:55 +02:00
Fedor Isakov 89ff4ddbe6 Renamed the model j.m.lang.typesystem2.{runtime,generation} 2016-07-01 12:42:29 +02:00
Fedor Isakov d8d149960e Typechecking templates: include bounds check in conversion 2016-06-30 11:21:14 +02:00
Fedor Isakov 710bd28fd7 Auto-updated the mds files. Removed unused broken imports from models. 2016-06-30 09:44:17 +02:00
Fedor Isakov 0aee630b0a Setup memoizer before running the reactor. 2016-06-30 09:42:55 +02:00
Fedor Isakov 61ac13c1b7 Typechecking templates: rewriting new type creator, use logicals only to capture types, bounds can be applied to type variables and wildcards as ground terms. 
Unique ubound and lbound.
Cleaning up the obsolete constructs.
 2016-06-27 13:20:34 +02:00
Fedor Isakov b3f326995e Update samples: new test, make the code cleaner. 2016-06-24 14:36:24 +02:00
Fedor Isakov 700f37982d Refactoring: extract LogicalOwner interface to the reactor API. 2016-06-24 14:36:23 +02:00
Fedor Isakov 089bf0edcf Better visualization of types (ad hoc for now). 2016-06-24 14:36:23 +02:00
Fedor Isakov b58d6193f7 More tests for the typechecker 2016-06-16 11:52:18 +02:00
Fedor Isakov 98a807349d Changes in the typechecking templates that reflect the preceding refactoring. 2016-06-10 14:28:49 +02:00
Fedor Isakov 1b5e55f4a6 Migrated to MPS 3.4 EAP2. 2016-06-08 13:46:19 +02:00
Fedor Isakov 16b250fbec Minor optimization in messages highlighting (mostly useless). 2016-06-08 11:36:29 +02:00