3136d7bedb
Switched to the latest EAP build, applied the migrations.
2017-03-09 14:36:20 +01:00
d94fed37d0
Refactor the template editor. Better presentation of rule templates. Drop obsolete/deprectated stuff. Drop Actions aspect.
2017-03-04 12:33:05 +01:00
f86616da73
Introduce custom constraint "error" for reporting the errors.
2017-02-27 16:11:17 +01:00
66ece8499a
Fix the editor: allow logical declaration in type template. Return the correct set of typed nodes.
2017-02-27 16:11:17 +01:00
8da19f5102
Deprecate all old recovery-related stuff, clean up the generator templates. Remove RecoverSession runtime.
2017-02-17 11:58:11 +01:00
b2174a8872
Minor fixes in the editor. Unconditionally set the store view after executing the program.
2017-02-17 11:58:10 +01:00
af9125bfe1
Switch to types recovering using second stage of the program. Remove usages of RecoverSession.
2017-02-17 11:58:10 +01:00
fd4748e91a
New feature: Equals constraint to be used wherease the unification is not applicable/needed.
2017-02-17 11:58:10 +01:00
f8bce81227
Add the "final" property to the term feature, which suppresses generating "pattern" for a match in a rule's head.
2017-02-13 17:23:07 +01:00
d985610a6d
Refactor generating a program from type templates to work with handling stages. Dropping obsolete code. Minor stuff.
2017-02-13 17:23:07 +01:00
43dc0752a0
Enable processing of multi-stage sessions. Display each stage as a separate tab in the activation trace.
2017-02-13 17:23:06 +01:00
dd41e08381
New feature: specify stage for a handler, produce multiple programs from the typechecking model. Stages are specified as strings.
2017-02-09 14:23:57 +01:00
0359ff0ccd
Refactoring in the type templates:
...
- get rid of the dependency on the type concept;
- explicitly create type terms;
- no more "alternative block";
- introduce alternative "new type" pseudo constraint;
- delete the deprecated constructs;
- transition to TypeTermDeclaration;
- separate the term declaration from the type constraints;
- phasing out obsolete stuff.
2017-02-03 11:28:10 +01:00
5b6590df9d
Refactoring: switch to the updated interface methods of SessionSolver. Extract invocation arguments calculation from the predicate/constraint.
2017-02-03 11:15:00 +01:00
b789d6d240
Refactoring: getting rid of the dependencies on SessionSolver soon to be updated.
2017-01-04 10:44:08 +01:00
c3420f3b6c
Find usages of constraints in the head (match) or body (produce).
2016-12-28 12:48:47 +01:00
ec74d7ebd3
Primary constraints in handlers. Switch to multiple primary constraints.
2016-12-28 12:48:35 +01:00
799641bd2e
Make constraint arity a derived property.
2016-12-28 12:48:34 +01:00
f5ed430cd9
Build CLP program with handlers instead of rules. Minor rename refactoring.
2016-12-23 17:42:20 +01:00
012dc6b305
Optimizing imports.
2016-12-23 17:40:05 +01:00
5bb2d9c7fa
Drop the deprecated postProcess and other obsolete features.
2016-12-23 17:40:04 +01:00
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
4e7430b91d
Process multiline profiling data.
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
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
fa05c663a5
New feature: Not predicate.
2016-12-12 16:02:11 +01:00
cd6b30deed
Recovery creates detached nodes by default.
2016-11-16 16:58:57 +01:00
4244259553
Support null terms and free logicals in the recovery. Avoid failure on garbage constraints detected.
2016-11-16 16:16:13 +01:00
5f802cf6cf
Typechecking templates: simplify the code.
2016-11-16 15:44:35 +01:00
fb79d14e90
Fix support for ChildTypeFeature. Better typing of recovery code.
2016-11-15 12:39:50 +01:00
6fc9c454b8
SModel lang extension for typesystem2. Tests.
2016-11-11 14:22:15 +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
10dc206260
Better reporting of errors during typechecking rule templates application
2016-10-19 16:08:55 +02:00
cd61b0f1b8
Fix the access modifier in the typesystem2 generation API
2016-10-19 16:08:24 +02:00
36a9bf6c7e
Ensure the type term initialization happens after the term is constructed.
2016-10-13 13:38:51 +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
236ba853d7
Refactor the way the template and origin node reference are processed.
2016-10-04 15:59:18 +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
817af227f1
Fix the "confusing" LABEL macros in the templates generator, allow to use the "interpreted" generator.
2016-09-17 14:57:56 +02:00
7d959dc154
Refactor the type templates generation and usage. Enable to use type templates outside of the application session.
2016-09-17 14:57:55 +02:00
64a664f5a9
Remove obsolete module.
2016-09-17 14:57:55 +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
Fedor Isakov