natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
488 Commits 26 Branches 0 Tags 127 MiB
Commit Graph

47 Commits

Author SHA1 Message Date
Fedor Isakov 61abf31f5f Make snapshots of occurrences/invocations and its arguments at avaluation time to track variables assignment. 2016-02-23 15:47:08 +01:00
Fedor Isakov 2a66ed3868 Keep expanded state and selection on changing filters/refresing the model 2016-02-22 14:52:21 +01:00
Fedor Isakov 2f39df6074 Display predicate invocation events (ask/tell) in the activation trace 2016-02-19 15:45:54 +01:00
Fedor Isakov b0d5aacc58 Extract relevant node presentation from the editor cells, better visualization of the activation tree 2016-02-19 14:05:11 +01:00
Fedor Isakov a1e6582bf8 Better fomatting of logicals and types in the activation trace 2016-02-18 22:40:21 +01:00
Fedor Isakov 7f199353e7 In progress: better fomatting of logicals and types in the activation trace 2016-02-18 12:59:24 +01:00
Fedor Isakov 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
Fedor Isakov a4eed54500 Correctly process mouse events for the tree cells. Hide match detail events by default. 2016-02-17 22:34:35 +01:00
Fedor Isakov 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
Fedor Isakov 9b4f3014d7 Avoid multiple marks sticked to the editor. Refactor out TableCellInfo. 2016-02-17 11:30:17 +01:00
Fedor Isakov bc736c58a9 Action toolbar for the activation trace view. Filter match details and occurrence events. 2016-02-16 17:44:57 +01:00
Fedor Isakov c665f7f434 Minor refactoring in activation trace view. Extracted "match" node to group rule matching events. 2016-02-16 11:16:24 +01:00
Fedor Isakov 539c8bf1e0 Switch to using SimpleColoredComponent for the activation trace renderers 2016-02-15 16:00:39 +01:00
Fedor Isakov 96a3298a48 Navigate to the origin node from a rule 2016-02-11 16:23:34 +01:00
Fedor Isakov fafd072255 Activation Trace view 2016-01-31 18:40:22 +01:00
Fedor Isakov 2635bfde4a Make Meta*Logical a class. Get rid of ProgramBuilder, also in the typechecking templates API. 2016-01-29 16:32:32 +01:00
Fedor Isakov df93f6af60 Fix typechecking using JCHR 2016-01-29 16:18:32 +01:00
Fedor Isakov 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
Fedor Isakov ba74ebc591 Moving ProgramBuilder and RuleBuilder to the internal API 2016-01-29 16:17:50 +01:00
Fedor Isakov 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
Fedor Isakov 11e4218273 Typechecking templates: no more capturing of return value type in method calls 2016-01-26 15:00:25 +01:00
Fedor Isakov 8eea7a83a2 Migrate to MPS 3.3.1. Fix missing import. 2016-01-26 12:48:11 +01:00
Fedor Isakov 0737b3b622 Restore the ability to run typechecking with JCHR rules (Make Rules Using JCHR) 2016-01-26 12:48:09 +01:00
Fedor Isakov e00e29e1b1 Support "list" logical variables as logical<ListFunc> 2016-01-26 09:40:23 +01:00
Fedor Isakov ce3461b2e7 Switch to nanoTime for calculating elapsed time while typechecking 2016-01-26 09:03:59 +01:00
Fedor Isakov 1b0218230a Fix broken in-model references after having moved the model to another solution 2016-01-26 09:03:59 +01:00
Fedor Isakov 5884dba931 Dumping profiling data as info messages at the end of a session 2016-01-26 09:03:59 +01:00
Fedor Isakov 9772a7a587 Moving models around a bit for better project structure. 2016-01-26 09:03:58 +01:00
Fedor Isakov a5c2471a3a Switch to using jar for the unification lib 2016-01-26 09:03:58 +01:00
Fedor Isakov 1d6957cf6d Better formatted trace output. Fix launching memreactor. Fix looking up variable names. 2016-01-26 09:03:55 +01:00
Fedor Isakov 4815de6d40 Switch to using MemReactor for typechecker. Updated the API and core lib. 2016-01-26 09:03:19 +01:00
Fedor Isakov 26771a5d91 Updated to the latest memreactor revision 2016-01-26 09:03:19 +01:00
Fedor Isakov 915159153d Attempting to integrate memreactor 2016-01-26 09:03:19 +01:00
Fedor Isakov 5ac2fdaaee NodePrinter to provide better output for debugging. 2016-01-19 12:29:48 +01:00
Fedor Isakov cc31f092f0 Typechecking templates: drop type for a method declaration. Fix the integer type to contain string instead of int. 2016-01-19 12:29:48 +01:00
Fedor Isakov 0fc0d45f96 Refactoring creation of concrete occurrence/invocation arguments. 2016-01-19 12:29:42 +01:00
Fedor Isakov d7093e1e55 Fix NPE in NodePrinter 2016-01-11 15:30:30 +01:00
Fedor Isakov f6f50823b8 Typechecking templates: avoid explicitly creating AtomLogical 2016-01-11 15:30:29 +01:00
Fedor Isakov 453c50b159 Introducing ProgramBuilder: a factory of programs/constraints/predicates. 
Switch to indirectly creating conjuncts in rule templates.
Re-packaging API and runtime classes.
 2016-01-06 19:18:01 +01:00
Fedor Isakov 02f1e8c258 Moving predicate definitions to the reactor API. Cleaning up the unwanted dependencies in the API. 2016-01-05 14:46:28 +01:00
Fedor Isakov c4ac5398db Extracting the logical solvers to reuse in the abstract reactor 2016-01-05 14:46:28 +01:00
Fedor Isakov 86ee83c53f Getting rid of StringLogical. 2016-01-05 12:31:13 +01:00
Fedor Isakov ba0475567e Refactoring the solvers implementation: extracting the reusable predicate solvers, delegating observers-related stuff to SolverLogical 2016-01-04 20:04:00 +01:00
Fedor Isakov 8e59fc5f97 Refactoring in the reactor API: separating abstract program representation and evaluation session; cleaning up the interfaces. 2015-12-27 16:41:49 +01:00
Fedor Isakov 2f38f70f94 Updated the IDEA project. 2015-12-27 16:29:41 +01:00
Fedor Isakov 3a6edc48e5 Reshuffling the models around a bit. 2015-12-25 23:54:48 +01:00
Fedor Isakov 1e59499285 Better project structure 2015-12-25 21:22:52 +01:00