c44e4b2080
Update coderules plugin desc, fix release number
2022-02-16 12:23:38 +01:00
98fef4c95d
Fix NPE on newRules array being empty
2022-02-15 10:35:53 +01:00
2b23c56283
Added coderules modules in plugin content
2022-02-08 12:21:28 +01:00
d7ffb963f7
Fix and rebuild build scripts
2022-02-08 10:44:48 +01:00
d8a180bfe2
Test list feature recovery
2022-02-08 10:09:40 +01:00
2f34591b0b
Support list feature in recovery
2022-02-08 10:09:40 +01:00
2e5d73b31e
Add icons for typechecking roots and the aspect
2021-11-25 18:09:22 +01:00
d7f54a35fb
Minor editor fixes
2021-11-25 12:07:43 +01:00
2d48fb57f2
Fix editor: ensure correct constraints in head/guard/body
2021-11-25 12:07:43 +01:00
c27cafdf30
Fix editor: support changing isFree <-> isNonfree
2021-11-24 16:22:17 +01:00
4e70300ea7
Update language imports
2021-11-24 16:22:17 +01:00
d0d44b98c5
Minor editor fixes
2021-11-24 16:22:17 +01:00
690e8e919c
Fix editor: caret position and first argument to constraint
2021-11-24 16:22:17 +01:00
9b59925e4f
Fix editor: editable=false for keywords, focus attraction
2021-11-24 16:22:17 +01:00
3774759270
Drop references to removed Activation Trace
2021-11-24 16:22:17 +01:00
3af6cf93b0
Fix missing effect
2021-11-18 12:29:33 +01:00
e95526ef33
Update build script
2021-11-18 10:59:58 +01:00
4ccbff779f
Refactoring in the UI: merging tool windows into one
2021-11-18 10:59:58 +01:00
c5f2902cd6
Drop background color from backquote
2021-11-16 12:04:32 +01:00
e64f01a059
Move typechecking actions to debug menu, drop errors highlighting
2021-11-15 17:08:28 +01:00
9b8946ce67
Support recovering of children features in typechecking term table
2021-11-15 13:00:03 +01:00
b892bc3aa5
Avoid failing on empty handlers list, MPSCR-97
2021-11-15 13:00:03 +01:00
5a6beac54e
Avoid failing with a stacktrace on empty aspect clique
2021-11-15 13:00:03 +01:00
8f4dd4a1c1
Fix the order of synthetic recover rules
2021-11-12 13:25:47 +01:00
6a120fb9d6
Change "show type balloon" shortcut to not conflict with Show Type dialog
2021-11-11 14:38:07 +01:00
2c8781cc9b
Provisional support for custom queries
2021-11-08 13:21:09 +01:00
ea47468c3d
Cleanup the code, better separation of concerns
2021-11-08 13:21:09 +01:00
d09348512d
Refactoring: extract Request hierarchy out of TypecheckingService
2021-11-04 12:48:11 +01:00
c9a830d730
Cleanup code, rely on Query for presentation
2021-11-04 12:48:11 +01:00
af8c50f3e5
Refactor TypecheckingService: parameterize Request with Query
2021-11-04 12:48:11 +01:00
7cc8be7296
Refactor TypecheckingService: move logic to Request, simplify code
2021-11-04 12:48:11 +01:00
96ede52bcc
Cleanup typechecking settings page
2021-10-27 16:21:08 +02:00
365883a099
Fix broken representation of terms with specification
2021-10-27 12:03:49 +02:00
cf04a60cc9
Minor improvements in displaying terms and activation trace
2021-10-26 17:46:41 +02:00
ebe463ece5
Fix dangling dependency
2021-10-26 17:46:40 +02:00
257bc196c3
Re-save all models
2021-10-26 17:46:40 +02:00
8dbf94c7da
Fix broken withParam() invocation of query template
2021-10-14 18:28:43 +02:00
dd4eece1df
Refresh build project
2021-09-23 15:20:23 +02:00
f3c12ec4af
Fix missing dependency
2021-09-23 15:16:17 +02:00
1ed5fa4e4b
Update build project
2021-09-22 17:08:25 +02:00
2d52921561
Fix and optimize dependencies
2021-09-22 17:08:25 +02:00
177e55820e
Move label definition to the language that uses it
2021-09-22 17:08:25 +02:00
0840e5ecfb
Replace quotation with "node builder" to satisfy generator
2021-09-22 17:08:25 +02:00
17c2c73aeb
Minor code cleanup
2021-09-22 17:08:25 +02:00
2420685b19
Disable an obsolete test
2021-09-22 17:08:25 +02:00
ae2492ab57
Update types aspect of the test language
2021-09-21 17:54:51 +02:00
ac89cbb3b6
New features in typechecking lang to facilitate working with types
...
Introduce TypeTermTable as an alternative to TermTable dedicated to
types. A "type term" declaration has a type builder: an expression
which creates the corresponding SNode.
To access term's features on can use FeatureReferenceExpression.
The new _ExpectType_ _RecoverType_ rule tables are automatically added
to the user's 'types' aspect and serve to extract types from types.
AssignType and RecoverType pseudo-constraints can be used to
extract/assign or just extract the type, correspondingly.
2021-09-21 17:54:51 +02:00
82b04c23ae
Introduce TYPE_COLLECTOR parameter to pass to template application session
...
The older technique that passed "typeCollector" to query is replaced
with passing this object as a session parameter.
Can be accessed with "CustomSessionParameter".
2021-09-21 17:54:51 +02:00
b122872890
Refactor Result to be able to clear the cause
2021-09-21 17:54:51 +02:00
3f606ba63c
Refactor the way parameters are passed to expand macro
...
Instead of the hack that that uses session parameters to pass
parameters to expandMacro, use directly `withParams` method
on macro token. All parameters are mapped to corresponding fields.
Introduce CustomSessionParameter to access parameters in
TemplateApplicationSession.
2021-09-21 17:54:51 +02:00
Fedor Isakov