Fedor Isakov
|
e98ae1a19d
|
Update build scripts to load 3rd-party-rt.jar
|
2021-12-28 11:09:44 +01:00 |
|
Fedor Isakov
|
2e5d73b31e
|
Add icons for typechecking roots and the aspect
|
2021-11-25 18:09:22 +01:00 |
|
Fedor Isakov
|
d7f54a35fb
|
Minor editor fixes
|
2021-11-25 12:07:43 +01:00 |
|
Fedor Isakov
|
2d48fb57f2
|
Fix editor: ensure correct constraints in head/guard/body
|
2021-11-25 12:07:43 +01:00 |
|
Fedor Isakov
|
c27cafdf30
|
Fix editor: support changing isFree <-> isNonfree
|
2021-11-24 16:22:17 +01:00 |
|
Fedor Isakov
|
4e70300ea7
|
Update language imports
|
2021-11-24 16:22:17 +01:00 |
|
Fedor Isakov
|
d0d44b98c5
|
Minor editor fixes
|
2021-11-24 16:22:17 +01:00 |
|
Fedor Isakov
|
690e8e919c
|
Fix editor: caret position and first argument to constraint
|
2021-11-24 16:22:17 +01:00 |
|
Fedor Isakov
|
9b59925e4f
|
Fix editor: editable=false for keywords, focus attraction
|
2021-11-24 16:22:17 +01:00 |
|
Fedor Isakov
|
3774759270
|
Drop references to removed Activation Trace
|
2021-11-24 16:22:17 +01:00 |
|
Fedor Isakov
|
da04cb07fe
|
Revert "Add a link to the Coderuls tutorial in README"
This reverts commit 6688b11f6a.
|
2021-11-18 12:57:43 +01:00 |
|
Fedor Isakov
|
3af6cf93b0
|
Fix missing effect
|
2021-11-18 12:29:33 +01:00 |
|
Fedor Isakov
|
e95526ef33
|
Update build script
|
2021-11-18 10:59:58 +01:00 |
|
Fedor Isakov
|
4ccbff779f
|
Refactoring in the UI: merging tool windows into one
|
2021-11-18 10:59:58 +01:00 |
|
Fedor Isakov
|
c5f2902cd6
|
Drop background color from backquote
|
2021-11-16 12:04:32 +01:00 |
|
Fedor Isakov
|
4c8ffc0544
|
Add j.m.bl.classifiers language to the build
|
2021-11-16 12:04:32 +01:00 |
|
Fedor Isakov
|
e64f01a059
|
Move typechecking actions to debug menu, drop errors highlighting
|
2021-11-15 17:08:28 +01:00 |
|
Fedor Isakov
|
6688b11f6a
|
Add a link to the Coderuls tutorial in README
|
2021-11-15 17:08:28 +01:00 |
|
Fedor Isakov
|
9b8946ce67
|
Support recovering of children features in typechecking term table
|
2021-11-15 13:00:03 +01:00 |
|
Fedor Isakov
|
b892bc3aa5
|
Avoid failing on empty handlers list, MPSCR-97
|
2021-11-15 13:00:03 +01:00 |
|
Fedor Isakov
|
5a6beac54e
|
Avoid failing with a stacktrace on empty aspect clique
|
2021-11-15 13:00:03 +01:00 |
|
Fedor Isakov
|
6a834600c1
|
Add null guard NodeBuilder rule
|
2021-11-15 13:00:03 +01:00 |
|
Fedor Isakov
|
8f4dd4a1c1
|
Fix the order of synthetic recover rules
|
2021-11-12 13:25:47 +01:00 |
|
Fedor Isakov
|
6a120fb9d6
|
Change "show type balloon" shortcut to not conflict with Show Type dialog
|
2021-11-11 14:38:07 +01:00 |
|
Fedor Isakov
|
8e672897c5
|
Drop support for TypeHintExpression
|
2021-11-10 16:36:49 +01:00 |
|
Fedor Isakov
|
2c8781cc9b
|
Provisional support for custom queries
|
2021-11-08 13:21:09 +01:00 |
|
Fedor Isakov
|
ea47468c3d
|
Cleanup the code, better separation of concerns
|
2021-11-08 13:21:09 +01:00 |
|
Fedor Isakov
|
d09348512d
|
Refactoring: extract Request hierarchy out of TypecheckingService
|
2021-11-04 12:48:11 +01:00 |
|
Fedor Isakov
|
c9a830d730
|
Cleanup code, rely on Query for presentation
|
2021-11-04 12:48:11 +01:00 |
|
Fedor Isakov
|
af8c50f3e5
|
Refactor TypecheckingService: parameterize Request with Query
|
2021-11-04 12:48:11 +01:00 |
|
Fedor Isakov
|
7cc8be7296
|
Refactor TypecheckingService: move logic to Request, simplify code
|
2021-11-04 12:48:11 +01:00 |
|
Fedor Isakov
|
031d131f71
|
Update README links to up-to-date TC configurations
|
2021-11-04 12:48:11 +01:00 |
|
Fedor Isakov
|
96ede52bcc
|
Cleanup typechecking settings page
|
2021-10-27 16:21:08 +02:00 |
|
Fedor Isakov
|
52e6eaf65d
|
Rebuild project
|
2021-10-27 12:03:49 +02:00 |
|
Fedor Isakov
|
365883a099
|
Fix broken representation of terms with specification
|
2021-10-27 12:03:49 +02:00 |
|
Fedor Isakov
|
509944c138
|
Fix typechecking of anonymous class with default ctor
|
2021-10-27 12:03:49 +02:00 |
|
Fedor Isakov
|
cf04a60cc9
|
Minor improvements in displaying terms and activation trace
|
2021-10-26 17:46:41 +02:00 |
|
Fedor Isakov
|
ebe463ece5
|
Fix dangling dependency
|
2021-10-26 17:46:40 +02:00 |
|
Fedor Isakov
|
fedd56dd55
|
Extract correct classifier from anonymous class
|
2021-10-26 17:46:40 +02:00 |
|
Fedor Isakov
|
257bc196c3
|
Re-save all models
|
2021-10-26 17:46:40 +02:00 |
|
Fedor Isakov
|
8dbf94c7da
|
Fix broken withParam() invocation of query template
|
2021-10-14 18:28:43 +02:00 |
|
Fedor Isakov
|
44a8a30984
|
Switch to the latest MPS build
|
2021-10-14 18:28:43 +02:00 |
|
Fedor Isakov
|
ef61f65cee
|
Ensure MPS_HOME is deleted on clean
|
2021-09-25 19:33:18 +02:00 |
|
Fedor Isakov
|
dd4eece1df
|
Refresh build project
|
2021-09-23 15:20:23 +02:00 |
|
Fedor Isakov
|
f3c12ec4af
|
Fix missing dependency
|
2021-09-23 15:16:17 +02:00 |
|
Fedor Isakov
|
1ed5fa4e4b
|
Update build project
|
2021-09-22 17:08:25 +02:00 |
|
Fedor Isakov
|
2d52921561
|
Fix and optimize dependencies
|
2021-09-22 17:08:25 +02:00 |
|
Fedor Isakov
|
177e55820e
|
Move label definition to the language that uses it
|
2021-09-22 17:08:25 +02:00 |
|
Fedor Isakov
|
0840e5ecfb
|
Replace quotation with "node builder" to satisfy generator
|
2021-09-22 17:08:25 +02:00 |
|
Fedor Isakov
|
cc2484bbc4
|
Switch to latest MPS build
|
2021-09-22 17:08:25 +02:00 |