a8e6c565b5
Rename the language and runtime solution: typesystem2 -> coderules. Move typechecking-related stuff to typechecking solution. Reorganize modules, delete obsolete stuck files.
2018-06-12 18:00:30 +02:00
ecdaa8a486
Drop deprecated and obsolete runtime classes.
2018-06-12 13:39:39 +02:00
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
3698fdd1a5
Typechecking templates: manually migrated hard rules to rule templates.
2018-06-07 16:31:02 +02:00
3310b6cd12
Sample lang: automatically migrated simple rules to rule templates.
2018-06-07 15:48:32 +02:00
6707f67fca
Typechecking templates: automatically migrated simple rules to rule templates.
2018-06-07 15:48:19 +02:00
2e13e86112
Migration to replace simple rules with rule templates. RequireAll statement. Minor generator fixes.
2018-06-07 15:46:17 +02:00
dfa819c7d6
Fix show type action, drop obsolete code.
2018-06-06 12:44:33 +02:00
655f39987b
Fix not reloadable templates by listening to SRepository (moduleRemoved).
2018-06-06 12:31:31 +02:00
c84e86bbb2
Use correct query kind in testlang.
2018-06-06 12:30:56 +02:00
eb75184949
Typechecking templates: switch to single stage. Use query's conjunction to order check and recover.
2018-06-06 11:34:45 +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
c0477d8686
Typechecking templates: rename "SubtypeOf" query to "ConvertsTo". Use the "converts" constraint.
2018-06-05 15:07:38 +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
44fb682ee1
Sample test language.
2018-05-24 12:00:44 +02:00
26e6df3983
Typechecking templates: drop auto rules that launch "checkAll" and "recoverAll", switch to queries instead.
2018-05-24 11:54:02 +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
b4b56f20b9
Typechecking templates: default query "main".
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
c12e0c7353
Add .mps/shelf to .gitignore
2018-04-25 16:57:30 +02:00
c41c4e6e42
Deprecate obsolete concept.
2018-04-25 16:57:29 +02:00
0713c80a27
Typechecking templates: drop internal "typeOf" constraint, replace with custom declaration.
2018-04-25 16:34:24 +02:00
6842ffb287
Ensure anchor nodes imply required in application session.
2018-04-25 16:34:24 +02:00
2f6efaa10a
Drop "auto" constraint rules with empty Head.
2018-04-24 17:19:53 +02:00
112240a6c0
Turn off checking for garbage constraints by default.
2018-04-24 17:19:53 +02:00
51297a956f
Typechecking templates: specify "extends" where necessary.
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
849116d2e4
Applied the migration.
2018-04-19 16:30:41 +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
4ec6bff2e2
Typechecking templates: ran the migration.
2018-04-10 16:17:43 +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
bfe74e3c7c
Bumped up plugin version to 0.4
2018-04-05 12:40:17 +02:00
Fedor Isakov