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

57 Commits

Author SHA1 Message Date
Fedor Isakov 57bd4d763c Adjust the project module paths 2016-03-14 15:26:35 +01:00
Fedor Isakov 5a54d55345 Tests to launch typechecking on sample roots 2016-03-14 15:21:49 +01:00
Fedor Isakov 295dcc19da Turn the activation trace back on. Fix memory leak in activation tool. 2016-03-11 21:45:58 +01:00
Fedor Isakov 417745fbac Fix the name of the generated JCHR class 2016-03-11 21:45:58 +01:00
Fedor Isakov 57f2882cb8 Turn off activation trace (temporarily), optimize filtering of evaluation session events. 2016-03-11 21:45:57 +01:00
Fedor Isakov 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
Fedor Isakov e4e9476634 Allow the activation trace to be displayed on error 2016-03-11 21:45:12 +01:00
Fedor Isakov e0a5f06973 Avoid exception on printing ListFunc 2016-03-11 21:45:12 +01:00
Fedor Isakov 8737355a76 Make sure there is no memory leak on reopening the activation trace tool 2016-02-24 16:35:18 +01:00
Fedor Isakov e5d36f069e Filter ask and tell events separately 2016-02-24 11:31:20 +01:00
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