760ec4e736
Fix a dependency problem.
2018-06-12 13:06:30 +02:00
3f67662683
Dropped deprecated constructs in typesystem2 lang.
2018-06-12 13:01:44 +02:00
a58caa24ef
Drop support for HandlingStage. Stages no longer necessary in presence of queries.
2018-06-11 19:15:46 +02:00
4a8e0bd846
Deprecate "stage" feature of handlers and query templates.
2018-06-11 15:06:23 +02:00
76c17095ea
Minor refactorings in typesystem2 runtime/templates.
2018-06-11 15:02:04 +02:00
494fecff51
More deprecated constructs in typesystem2 language and runtime.
2018-06-11 13:48:07 +02:00
c43c921926
Fix editing of RuleTemplate's "exactly" property.
2018-06-08 12:30:56 +02:00
4e64aa7d55
Deprecated obsolete constructs to be migrated to new ones.
2018-06-07 16:37:56 +02:00
2e13e86112
Migration to replace simple rules with rule templates. RequireAll statement. Minor generator fixes.
2018-06-07 15:46:17 +02:00
acbe631b57
Finally support query parameters. Test "CONVERTS" query.
2018-06-05 15:10:43 +02:00
bd99befdb6
Fix a couple of bugs in template application logic.
2018-06-05 15:09:33 +02:00
2de4d69781
Introduce QueryKind. Fix the kinds of typechecking queries. Avoid directly linking the queries in types aspect.
2018-06-04 18:45:08 +02:00
49296df88f
Fix the dependencies to avoid breaking the build.
2018-05-24 12:47:25 +02:00
ce688b3672
Refactor ProgramProducer to use query templates.
...
Switch to using queries to launch program stages.
Refactor typesystem2 lang and runtime to break queries into stages.
Rename ChrProgram to LogicProgram.
2018-05-24 11:54:01 +02:00
bc1f865eeb
Switch to using queries in UI actions. Rule application accepts only list of nodes, drop the "root" use case.
2018-05-17 12:07:51 +02:00
e056befb4e
Establish module dependencies that make sense.
2018-05-17 12:07:50 +02:00
1b564b3057
Implementing QueryTemplate API and support in the evaluation environment.
2018-05-17 12:07:50 +02:00
fec79ebde3
Refactoring in typesystem2 runtime and template APIs: cleaning up the code and preparing to introduce queries. Support for extended handler templates.
2018-05-17 12:07:50 +02:00
c41c4e6e42
Deprecate obsolete concept.
2018-04-25 16:57:29 +02:00
6842ffb287
Ensure anchor nodes imply required in application session.
2018-04-25 16:34:24 +02:00
112240a6c0
Turn off checking for garbage constraints by default.
2018-04-24 17:19:53 +02:00
414ff30f49
Add "extends" feature to Handler, defines the scope of constraints used in the Head of constraint rules. Drop support for primary constraints in the generator.
2018-04-24 17:19:53 +02:00
e4a3bf44cc
Deprecate old concepts and delete generator templates.
2018-04-19 16:54:16 +02:00
c01e1d76c9
Refactoring: moving term-related concepts into a separate language, use dataform nomenclature instead of term where possible. Create migration.
2018-04-19 16:30:23 +02:00
085918e21a
Refactoring: rename treeform to dataform everywhere in the runtime.
2018-04-17 13:56:32 +02:00
3231f004be
Minor fixes in the editor: fix the constraints.
2018-04-17 11:25:11 +02:00
d45bfeccc7
Deprecate a misplaced concept, copy to where it belongs, create migration.
2018-04-10 16:17:42 +02:00
18b459b254
Typesystem2: improvements in the editor and language structural constraints.
2018-04-10 14:24:39 +02:00
4b41d3df1a
Fix generator for reporting.
2018-04-10 14:22:48 +02:00
487ddddff3
Switched to MPS 2018.1
2018-04-10 14:22:48 +02:00
a6c31b64b7
Reporting errors with SNode operation, support for reporting from constraint rules.
2018-04-05 12:29:39 +02:00
f730641327
Extract "reporting" solution and interface.
2018-04-04 10:52:14 +02:00
e30c5e268b
Extend typesystem2 lang with "assign type" operation. TypecheckingSessionSolver to be used for reporting the calculated type. Manual migration required.
2018-04-03 15:16:14 +02:00
28d412997c
Ensure all program's predicate symbols and corresponding solvers are registered.
2018-04-03 12:16:48 +02:00
0e14b04c17
Use LateExpression for expression item always. Introduce ConstantExpressionItem to be used if no late evaluation is needed.
2018-04-03 12:16:48 +02:00
8cb2328130
Slightly update the editor for constraint rules. Use tilde to mark "discarded" constraints in the head.
2018-04-03 12:16:48 +02:00
c588f0cff2
Fix the RuleTemplate support in the generator and the editor.
2018-04-03 12:16:47 +02:00
2e331a2173
Separate containers for logical parameters declaration. Migration to consolidate all parameters within a rule.
2018-04-03 12:16:47 +02:00
ccb46e8ce1
Simplify constraint rules editor. Use "!" to mark kept constraints in the head.
2018-04-03 12:16:47 +02:00
213f01f47d
Require statement to replace "required block".
2018-04-03 12:16:47 +02:00
9ecf60fac9
Drop calcucating required dependencies during generation. Rely on runtime callbacks instead.
2018-04-03 12:16:47 +02:00
a6bd6dac9c
New structure of RuleTemplate, get rid of various "code blocks" in favour of regular control statements.
2018-04-03 12:16:38 +02:00
e7710aedd5
Use normal COPY-SRC on assert's argument.
2018-01-17 14:55:53 +01:00
e9201b8348
Experimental feature: substitute operator for terms.
2018-01-17 14:55:04 +01:00
9aefd49975
Support for multiple typechecking aspects. An aspect is extended by another aspect in an extension language.
2018-01-08 16:50:20 +01:00
273abf3091
Support for multiple languages contributing to the same handling stage. Refactorings in the macro templates API. Drop trivial interfaces. Consolidate all macro selection in single place.
2018-01-08 11:50:03 +01:00
7912e4bdec
Refactorings in the templates API. Streamline processing of handling stages.
2018-01-05 15:36:59 +01:00
43a823a2b5
Refactorings in the API. Introducing RuleProcessingSession to facilitate all operations with the rule processing. Consolidating all low-level stuff in runtime solution. Preparing for multiple languages support.
2018-01-05 13:58:24 +01:00
a74f4fb944
Dropping deprecated API, renaming obsolete API calls.
2017-12-14 14:46:04 +01:00
32375d313d
Dropping deprecated language constructs.
2017-12-14 12:59:34 +01:00
Fedor Isakov