8c3728aa74
Refactor typesystem2 runtime and generator to support handler templates referred to by rule templates. Enable to drop "postProcess" flag on the rules.
2016-12-23 17:26:25 +01:00
641ac6616c
Support non-treeform logical values.
2016-12-15 14:11:22 +01:00
fe5d24ea35
Update all external jars.
2016-12-14 17:08:31 +01:00
c796e43d35
Typesystem2 runtime: refactoring the pattern support in type template.
2016-12-12 16:02:13 +01:00
2c5321f635
Avoid running the evaluation with profiling when not tracing.
2016-12-12 16:02:13 +01:00
a5a05531b4
Typechecking templates: Refactoring and straightening up the typesystem, cleaning up and dropping unused rules and constraints.
...
Refactoring bounds, containment.
Using new type construct for non-patterns.
Using new type construct for non-patterns.
New features: support for boxing, array conversion, capture classifier type parameters.
2016-12-12 16:02:12 +01:00
9548ef0e1f
Catch VirtualMachineError while evaluating the program to avoid IDE errors on stack overflow. Avoid failiure on type recovery. Report problems arised while applying templates. Timeout for program evaluation. Report profiling even if the evaluation fails.
2016-12-12 16:02:12 +01:00
d2aa5bad29
Refactor NodePrinter to not be dependent on the BL types. Better representation of logicals and values in the activation trace. Use the logical snapshot's value. Get rid of type formatter.
2016-11-26 13:10:18 +01:00
cd6b30deed
Recovery creates detached nodes by default.
2016-11-16 16:58:57 +01:00
98b4a731e6
Fix the build scripts.
2016-11-11 14:22:44 +01:00
aa9826e2e3
Typechecking facade. Tests.
2016-11-10 16:35:03 +01:00
57bfd6433e
Refactoring out the typechecking code from the sample plugin.
2016-11-07 15:07:16 +01:00
abce7d2cb7
Use the SRepository interface instead of Project in typechecking aspect
2016-11-02 12:21:10 +01:00
c21df9b8a2
Migrated to the latest MPS build.
2016-10-31 10:03:31 +01:00
5692b4ad86
Displaying the rendered type node in the tooltip
2016-10-31 10:03:13 +01:00
40efd1accf
Add a test for a big java root.
2016-10-20 13:01:05 +02:00
6e4284e61c
Fix NodePrinter in order to avoid failures while typechecking.
2016-10-20 12:55:03 +02:00
6abca3f4e9
Attempting to make tests run from the generated build script.
2016-10-19 11:22:59 +02:00
7621d73208
Fix running tests out-of-process (bad dependencies causing the classloader to fail)
2016-10-13 16:01:33 +02:00
99a564dac4
Typechecking templates: fix the subtyping/substitution logic, bounds check, LUB
2016-10-13 13:37:58 +02:00
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
cb86d9b120
Find applicable templates feature.
2016-10-04 15:59:18 +02:00
67a84b08f6
Refactor the templates application code. Simplifying TypecheckingHelper.
2016-10-04 15:58:11 +02:00
25bddf060b
Toolbar buttons expandAll/collapseAll
2016-09-30 18:10:18 +02:00
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
f91c4aac69
Fix build problems, model imports, minor problems.
2016-09-30 18:07:50 +02:00
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
e17f7405a3
Moving tests specific to sampleLang/types to separate test solution.
2016-09-17 14:57:56 +02:00
198fb8ac23
Avoid reporting assertion error on extracting the text from root nodes.
2016-09-17 14:57:56 +02:00
b03e8578e5
Resave all models containing obsolete resolve info. Fix all mentions of the old api class.
2016-09-17 14:57:55 +02:00
9312b7d30e
MPS suddenly decided to remove references to the deleted solution.
2016-09-01 11:03:36 +02:00
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
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
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
9064c6bbb8
Minor fixes, code restructuring, fixing the dependencies, removing obsolete file.
2016-08-30 17:04:11 +02:00
2eae603d40
Removing hard links to models used by the typechecking plugin.
2016-08-29 14:46:57 +02:00
778f1bf167
Trying to make tests launch from the build file (unsuccessful)
2016-08-26 12:17:10 +02:00
569b1fd082
Build file for making the samplechecker plugin.
2016-08-25 13:55:53 +02:00
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
ee1dc0ff82
Extract provisional sample typechecker API to the plugin
2016-08-22 12:22:01 +02:00
a1b3b8510e
Switch to using the types language aspect for running the sample checker plugin.
2016-08-17 11:47:39 +02:00
d78f15b5e5
Move the typechecking templates model to the sampleLang types aspect.
2016-08-17 11:02:33 +02:00
0018ee7154
Implementing types language aspect generation and runtime support.
2016-08-17 11:02:33 +02:00
f8876f6b4c
Typechecking templates: replaced instances of a deprecated concept
2016-08-15 11:54:35 +02:00
72463c7951
Auto-migrated to the new actions using build 162.1007.
2016-08-12 13:35:44 +02:00
6b02155302
Typechecking templates: replace lists constructed with terms with the dsl construct.
2016-08-09 12:15:33 +02:00
c6f06ddcf6
Typechecking templates: making use of the latest features in the typesystem2 language, simplifying the code.
2016-08-05 12:39:39 +02:00
df6a9dab7c
Typechecking templates: removed the obsolete boilerplate code.
2016-07-29 11:31:55 +02:00
fa288602f7
Correct a typo in NodePrinter
2016-07-28 12:44:39 +02:00
53b4a44583
Use the new typetable feature in the sample typechecker plugin
2016-07-28 12:44:38 +02:00
Fedor Isakov