ef375de9fd
Optimizing model imports
2017-06-01 15:45:49 +02:00
15fcef19eb
Return the more conventional symbols for unification and equality constraints.
2017-05-29 15:30:57 +02:00
7d860de465
Better editor representation for Typeof constraint. Another minor rename (AsType{Pseudo}Constraint).
2017-05-22 10:34:12 +02:00
8043623d09
Rename AssignConstraint -> UnifiesConstraint, change alias and representation to tilde. Equals constraint has equals sign.
2017-05-22 10:21:49 +02:00
cff4669e3f
Substitution and transformation actions for easier input of logical variables and terms.
2017-05-19 14:46:22 +02:00
32618d55bf
Specify this's classifier when referring to logical variable declared in the type definition.
2017-05-19 12:11:50 +02:00
6e33dc3e0e
A workaround for generating recursive structures.
2017-05-18 13:21:53 +02:00
7dae44e27e
Better editor presentation for constraint and type declaration.
2017-05-18 13:14:35 +02:00
0c53a5b57a
Enable optional arguments in user constraints.
2017-05-12 11:35:02 +02:00
db9e27ace4
Drop quotation marks in LogicalExpression.
2017-05-12 10:46:43 +02:00
7a9dc002c0
Rename AssignedLogicalVariable -> PatternLogicalVariable, LogicalVariableReference -> LogicalVariable
2017-05-11 13:31:17 +02:00
4b94f1726a
Drop AbstractLogicalVariable
2017-05-11 13:18:49 +02:00
bbd00b99eb
Refactoring in the typesystem2 language: push down "index" feature into LogicalVariableReference as "position".
2017-05-11 13:10:34 +02:00
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
3d7e9c8134
Cons-list-like editor for the term list.
2017-05-09 15:40:55 +02:00
2b060299f6
Editor beautification: lighter colors, less highlighting, better layout, curly braces for term features
2017-05-09 14:36:40 +02:00
04397ff0f7
Rename TypeTerm* to Term*, collect together term-related generator templates, drop obsolete code.
2017-05-04 13:50:58 +02:00
21dbecd386
Re-saved all models.
2017-05-04 13:10:14 +02:00
368c08b38e
Refactoring: move the term table to separate root.
2017-05-04 12:47:22 +02:00
fd3d74a375
Deprecate and remove all usages of TypeTerm from the TypeDeclaration.
2017-05-03 16:14:44 +02:00
13ad30bfd9
Drop obsolete code from the runtime
2017-05-03 16:14:44 +02:00
2b49f4e1c8
Refactoring: moving the TypeTerm out of NewType, making the two constructs independent.
2017-05-03 13:50:11 +02:00
49b7407581
Correct the wording in some language constructs
2017-04-28 15:02:22 +02:00
94b5b9c71a
Less contrast color scheme for rules.
2017-04-28 14:37:38 +02:00
db3b8b434a
Compacting the rule editor: fewer keywords, compact presentation. Rename "template" to "rule".
2017-04-28 11:51:27 +02:00
30a9c1f8d5
Support for accessing logical context from expressions.
2017-03-27 19:27:11 +02:00
5cc626ca57
Drop the NotPredicate.
2017-03-24 09:42:33 +01:00
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
Fedor Isakov