acbe631b57
Finally support query parameters. Test "CONVERTS" query.
2018-06-05 15:10:43 +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
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
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
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
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
c60f92b7d8
Drop obsolete constructs.
2018-04-03 15:16:23 +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
9c832b73b3
Testing RuleTemplate with constraint rules in a sandbox.
2018-04-03 12:16:48 +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
b052790f8c
Switch to latest conreactor, update Kotlin runtime libs.
2018-03-05 15:31:39 +01:00
6ac5af596f
Upgrade to the latest MPS release.
2018-01-23 12:29:46 +01:00
bd81dfe749
Bump up the release version to 0.3. Default build number set to 9999.
2018-01-23 11:55:13 +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
c236981fb6
Correct version number of the plugin (0.2).
2017-12-06 18:10:02 +01:00
fb7f249435
Fix project generation by implementing newly introduced abstract methods in MPS interfaces.
2017-12-06 17:44:07 +01:00
d3a4e21ca9
Migrated to MPS2017.3.
2017-12-06 16:36:28 +01:00
8c81df5fae
Automating updates file generation and upload using Travis CI.
2017-12-04 20:40:52 +01:00
114f4b8079
Bumped up version in plugin.xml.
2017-12-04 13:34:57 +01:00
ab8f4709ee
Make checking for garbage optional by default. Garbage is always reported though.
2017-12-04 12:30:21 +01:00
2ba4ee5712
Correct plugin version. Create updatePlugins.xml to provide updates.
2017-11-15 14:11:38 +01:00
323cfdf080
Introduce environment variable to control whether to report garbage constraints.
...
Fix NPE on missing rules for a stage during rules application.
2017-11-15 11:46:44 +01:00
83b52e8b45
Drop usages of java expression solver, deprecate the API calls that require it.
2017-11-14 15:09:33 +01:00
291c0b58cd
Display baseline conventional typechecking time.
2017-11-03 12:09:13 +01:00
45aa42bfe3
Enable control of output of profiling data with a system property.
2017-11-01 12:12:29 +01:00
51baea8b26
Typechecking plugin: drop read action from evaluation step.
2017-10-31 12:33:09 +01:00
3ed8d2e375
Switch to latest release of constraints reactor lib. Update the dependency libs.
2017-10-30 19:51:42 +01:00
7f1e07ebe7
Typesystem2 lang: Switch to using LateExpression for handling Java code in logical clauses; Introduce ExpressionItem, create a migration that replaces LogicalValue with ExpressionItem; Migration to replace LogicalValue; Drop generation of ExpressionSolver.
2017-10-27 16:30:28 +02:00
0ead14f24b
Applied migration in Logic lang.
2017-10-25 16:33:09 +02:00
b3b62d2cca
UI: Fix presentation of terms, values and lists.
2017-10-24 16:05:05 +02:00
bc3ff79a9c
Migration applied: extract ListRole.
2017-10-23 12:08:50 +02:00
f4a3f1fae5
Logic language runtime: refactor the TreeForm API for cleaner and more readable design, code cleanup, drop obsolete code.
2017-10-23 10:54:30 +02:00
e9a35f4fae
Fix module dependencies
2017-10-23 10:23:12 +02:00
7c28db8854
UI: Drop string hacks, drop hardcoded term feature names. Code cleanup.
2017-10-19 17:55:09 +02:00
7aef68dfc3
Typesystem2 language refactoring: Delete obsolete unused code. Rename the runtime model (type->macro).
2017-10-18 12:41:49 +02:00
12afe4fa9c
Update the distribution zip file name to correspond to the package version (0.2).
2017-10-16 14:32:46 +02:00
19af096768
Typesystem2 language: new nomenclature, "Macro Table" instead of "Type Table", call/expand operations instead of newType/asType, specify applicable concept as MacroInputDeclaration's type, replace TypeNodeExpression with MacroInputParameter, migration.
2017-10-16 13:55:32 +02:00
c2b445b8e0
Update samples: raw type.
2017-10-13 11:51:11 +02:00
adbd00aeed
Ensure local typechecking produces same results when running tests.
2017-10-13 11:49:45 +02:00
Fedor Isakov