Fedor Isakov
c4db4fcafe
Set generator options: strict=false in build scripts
2021-07-29 14:18:29 +02:00
Fedor Isakov
617a7d77a5
Fix build script
2021-07-29 12:46:57 +02:00
Fedor Isakov
4b64377ac6
Introduce dsl constructs for typechecking queries
...
A root TypecheckingQueries is to replace the generic Queries
from j.m.lang.coderules.
2021-07-29 12:46:57 +02:00
Fedor Isakov
4f22a7959d
Fix LateExpression generator: avoid interfering with other gen templates
2021-07-29 12:46:57 +02:00
Fedor Isakov
78c9b16f13
Auto-fix: change reference to default constructor
2021-07-22 15:46:21 +02:00
Fedor Isakov
4d06adf85b
Rename isAssigned to isNonfree for consistency
2021-07-22 15:46:21 +02:00
Fedor Isakov
4ea1d0cadd
Feature: isGround and isNonground predicates, MPSCR-94
2021-07-22 13:59:19 +02:00
Fedor Isakov
73d50ef39c
Add typing rules for string operations in BL
2021-07-22 13:59:19 +02:00
Fedor Isakov
7e132a8604
Drop creating blockmap file
2021-07-22 13:59:19 +02:00
Fedor Isakov
c344b384f3
Update site to refer to Github's release assets (again)
2021-07-07 12:55:25 +02:00
Fedor Isakov
4e02433491
Make rule input and session variables available in rule methods
2021-07-06 13:42:41 +02:00
Fedor Isakov
2425fe933a
Ensure dependency is tracked for nested expand macro applications
...
Expand macro passes the rule's input to nested macro calls.
This adds the macro input as the dependency of the rule's input.
As a result, incremental processing starts working in some cases.
2021-06-30 18:25:46 +02:00
Fedor Isakov
f83757b69a
Rollback aspect devkit for bootstrap languages
2021-06-29 18:10:21 +02:00
Fedor Isakov
d1f7932aae
Generate blockmap and hash for plugin update site
2021-06-29 18:10:21 +02:00
Fedor Isakov
bad065229f
Rebuild project
2021-06-29 18:10:21 +02:00
Fedor Isakov
17e1bc4589
Applied migration
2021-06-29 14:51:10 +02:00
Fedor Isakov
c4811d7d74
Migration of types aspect
...
Add types aspect devkit, remove engaged in generation.
2021-06-29 14:51:10 +02:00
Fedor Isakov
dd8c5ffb07
Introduce types aspect devkit and genplan
2021-06-29 14:51:10 +02:00
Fedor Isakov
2963dd93b6
Update project's README with up-to-date information
2021-06-25 18:28:58 +02:00
Fedor Isakov
a8a62ddaaa
Specify clean task dependencies in gradle script
2021-06-22 13:50:45 +02:00
Fedor Isakov
11a0bd7097
Fix groovy's markup builder
2021-06-22 13:12:58 +02:00
Fedor Isakov
f3bc89aef7
Nice presentation of plugins in updatePlugins.xml
2021-06-21 19:13:00 +02:00
Fedor Isakov
9ea7ae2067
Better naming scheme for downloadable artefacts
2021-06-21 18:35:48 +02:00
Fedor Isakov
9826290f78
Fix building and packaging the plugins
2021-06-21 17:50:00 +02:00
Fedor Isakov
ffee51d4a2
Ensure both plugins are available in updatePlugins.xml
2021-06-18 18:41:01 +02:00
Fedor Isakov
a8b0b13513
Include build solution into coderules plugin; fix file name
2021-06-18 18:41:01 +02:00
Fedor Isakov
0b26d6cf7c
Package mpscore languages into a separate plugin
2021-06-18 18:41:01 +02:00
Fedor Isakov
18288f269b
Fix reference to JDK version in INSTALL.txt
2021-06-18 18:41:01 +02:00
Fedor Isakov
29f33b6840
Switch to using latest MPS release for building the project
2021-06-18 18:41:01 +02:00
Fedor Isakov
9527a097b8
Migrate to the latest MPS release, apply migrations
2021-06-18 18:41:01 +02:00
Fedor Isakov
e03a65760c
Adjust style for fail constraint
2021-06-18 18:41:00 +02:00
Fedor Isakov
4654243fc6
Fix doc site timestamp
2021-05-27 16:33:51 +02:00
Fedor Isakov
4f9e1178dd
Fix doc site redirect to /
2021-05-27 12:33:42 +02:00
Fedor Isakov
c2641b4149
Update documentation content (rev. 0.9.0)
2021-05-27 12:17:43 +02:00
Fedor Isakov
650ebde73e
Update docs site: fixed menu, add redirect to content, fix design
2021-05-27 12:13:33 +02:00
Fedor Isakov
bcb4ea2499
Temporarily disable tricky to solve test case (nested generics)
2021-05-18 13:07:14 +02:00
Fedor Isakov
054ecf5c25
Adjust error annotations to reflect proper typechecking errors
2021-05-18 13:07:03 +02:00
Fedor Isakov
1e3c67949d
Fix BL types: conditional op, raw types, capture conversion
2021-05-18 13:07:03 +02:00
Fedor Isakov
c153d605e6
Auto-fix
2021-05-18 12:32:03 +02:00
Fedor Isakov
632d33ed0f
Ensure the sample project is open with coderules plugin
2021-05-18 12:32:03 +02:00
Fedor Isakov
02baab4100
Optimize AspectLookup: avoid traversing descendants of input
2021-05-18 12:32:03 +02:00
Fedor Isakov
1d620cdd63
Drop obsolete unused features, cleanup the code
2021-05-18 12:32:03 +02:00
Fedor Isakov
dc4f046510
Cleanup and optimize Rule.Tag, drop unused methods
2021-05-18 12:32:03 +02:00
Fedor Isakov
24ce9167bf
Drop second implementation of aspect lookup, unify usages of AspectLookup
2021-05-18 12:32:03 +02:00
Fedor Isakov
1bb8763816
Refactor AspectLookup to depend on repository, cache results
2021-05-18 12:32:03 +02:00
Fedor Isakov
0cea4073cc
Fix BL types: ensure proper type inference and incremental typechecking
2021-05-18 12:32:03 +02:00
Fedor Isakov
f434d34d95
Test integrating stream API and smodel
2021-05-18 12:32:03 +02:00
Fedor Isakov
0691ca6a1b
Drop last usage of "kind" feature
2021-05-13 15:54:44 +02:00
Fedor Isakov
f623846f6c
Fix function types: observe function type variance, drop wildcards
2021-05-13 15:54:44 +02:00
Fedor Isakov
6d655c4707
Update resolve info in models after renaming
2021-05-13 15:54:44 +02:00