b3bb823bdf
Minor optimization of term trie collection
2024-09-25 15:39:32 +02:00
c21a3dfa82
Use resolveInfo instead of nodeId to avoid troubles with DynamicReference
2024-09-24 15:52:15 +02:00
35e6f17003
Avoid collecting template trace if reporting=false
2024-09-24 14:57:17 +02:00
47d6ae52fa
Fix typing of enum
...
Apparently ctorDecl reference of o enum is optional.
2024-09-24 13:40:38 +02:00
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
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
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
34d6b11f5e
Rebuild project
2024-09-23 11:02:26 +02:00
c401e686cb
Drop usages of OriginIndex; minor fixes in tests
2024-09-20 18:19:17 +02:00
0f5389b689
Fix LogicalPredicate: wrong implementation mapping
2024-09-20 18:15:50 +02:00
75fe179fd1
BL types: fix dependencies and classifier type comparable relation
2024-09-20 18:06:23 +02:00
a19edaa5d6
Remove error annotation in tests (no longer failing)
2024-09-03 15:38:12 +02:00
dd36168269
Apply migrations to mpscore sample
2024-09-03 13:04:20 +02:00
fcb7d3128f
Fix types of FeatureReferenceExpression
2024-09-03 13:01:04 +02:00
f86adc089a
Better representation for FeatureReferenceExpression
2024-09-03 12:05:15 +02:00
e3faa5e37e
Fix containment of node<> type in classifier<SNode>
2024-09-03 12:04:45 +02:00
0c5b6c12f3
Merge report classes; simplify cache API
2024-09-03 10:39:37 +02:00
746dfdf24b
Fix convertsTo rule for string type
2024-09-02 17:17:34 +02:00
5b002667e5
Fix improper invalidation of cached types; introduce trace-level logging
2024-09-02 15:21:25 +02:00
ffe6c038dc
Avoid duplicate reporting of trace events
2024-09-02 13:38:35 +02:00
1a5886b93f
Fix type of asNode op on a concept
2024-09-02 10:28:19 +02:00
64499d7a96
Further simplify cache and response processing; cleanup code
...
Clearly separate cache updating code from request processing.
2024-08-30 16:15:54 +02:00
bec016671d
Simplify caching: use single cache for all usages
2024-08-30 11:39:42 +02:00
caf5baf8dd
Introduce logging of exceptions caught during evaluation
2024-08-29 18:12:57 +02:00
31b170bfe1
Make "shared" cache dependent on AspectClique
2024-08-29 18:12:57 +02:00
a4f4081162
Fix broken trace functionality
2024-08-29 16:49:52 +02:00
7d86f866c0
Ensure exception is reported correctly on blockingGet
2024-08-29 16:47:19 +02:00
286f20e70a
Untangle dependencies and rebuild project
2024-08-29 13:09:49 +02:00
661ee068ff
Refactor caching system; drop obsolete classes
2024-08-29 13:09:39 +02:00
1cdc8a1586
Refactor and simplify feedback processing; drop obsolete code
2024-08-29 13:09:21 +02:00
203bf64710
Drop deprecated method declaration
2024-08-29 13:08:29 +02:00
014b1f7914
Switch to updated API
2024-08-29 13:08:29 +02:00
d4b6405d92
Drop dependency on a deprecated utility
2024-08-29 13:08:28 +02:00
7f72aeb571
Refactor Request.evaluate to rely fully on strategy
2024-08-29 13:08:28 +02:00
5fd41a99e1
Consolidate related classes; drop obsolete model
2024-08-29 13:08:28 +02:00
6e343fe17d
Enhance AbstractCoderulesManifest with priority() method
2024-08-29 13:08:28 +02:00
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
6e5fcc639b
Introduce minimal rx framework; drop RxJava lib; drop obsolete actions
2024-08-20 17:16:21 +02:00
19752b836e
Implement new reactor API to support reactivating logicals within a term; MPSCR-155
2024-08-19 21:54:59 +02:00
ce41be1b82
Switch to new reactor version
2024-08-19 21:53:45 +02:00
a7d78907c0
Bump up reactor version to 0.9.21
2024-08-19 21:47:47 +02:00
8d6c5add7e
Introduce support for unbound variables within a Term; MPSCR-155
2024-08-19 21:46:50 +02:00
99c3fdf9d0
Tentatively introduce TracePredicate to trace call/expand macros; MPSCR-137
2024-08-13 16:43:17 +02:00
1392dcc8a1
Fix tooltip on the tree in Activation Trace view
2024-08-12 15:38:47 +02:00
72f3474757
Ensure setTargetComponent is called on toolbar; avoid warnings in log
2024-08-12 12:30:01 +02:00
401c513c04
Deprecate unused methods
2024-08-12 12:23:53 +02:00
c7ae020862
Redesign Activation Trace View for better usability; minor fixes
...
- use pictograms and tooltips, reduce UI clutter
- drop "occurrences" column, move everything to the events tree
- fix jumping table widths
2024-08-12 12:23:53 +02:00
6098ee6fc3
Types for FeatureReferenceExpression
2024-08-06 12:37:57 +02:00
ef6e282c83
Ensure setTargetComponent is called on toolbar; avoid warnings in log
2024-08-06 11:13:11 +02:00
c5ef23adc4
Typechecking for toStream op
2024-08-06 11:12:44 +02:00
Fedor Isakov