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

3047 Commits

Author SHA1 Message Date
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
Fedor Isakov d9225a4516 Test code for smodel/stream sample 2021-05-13 15:54:44 +02:00
Fedor Isakov bb4aa7e6e1 Fix sequence types: correctly process raw types 2021-05-13 15:54:44 +02:00
Fedor Isakov 65ec6d9d35 Fix BL types: reimplement raw type, many small fixes 
Fix type inference from containment, change priority for var-ground containment.
Fix variable reference type, property, plus operation, binary ops.
Fix type variables and bounds.
Fix checking overridden methods.
Introduce stripBounds for cleaning up wildcards.
Introduce containment string ≤ String.
 2021-05-13 15:54:44 +02:00
Fedor Isakov d5a91b91e5 Fix closures types: convertsTo of function type 
Instead of solving convertsTo for function type in functional domain,
try to find the expected classifier type and solve for it instead.
 2021-05-13 15:54:43 +02:00
Fedor Isakov 33476c837c Minor fix coderules types: ensure correct incremental processing 2021-05-13 15:54:43 +02:00
Fedor Isakov 582d62749e Minor fix generatorContext types: avoid exception on rule application 2021-05-13 15:54:43 +02:00
Fedor Isakov f76f81af50 Switch RuleIndex to IndexedTermTrie 2021-05-13 15:54:43 +02:00
Fedor Isakov 4573764bb4 Reactor: introduce indexed term trie 2021-05-13 15:54:43 +02:00
Fedor Isakov fc7d97f015 Fix closures types: observe function type's inherent variance 2021-05-13 15:54:43 +02:00
Fedor Isakov 7e4eff91de Fix smodel types: more precise conversion to/from classifier 2021-05-13 15:54:43 +02:00
Fedor Isakov cba508dc01 Fix collections types: indexOf accepts Object 2021-05-13 15:54:43 +02:00
Fedor Isakov 1925ee9ef6 Auto-corrected 2021-05-13 15:54:43 +02:00
Fedor Isakov 2ae85d4dae Types for j.m.lang.pattern language 2021-05-13 15:54:43 +02:00