Fedor Isakov
|
20622554f2
|
Switch to MPS 172 latest RC build. Fix a couple of parent-invariant violations in the type system, remove obsolete intention.
|
2017-07-19 16:22:59 +02:00 |
|
Fedor Isakov
|
7d422d4921
|
Avoid requesting SNode's presentation for the constraints program: too slow.
|
2017-07-18 11:25:31 +02:00 |
|
Fedor Isakov
|
9e8c5145d3
|
Add a missing dependency, fix the error.
|
2017-06-12 21:55:53 +02:00 |
|
Fedor Isakov
|
0a615c8490
|
Rename solution "typesystem2.test" to "typechecking.test".
|
2017-06-12 19:01:49 +02:00 |
|
Fedor Isakov
|
51263e9b8b
|
Reorganizing the code, optimize the number of solutions. Delete empty solutions.
|
2017-06-12 18:55:55 +02:00 |
|
Fedor Isakov
|
663c58d880
|
Delete empty generators. Fix the import errors.
|
2017-06-12 16:45:00 +02:00 |
|
Fedor Isakov
|
ee0b98f9db
|
Rename "sampleLang" to "baseLanguageExt"
|
2017-06-12 16:32:49 +02:00 |
|
Fedor Isakov
|
f9e9e7956a
|
Import the sample language to the tests model. Fix the test.
|
2017-06-12 13:22:41 +02:00 |
|
Fedor Isakov
|
60fb9388a1
|
Support for using rule input reference in a java expression.
|
2017-06-12 12:22:41 +02:00 |
|
Fedor Isakov
|
effa917f63
|
Optimize module/model imports. Get rid of "exported" dependencies (too much trouble with the ant files).
|
2017-06-09 09:51:35 +02:00 |
|
Fedor Isakov
|
f30710f463
|
Updated the reactor libs. Adapted to the renamed interfaces in the reactor API.
|
2017-06-05 14:34:14 +02:00 |
|
Fedor Isakov
|
ef375de9fd
|
Optimizing model imports
|
2017-06-01 15:45:49 +02:00 |
|
Fedor Isakov
|
15fcef19eb
|
Return the more conventional symbols for unification and equality constraints.
|
2017-05-29 15:30:57 +02:00 |
|
Fedor Isakov
|
7d860de465
|
Better editor representation for Typeof constraint. Another minor rename (AsType{Pseudo}Constraint).
|
2017-05-22 10:34:12 +02:00 |
|
Fedor Isakov
|
8043623d09
|
Rename AssignConstraint -> UnifiesConstraint, change alias and representation to tilde. Equals constraint has equals sign.
|
2017-05-22 10:21:49 +02:00 |
|
Fedor Isakov
|
cff4669e3f
|
Substitution and transformation actions for easier input of logical variables and terms.
|
2017-05-19 14:46:22 +02:00 |
|
Fedor Isakov
|
32618d55bf
|
Specify this's classifier when referring to logical variable declared in the type definition.
|
2017-05-19 12:11:50 +02:00 |
|
Fedor Isakov
|
6e33dc3e0e
|
A workaround for generating recursive structures.
|
2017-05-18 13:21:53 +02:00 |
|
Fedor Isakov
|
7dae44e27e
|
Better editor presentation for constraint and type declaration.
|
2017-05-18 13:14:35 +02:00 |
|
Fedor Isakov
|
0c53a5b57a
|
Enable optional arguments in user constraints.
|
2017-05-12 11:35:02 +02:00 |
|
Fedor Isakov
|
db9e27ace4
|
Drop quotation marks in LogicalExpression.
|
2017-05-12 10:46:43 +02:00 |
|
Fedor Isakov
|
7a9dc002c0
|
Rename AssignedLogicalVariable -> PatternLogicalVariable, LogicalVariableReference -> LogicalVariable
|
2017-05-11 13:31:17 +02:00 |
|
Fedor Isakov
|
4b94f1726a
|
Drop AbstractLogicalVariable
|
2017-05-11 13:18:49 +02:00 |
|
Fedor Isakov
|
bbd00b99eb
|
Refactoring in the typesystem2 language: push down "index" feature into LogicalVariableReference as "position".
|
2017-05-11 13:10:34 +02:00 |
|
Fedor Isakov
|
77cb4c42f9
|
Simplifying the editor for logical variables: brackets only for the declaration, hash for index access, drop backticks.
|
2017-05-10 11:40:30 +02:00 |
|
Fedor Isakov
|
3d7e9c8134
|
Cons-list-like editor for the term list.
|
2017-05-09 15:40:55 +02:00 |
|
Fedor Isakov
|
2b060299f6
|
Editor beautification: lighter colors, less highlighting, better layout, curly braces for term features
|
2017-05-09 14:36:40 +02:00 |
|
Fedor Isakov
|
04397ff0f7
|
Rename TypeTerm* to Term*, collect together term-related generator templates, drop obsolete code.
|
2017-05-04 13:50:58 +02:00 |
|
Fedor Isakov
|
21dbecd386
|
Re-saved all models.
|
2017-05-04 13:10:14 +02:00 |
|
Fedor Isakov
|
368c08b38e
|
Refactoring: move the term table to separate root.
|
2017-05-04 12:47:22 +02:00 |
|
Fedor Isakov
|
fd3d74a375
|
Deprecate and remove all usages of TypeTerm from the TypeDeclaration.
|
2017-05-03 16:14:44 +02:00 |
|
Fedor Isakov
|
13ad30bfd9
|
Drop obsolete code from the runtime
|
2017-05-03 16:14:44 +02:00 |
|
Fedor Isakov
|
2b49f4e1c8
|
Refactoring: moving the TypeTerm out of NewType, making the two constructs independent.
|
2017-05-03 13:50:11 +02:00 |
|
Fedor Isakov
|
49b7407581
|
Correct the wording in some language constructs
|
2017-04-28 15:02:22 +02:00 |
|
Fedor Isakov
|
94b5b9c71a
|
Less contrast color scheme for rules.
|
2017-04-28 14:37:38 +02:00 |
|
Fedor Isakov
|
db3b8b434a
|
Compacting the rule editor: fewer keywords, compact presentation. Rename "template" to "rule".
|
2017-04-28 11:51:27 +02:00 |
|
Fedor Isakov
|
30a9c1f8d5
|
Support for accessing logical context from expressions.
|
2017-03-27 19:27:11 +02:00 |
|
Fedor Isakov
|
5cc626ca57
|
Drop the NotPredicate.
|
2017-03-24 09:42:33 +01:00 |
|
Fedor Isakov
|
3136d7bedb
|
Switched to the latest EAP build, applied the migrations.
|
2017-03-09 14:36:20 +01:00 |
|
Fedor Isakov
|
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 |
|
Fedor Isakov
|
f86616da73
|
Introduce custom constraint "error" for reporting the errors.
|
2017-02-27 16:11:17 +01:00 |
|
Fedor Isakov
|
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 |
|
Fedor Isakov
|
8da19f5102
|
Deprecate all old recovery-related stuff, clean up the generator templates. Remove RecoverSession runtime.
|
2017-02-17 11:58:11 +01:00 |
|
Fedor Isakov
|
b2174a8872
|
Minor fixes in the editor. Unconditionally set the store view after executing the program.
|
2017-02-17 11:58:10 +01:00 |
|
Fedor Isakov
|
af9125bfe1
|
Switch to types recovering using second stage of the program. Remove usages of RecoverSession.
|
2017-02-17 11:58:10 +01:00 |
|
Fedor Isakov
|
fd4748e91a
|
New feature: Equals constraint to be used wherease the unification is not applicable/needed.
|
2017-02-17 11:58:10 +01:00 |
|
Fedor Isakov
|
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 |
|
Fedor Isakov
|
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 |
|
Fedor Isakov
|
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 |
|
Fedor Isakov
|
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 |