Commit Graph

592 Commits

Author SHA1 Message Date
Fedor Isakov fee317ed76 Append model hash to rule's unique tag
During generation multiple nodes with same nodeId may appear
coming from different transient models, resulting in
colliding rule tags.
2024-09-24 13:39:53 +02:00
Fedor Isakov 0e86456afd Keep required nodes directly instead of node-ptr
Transient models don't allow resolving of node-ptr
2024-09-24 12:25:22 +02:00
Fedor Isakov e32e7cdbe4 Refactoring and optimizing incremental typechecking
- left only "required" -- the only kind of dependency that is relevant
 - drop the old two-stage scheme of incremental processing
 - implement a heuristic to detect if an update has caused any change,
   and only propagate the update further the inverse requirements graph
   in case there were real changes
 - drop cached memo
 - various code simplifications and refactorings
2024-09-24 10:39:14 +02:00
Fedor Isakov 0f5389b689 Fix LogicalPredicate: wrong implementation mapping 2024-09-20 18:15:50 +02:00
Fedor Isakov f86adc089a Better representation for FeatureReferenceExpression 2024-09-03 12:05:15 +02:00
Fedor Isakov a4f4081162 Fix broken trace functionality 2024-08-29 16:49:52 +02:00
Fedor Isakov 286f20e70a Untangle dependencies and rebuild project 2024-08-29 13:09:49 +02:00
Fedor Isakov 1cdc8a1586 Refactor and simplify feedback processing; drop obsolete code 2024-08-29 13:09:21 +02:00
Fedor Isakov 014b1f7914 Switch to updated API 2024-08-29 13:08:29 +02:00
Fedor Isakov 5fd41a99e1 Consolidate related classes; drop obsolete model 2024-08-29 13:08:28 +02:00
Fedor Isakov 6e343fe17d Enhance AbstractCoderulesManifest with priority() method 2024-08-29 13:08:28 +02:00
Fedor Isakov d8bc7fdfb5 Refactor Effect API and usages: drop any access to values; ensure cleaner contract
- interface Effect becomes a class AbstractEffect
 - hasValue dropped
 - getValue/allValueKeys have been made protected
 - withValue(s) defines clear contract for using the values in effects
2024-08-21 18:17:27 +02:00
Fedor Isakov 19752b836e Implement new reactor API to support reactivating logicals within a term; MPSCR-155 2024-08-19 21:54:59 +02:00
Fedor Isakov 99c3fdf9d0 Tentatively introduce TracePredicate to trace call/expand macros; MPSCR-137 2024-08-13 16:43:17 +02:00
Fedor Isakov 300c569dff Consistently use "origin" instead of "target" 2024-08-05 17:35:39 +02:00
Fedor Isakov c63f0479d1 Refactor code to simplify and cleanup; drop obsolete stuff 2024-08-05 17:35:38 +02:00
Fedor Isakov 0debee556c Switch to new conreactor API; minor code cleanup 2024-08-05 17:35:38 +02:00
Fedor Isakov 1146935e8d Simplify code: drop InvocationContext from LateExpression 2024-08-02 14:02:14 +02:00
Fedor Isakov 95a78a3474 Deprecate CopyItem and CopyUtil 2024-08-02 13:43:37 +02:00
Fedor Isakov b2c0474afc Simplify code: drop LogicalContext from SubstituteUtil 2024-08-02 13:36:06 +02:00
Fedor Isakov e33c846314 Ensure aspect lookup cache is update on imports change 2024-08-02 09:57:55 +02:00
Fedor Isakov 846f4db8fc Fix used languages cache in AspectLookup 2024-07-31 17:56:52 +02:00
Fedor Isakov 7c1a2a3873 More debug logging for aspect clique 2024-07-31 16:39:43 +02:00
Fedor Isakov 3147893795 Drop deprecated methods 2024-07-31 16:10:02 +02:00
Fedor Isakov 3ee2e24c50 Drop support for multiple aspect cliques from CliqueBuilder 2024-07-31 15:54:13 +02:00
Fedor Isakov 51e17ed549 Refactor AspectLookup to return a single clique 2024-07-31 15:06:15 +02:00
Fedor Isakov 097ca5aed5 Run all user predicates from a read action 2024-07-31 13:18:52 +02:00
Fedor Isakov c6e8de1680 Specify the default value for macro param; MPSCR-135 2024-07-22 18:06:11 +02:00
Fedor Isakov c746956fc6 Drop = null initializer of call macro parameter field; MPSCR-135 2024-07-22 16:46:43 +02:00
Fedor Isakov c9e3374540 Implement support for "tellPattern" trace event 2024-07-22 14:14:16 +02:00
Fedor Isakov 0830a34c1b Support navigating to constraint and predicate declarations from trace view 2024-07-19 16:39:57 +02:00
Fedor Isakov e64677041e Cleanup code and drop deprecated stuff 2024-07-18 11:01:24 +02:00
Fedor Isakov ae7c4ab56d Switch to using model system ident instead of SModelId for cache
See MPS-37545.
2024-07-15 13:32:52 +02:00
Fedor Isakov 1c170f8e05 Minor code cleanup 2024-07-11 15:09:35 +02:00
Fedor Isakov 0aad66b951 Automatic migrations 2024-07-04 18:17:56 +02:00
Fedor Isakov 4ce08f4b99 Refactor project structure and reduce the number of modules 2024-07-04 18:17:56 +02:00
Fedor Isakov c230bfa6e4 Drop "ideaplugin" module from module dependencies 2024-07-01 15:41:37 +02:00
Fedor Isakov 8554843e6a Apply automatic migrations 2024-07-01 15:31:42 +02:00
Fedor Isakov f0a9ac3bab Drop abandoned functionality: controlflow 2024-06-24 10:56:00 +02:00
Fedor Isakov 87bb67cee3 Drop usages of SessionToken 2024-06-21 22:44:23 +02:00
Fedor Isakov 34c5643d0d Turn on printing of empty list as [] 2024-06-21 21:51:35 +02:00
Fedor Isakov a19d02b8ae Switch initialization to use ModuleActivator; drop unused imports 2024-06-16 16:11:38 +02:00
Fedor Isakov ba6f509909 Reimplement occursCheck with DataFormWalk 2024-06-13 20:11:19 +02:00
Fedor Isakov 658f9a48c0 Enable DataFormWalk to walk variables checking for cycles 2024-06-13 20:10:39 +02:00
Fedor Isakov 9aa9680ba1 Refactor DataForm.Visitor to use default methods; drop Stub 2024-06-13 17:40:23 +02:00
Fedor Isakov d63d261044 Drop usages of "usages count" feature of MutableLogical 2024-06-13 15:49:51 +02:00
Fedor Isakov adb38f1a2c Drop optimization hack; Correctly handle non-term logicals 2024-06-13 15:46:13 +02:00
Fedor Isakov b053cd7c3e Drop the rest of "incremental" stuff 2024-06-13 12:22:57 +02:00
Clement de La Bourdonnaye 0776351977 Ran CleanStubForeignMethodIds migration 2024-01-23 16:33:23 +01:00
Clement de La Bourdonnaye c96f65ec64 NewUI - restore old ui icons for usage when new UI disabled 2024-01-11 14:38:03 +01:00