6229f5ebb4
Process EvaluationFailureException and retry trace event correctly.
2016-04-15 15:53:45 +02:00
a83be421d6
Typechecking templates: merge all body parts in preparation for "alternation in body" feature.
2016-04-15 15:53:44 +02:00
ddb1d668c1
Support for body alternation in the reactor API.
2016-04-11 15:33:29 +02:00
5bcf1ce3d6
Displaying failures as error nodes in the activation trace, navigate to the first failure. Minor fixes.
2016-04-04 16:03:36 +02:00
2c6dbd433e
Typechecking templates: introduce new?Bound and assertBounds constraints.
...
Containment relation delegates bounds checking to assertBounds.
New bounds are introduced via new?Bound constraint: tighter bouds go first.
Abandon the idea of "magically" resolving bounds on variables unification.
2016-04-03 22:27:38 +02:00
faafa5b04b
Fix sticky occurrences in the store view. Better presentation of the origin. Ensure proper order of sinks to correctly display store events.
2016-03-31 17:40:02 +02:00
7907fad349
Type declarations have references to type concept. Swith to using concept refs instead of conceptNode in the templates. Still relying on the "declaration node" of a concept.
2016-03-31 13:57:58 +02:00
464fdb3ec8
Filter discarded occurrences.
2016-03-30 16:41:20 +02:00
cd0b04b68c
Refactor the code in activation trace implementation. Cleaner architecture.
2016-03-30 13:54:17 +02:00
8bfac7e77a
New feature of the activation trace view: Store view synchronized with the selection in the trace
2016-03-29 18:08:17 +02:00
20c3d72f0e
Escape HTML chars in the tooltips (doh!)
2016-03-21 12:39:47 +01:00
4d67bf4796
Automatically updated file after having opened the project with the latest build.
2016-03-18 19:22:26 +01:00
7683ab9318
Minor improvements in the activation tree rendering.
2016-03-18 19:21:47 +01:00
9706f4342a
Support trying/reject trace events in the activation trace. Some code cleanup.
2016-03-17 19:06:13 +01:00
a934b27442
Drop obsolete methods in EvaluationTrace. Some code cleanup.
2016-03-17 12:12:57 +01:00
6d625ff6c5
Refactoring in the reactor API:
...
- PredicateFactory, Solver
- new EvaluationTrace interface,
- new ask/tell protocol
- get rid of unwanted dependency between API packages.
Updated memreactor lib.
2016-03-16 16:28:59 +01:00
57bd4d763c
Adjust the project module paths
2016-03-14 15:26:35 +01:00
5a54d55345
Tests to launch typechecking on sample roots
2016-03-14 15:21:49 +01:00
295dcc19da
Turn the activation trace back on. Fix memory leak in activation tool.
2016-03-11 21:45:58 +01:00
417745fbac
Fix the name of the generated JCHR class
2016-03-11 21:45:58 +01:00
57f2882cb8
Turn off activation trace (temporarily), optimize filtering of evaluation session events.
2016-03-11 21:45:57 +01:00
cf907bf247
More strict processing of type variable bounds, commenting and cleaning up the code.
...
Temporary workaround for type parameter containment, to be replaced with smarter relation.
2016-03-11 21:45:35 +01:00
e4e9476634
Allow the activation trace to be displayed on error
2016-03-11 21:45:12 +01:00
e0a5f06973
Avoid exception on printing ListFunc
2016-03-11 21:45:12 +01:00
8737355a76
Make sure there is no memory leak on reopening the activation trace tool
2016-02-24 16:35:18 +01:00
e5d36f069e
Filter ask and tell events separately
2016-02-24 11:31:20 +01:00
61abf31f5f
Make snapshots of occurrences/invocations and its arguments at avaluation time to track variables assignment.
2016-02-23 15:47:08 +01:00
2a66ed3868
Keep expanded state and selection on changing filters/refresing the model
2016-02-22 14:52:21 +01:00
2f39df6074
Display predicate invocation events (ask/tell) in the activation trace
2016-02-19 15:45:54 +01:00
b0d5aacc58
Extract relevant node presentation from the editor cells, better visualization of the activation tree
2016-02-19 14:05:11 +01:00
a1e6582bf8
Better fomatting of logicals and types in the activation trace
2016-02-18 22:40:21 +01:00
7f199353e7
In progress: better fomatting of logicals and types in the activation trace
2016-02-18 12:59:24 +01:00
b6777382af
Switch to using SNodeReference instead of SNodeID in anchors. Minor refactoring in utils. Fix type checking of logical values.
2016-02-18 11:46:24 +01:00
a4eed54500
Correctly process mouse events for the tree cells. Hide match detail events by default.
2016-02-17 22:34:35 +01:00
90bec1f6e5
Introduce template reference to RuleTemplate and RuleEx. Navigation to the rule template from the activation trace. Avoid infinite repaint cycle caused by TreeTableCellRenderer
2016-02-17 17:27:23 +01:00
9b4f3014d7
Avoid multiple marks sticked to the editor. Refactor out TableCellInfo.
2016-02-17 11:30:17 +01:00
bc736c58a9
Action toolbar for the activation trace view. Filter match details and occurrence events.
2016-02-16 17:44:57 +01:00
c665f7f434
Minor refactoring in activation trace view. Extracted "match" node to group rule matching events.
2016-02-16 11:16:24 +01:00
539c8bf1e0
Switch to using SimpleColoredComponent for the activation trace renderers
2016-02-15 16:00:39 +01:00
96a3298a48
Navigate to the origin node from a rule
2016-02-11 16:23:34 +01:00
fafd072255
Activation Trace view
2016-01-31 18:40:22 +01:00
2635bfde4a
Make Meta*Logical a class. Get rid of ProgramBuilder, also in the typechecking templates API.
2016-01-29 16:32:32 +01:00
df93f6af60
Fix typechecking using JCHR
2016-01-29 16:18:32 +01:00
c9f7790185
Refactoring in the reactor API: LogicalPattern renamed to MetaLogical. MetaLogicalFactory introduced. NamedContext moved to internal API.
2016-01-29 16:17:51 +01:00
ba74ebc591
Moving ProgramBuilder and RuleBuilder to the internal API
2016-01-29 16:17:50 +01:00
359b342548
Typechecking templates: special case for LUB(X,Y) when X == Y
...
Better presentation of type variables in the output
2016-01-27 14:04:17 +01:00
11e4218273
Typechecking templates: no more capturing of return value type in method calls
2016-01-26 15:00:25 +01:00
8eea7a83a2
Migrate to MPS 3.3.1. Fix missing import.
2016-01-26 12:48:11 +01:00
0737b3b622
Restore the ability to run typechecking with JCHR rules (Make Rules Using JCHR)
2016-01-26 12:48:09 +01:00
e00e29e1b1
Support "list" logical variables as logical<ListFunc>
2016-01-26 09:40:23 +01:00
Fedor Isakov