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
0d6452c826
Typechecking templates: auto-changes after the concepts renaming.
2017-05-09 15:42:07 +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
4b18d94664
Typechecking templates: move the term declarations to separate root.
2017-05-04 12:47:22 +02:00
368c08b38e
Refactoring: move the term table to separate root.
2017-05-04 12:47:22 +02:00
2f3c1a6492
Typechecking templates: drop links to type term from type declarations
2017-05-03 16:14:44 +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
bbb5451408
Typechecking templates: adopting to the changes in the language.
2017-05-03 16:14:26 +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
24168bf5f8
Rebuilt the project, buildfiles updated.
2017-04-26 14:23:51 +02:00
30a9c1f8d5
Support for accessing logical context from expressions.
2017-03-27 19:27:11 +02:00
3f910ec396
Adapt to the changes in memreactor API. Drop AbstractLogicSolver.
2017-03-27 19:26:27 +02:00
5cc626ca57
Drop the NotPredicate.
2017-03-24 09:42:33 +01:00
0d8fe0a7e0
Drop shortcut for Clear Types.
2017-03-21 12:51:30 +01:00
0c1e6adbe7
Switched to the latest RC build, applied the migrations.
2017-03-21 12:40:07 +01:00
e5ca0a4b9c
Show The typechecking process report as a notification balloon. Add a shortcut for Clear Types.
2017-03-15 19:21:08 +01:00
3136d7bedb
Switched to the latest EAP build, applied the migrations.
2017-03-09 14:36:20 +01:00
0e1e837508
Ensure unification uses the logical representatives, catch more instances of cyclic terms.
2017-03-08 11:51:05 +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
55eae7dda5
Typechecking templates: replace all obsolete code blocks with logical clauses. Extract logicals into the rule part declaration where possible.
2017-03-01 12:51:21 +01:00
97fefc2884
Sample typechecker: ensure the smodel is accessed in read action, cleanup the code.
...
Introduce timeout system property "logic.timeout".
Ensure the smodel is accessed in the read action.
Support reporting errors (error constraint).
2017-02-27 16:11:18 +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
7883c8ffe2
Run unification before assigning the logical. Guard for the case of recursive type terms.
2017-02-27 16:11:17 +01:00
c254e94a2e
Typechecking templates: Switch to using new way of recovering type nodes. Drop the recovery blocks.
2017-02-17 11:58:12 +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
f4b965efce
Repackage utility classes inside the types aspect model. Delete obsolete module.
2017-02-09 14:24:00 +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
61fd80014d
Typechecking templates: adapting to the latest refactoring.
2017-02-03 11:28:10 +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
44019dca79
Typechecking templates: remove usages of the "typeConcept"
2017-02-03 11:15:23 +01:00
4430488f26
New recover types handler (unfinished)
2017-02-03 11:15:01 +01:00
f611a318e0
Implement the new abstract method of EvaluationSession.
2017-02-03 11:15:00 +01:00
bbcb6577cd
Update the .gitignore file.
2017-02-03 11:15:00 +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
Fedor Isakov