78f847747b
Drop unstable hacks, simplify code
2022-08-26 13:58:22 +02:00
a40d74c600
Fix project build and loading scheme
...
Source files for ideaplugin are now compiled externally.
2022-08-26 10:39:20 +02:00
299d9a4fd8
Update build scripts to fix tests launching
2022-08-25 12:59:36 +02:00
d2ca45aa02
Extract bootstrap code to idea plugin; CR options to become app-level
...
CR typechecking options are now application-level.
The solution j.m.c.ideaplugin contains the code responsible
for accessing and setting the options. This solution is loaded
as IDEA plugin on deploy and as regular module in source project.
Also merge code from two modules into j.m.c.typechecking.
2022-08-25 12:59:36 +02:00
fe3a38d90f
Rebuild project
2022-08-17 11:40:58 +02:00
c4a157bf4d
Bump up plugin versions
2022-08-16 18:11:49 +02:00
29c9a50fa9
Use built-in BL's intersection type instead of meet type
2022-08-16 18:11:49 +02:00
ab2a1b6499
BL Types: Disable overriding methods check, MPSCR-115
...
This check doesn't belong to the type system, is
currently implemented on top of it as a "check" rule.
2022-08-01 14:11:38 +02:00
ba7411abfa
Bump up plugin version and rebuild build scripts
2022-07-28 10:37:36 +02:00
451529aa08
Cleanup imports
2022-07-28 10:30:38 +02:00
f985db8206
Update and rebuild build scripts
2022-07-28 10:30:38 +02:00
7fe773dcc2
Switch all type aspects in mpscore sample to typechecking terms
...
This includes dropping of Recover rule table and relying on
the automatic types recovery.
2022-07-28 10:30:38 +02:00
e03f8d134b
Switch lambdac sample to typechecking queries
2022-07-28 10:30:37 +02:00
8388edb4a5
Switch fitch sample to typechecking terms/queries
2022-07-28 10:30:37 +02:00
0663921ecd
Refactoring in TypecheckingService; simplifying code
...
Request is no longer dependent on `TypecheckingService`.
Only single request can be processed at a time, which helps
prevent recursion.
All facade method in `TypecheckingService` now return instance
of `Response` instead.
2022-07-15 19:46:33 +02:00
115135bbb5
Update plugin versions and manifests
2022-07-13 12:27:14 +02:00
23502bafe7
Fix dangling import
2022-07-12 11:18:42 +02:00
71d2014ef1
Update and rebuild build scripts
2022-07-07 12:56:30 +02:00
f24169ba26
Refactor Config to be immutable; allow multi-project MPSCR-105
...
Drop hacks that try to figure out the active project.
Instead introduce new ones that cache the instance of `ProjectRepository`
(unfortunately, there is no way around that now).
Stop accessing and modifying the singleton `Config` instance,
instead make an instance of `Config` a parameter to `TypecheckingService`.
2022-07-07 12:56:30 +02:00
735bd29d61
Update references and rebuild build scripts
2022-07-07 12:56:28 +02:00
ea3e7c4719
Rebuild build scripts
2022-05-26 12:52:25 +02:00
ed58f59794
Ensure all memo usages have unique keys
2022-05-26 09:55:21 +02:00
cfcf6ecd81
Add dependency to j.m.build to enable plugin compatibility w/MPS
2022-05-11 11:37:20 +02:00
85b0156c00
Remove erroneously added debug message
2022-04-27 11:42:02 +02:00
9a312135cf
Rebuild build scripts
2022-04-26 11:40:28 +02:00
bd249c5d0c
Drop obsolete feature: incremental specification
2022-04-21 16:05:31 +02:00
dda4c9a7e6
Rebuild build projects
2022-03-16 12:32:42 +01:00
c7c55605f5
Add dependency to c.i.modules.platform to pluigns
2022-02-23 13:09:34 +01:00
a09dd24413
Fix plugin dependency to make compatible with MPS
2022-02-18 10:17:28 +01:00
9cb04439eb
Fix packaging of coderules and mpscore plugins
...
Fix the path mapping of lib files.
2022-02-17 16:44:14 +01:00
b2f97f25dd
Update mpscore plugin version and dependencies
2022-02-16 12:33:33 +01:00
04048470c5
Fix processing of recursive types
...
Avoid failing to process composite types because
of visiting the same classifier.
2022-02-10 23:40:20 +01:00
d7ffb963f7
Fix and rebuild build scripts
2022-02-08 10:44:48 +01:00
041090d634
Fix module imports (new for 2021.3)
2022-02-08 10:44:48 +01:00
0dcd48b42a
Rebuild project
2022-02-08 10:25:28 +01:00
475944192b
Fix processing recursive types (BL)
2022-02-08 10:09:40 +01:00
f2fedb0cb1
Rebuild project
2021-12-28 13:12:45 +01:00
e98ae1a19d
Update build scripts to load 3rd-party-rt.jar
2021-12-28 11:09:44 +01:00
4c8ffc0544
Add j.m.bl.classifiers language to the build
2021-11-16 12:04:32 +01:00
6a834600c1
Add null guard NodeBuilder rule
2021-11-15 13:00:03 +01:00
8e672897c5
Drop support for TypeHintExpression
2021-11-10 16:36:49 +01:00
52e6eaf65d
Rebuild project
2021-10-27 12:03:49 +02:00
509944c138
Fix typechecking of anonymous class with default ctor
2021-10-27 12:03:49 +02:00
fedd56dd55
Extract correct classifier from anonymous class
2021-10-26 17:46:40 +02:00
1ed5fa4e4b
Update build project
2021-09-22 17:08:25 +02:00
ec6e56c1c3
Fix expandMacro calls to explicitly pass 'subs' parameter recursively
...
The hack on which expandMacro parameters used to rely on, resulted in a side-
effect, namely that once passed expandMacro parameter is available
recursively, until overridden.
With new contract all parameters need to be passed on when an expandMacro
is called recursively.
2021-09-21 17:54:51 +02:00
210f30be1b
Prefer node builder to quotation
2021-09-21 17:54:50 +02:00
a5105e666a
Update build scripts
2021-09-21 17:54:50 +02:00
f96211273c
Drop hack for finding refs in LateParameter, switch to internal var ref
2021-08-17 09:30:49 +02:00
d941435963
Restore language module smodel.queryExt in the project
2021-08-17 09:30:48 +02:00
6b0526ba31
Introduce language j.m.l.types to contain aspect-related generator mappings
2021-08-17 09:29:21 +02:00
74ceb5cbfb
Types aspect for j.m.lang.typechecking (in Ext language)
2021-08-04 13:24:59 +02:00
b1fbf7265e
Update plugin version and platform compatibility
2021-07-29 15:17:18 +02:00
1b44d634b8
Rgenerate build scripts with MPS 2021.2 EAP
2021-07-29 14:46:40 +02:00
c4db4fcafe
Set generator options: strict=false in build scripts
2021-07-29 14:18:29 +02:00
78c9b16f13
Auto-fix: change reference to default constructor
2021-07-22 15:46:21 +02:00
73d50ef39c
Add typing rules for string operations in BL
2021-07-22 13:59:19 +02:00
7e132a8604
Drop creating blockmap file
2021-07-22 13:59:19 +02:00
d1f7932aae
Generate blockmap and hash for plugin update site
2021-06-29 18:10:21 +02:00
bad065229f
Rebuild project
2021-06-29 18:10:21 +02:00
17e1bc4589
Applied migration
2021-06-29 14:51:10 +02:00
dd8c5ffb07
Introduce types aspect devkit and genplan
2021-06-29 14:51:10 +02:00
9ea7ae2067
Better naming scheme for downloadable artefacts
2021-06-21 18:35:48 +02:00
9826290f78
Fix building and packaging the plugins
2021-06-21 17:50:00 +02:00
0b26d6cf7c
Package mpscore languages into a separate plugin
2021-06-18 18:41:01 +02:00
9527a097b8
Migrate to the latest MPS release, apply migrations
2021-06-18 18:41:01 +02:00
bcb4ea2499
Temporarily disable tricky to solve test case (nested generics)
2021-05-18 13:07:14 +02:00
054ecf5c25
Adjust error annotations to reflect proper typechecking errors
2021-05-18 13:07:03 +02:00
1e3c67949d
Fix BL types: conditional op, raw types, capture conversion
2021-05-18 13:07:03 +02:00
632d33ed0f
Ensure the sample project is open with coderules plugin
2021-05-18 12:32:03 +02:00
0cea4073cc
Fix BL types: ensure proper type inference and incremental typechecking
2021-05-18 12:32:03 +02:00
f434d34d95
Test integrating stream API and smodel
2021-05-18 12:32:03 +02:00
0691ca6a1b
Drop last usage of "kind" feature
2021-05-13 15:54:44 +02:00
f623846f6c
Fix function types: observe function type variance, drop wildcards
2021-05-13 15:54:44 +02:00
6d655c4707
Update resolve info in models after renaming
2021-05-13 15:54:44 +02:00
d9225a4516
Test code for smodel/stream sample
2021-05-13 15:54:44 +02:00
bb4aa7e6e1
Fix sequence types: correctly process raw types
2021-05-13 15:54:44 +02:00
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
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
33476c837c
Minor fix coderules types: ensure correct incremental processing
2021-05-13 15:54:43 +02:00
582d62749e
Minor fix generatorContext types: avoid exception on rule application
2021-05-13 15:54:43 +02:00
fc7d97f015
Fix closures types: observe function type's inherent variance
2021-05-13 15:54:43 +02:00
7e4eff91de
Fix smodel types: more precise conversion to/from classifier
2021-05-13 15:54:43 +02:00
cba508dc01
Fix collections types: indexOf accepts Object
2021-05-13 15:54:43 +02:00
2ae85d4dae
Types for j.m.lang.pattern language
2021-05-13 15:54:43 +02:00
5a6db97aed
Types for j.m.lang.scopes language
2021-05-13 15:54:43 +02:00
827089d8ae
Fix smodel types: ofconcept, attribute access, children
2021-05-13 15:54:43 +02:00
abbbfe5141
Fix behaviour types: fix wrong term
2021-05-13 15:54:43 +02:00
ab28b66981
Fix coderules types: avoid exception
2021-05-13 15:54:43 +02:00
71cb954cba
Temporary stub for NamedTuple type, to be completed later
2021-05-13 15:54:43 +02:00
a08c730ece
Migrate to NodeRefItem
2021-05-13 15:54:43 +02:00
637da7d966
Apply migration and rebuild project
2021-05-04 18:24:30 +02:00
ea6e930954
Apply migration and rebuild project
2021-05-04 18:24:29 +02:00
81d025298c
Update build script and rebuild
2021-05-04 11:07:14 +02:00
5e4dfb249e
Add tests for type variables inference
2021-05-03 13:29:13 +02:00
0194dcdfcc
Fix closure test failing after recent changes
2021-05-03 13:14:11 +02:00
47e6e07039
Refactor processing of inference variables
...
Introduce hasTarget and resolveVar constraints for delayed resolving
of inference variables. In invocation context variables are not
inferred eagerly, but wait for the end of all conversions, and then
resolved via resolveVar.
2021-05-03 13:14:11 +02:00
e488399229
Minor refactoring in collections types
2021-05-03 13:14:11 +02:00
998fa3b925
Fix BL types: make capture processing generic, couple of minor fixes
2021-05-03 13:14:11 +02:00
ae63863299
Minor code fix to ensure typechecking
2021-04-29 14:53:19 +02:00
6a3834d91d
Drop instances of a deprecated concept
2021-04-29 14:53:19 +02:00
7cef550a08
Fix logic and coderules types: logical and termlist conversions to classfier
2021-04-29 14:53:19 +02:00
d407eb2676
Fix sequence types: support covariance with upper bound type
2021-04-29 14:53:19 +02:00
8df5c22c8b
Fix pattern terms used in typeOf: always specify concept
...
For SModel types that reference AbstractConceptDeclaration
a type term created without specifying the reference
automatically becomes a pattern.
A pattern can't be used in typeOf, so the default
concept (BaseConcept) is provided explicitly.
This may be later refactored into a default value in the term
table.
2021-04-29 14:53:19 +02:00
d45ef7815a
Fix BL types: avoid failing on incomplete source data
2021-04-29 14:53:19 +02:00
1c82991112
Ensure classifier type is created as pattern where applicable
...
List features in a term are by defualt created as empty list.
When a pattern is required, one must provide explicitly a
wildcard variable to capture either NIL or CONS list term.
2021-04-28 08:55:00 +02:00
2f25f5566b
Fix coderules types: avoid failing on incomplete source
2021-04-28 08:55:00 +02:00
c893d3280e
Fix collection types: support DowncastExpression
2021-04-28 08:55:00 +02:00
cf386d848c
Fix smodel types: make gendecl processed correctly, generify dpromote
2021-04-28 08:55:00 +02:00
0eb826d00e
Minor fix: typesystem types
2021-04-28 08:55:00 +02:00
da11b2cc76
Fix smodel types: enable capturing patterns for coerce, minor fix
2021-04-28 08:55:00 +02:00
2d98b4cf67
Fix types for j.m.l.behavior -- rename sidekick language
2021-04-28 08:55:00 +02:00
fa795caedc
Fix smodel types: correctly process lub type, other minor stuff
2021-04-28 08:54:25 +02:00
c6c9a6e281
BL types: drop boxing/unboxing for strong converts/coerce queries
2021-04-28 08:54:25 +02:00
ab87c8a129
Support strong convert/coerce queries
2021-04-28 08:54:25 +02:00
870966bd70
Types for j.m.lang.script language
2021-04-28 08:54:25 +02:00
a9db172297
Smodel types: conversion for concept and conceptNode types
2021-04-28 08:54:25 +02:00
fceef17a64
Fix typechecking errors
2021-04-28 08:54:25 +02:00
7d0e765381
Fix coderules types
...
Require statement accepts node-ptr
Fix coderules types: fix logical type in LateParameter
2021-04-28 08:54:25 +02:00
118602b2fd
Fix BL types: classifier type with other types as parameters
...
Also fix code constructs that caused typechecking errors.
2021-04-28 08:54:25 +02:00
5dd55a4dae
Ignore error messages in test
2021-04-28 08:54:25 +02:00
c0154026ef
WIP Fix smodel types: reflective conversion
2021-04-28 08:54:25 +02:00
a204df222a
Optimize BL types and queries
...
Make expectType optional (auxiliary).
Drop checkDecls from typeof query (unnecessary).
2021-04-28 08:54:25 +02:00
d918fa5c12
Optimize BL types
...
Switch to pull style boundOf instead of typeVarBound.
Drop importDecls.
2021-04-21 10:45:09 +02:00
bf7939b350
Fix logic types: check for null reference
2021-04-19 22:55:09 +02:00
fb27a6aa14
Drop unused model import
2021-04-19 22:55:09 +02:00
09149fd688
Types for j.m.l.smodel.query lang
2021-04-15 18:06:07 +02:00
2f4f3dae6f
Minor optimization in smodel types: pull-style constraint
...
Instead of reactively create push-style constraint conceptHierarchy,
make it available on request, pull-style.
2021-04-15 16:56:11 +02:00
ff6b5ec6ae
Apply migrations and rebuild project
2021-04-14 13:19:50 +02:00
6ed5c3329d
Fix typing errors: specify correct type annotations
2021-04-14 11:59:09 +02:00
700a7f56b4
Fix generator types
2021-04-14 10:55:29 +02:00
8dbe0c212d
Fix smodel types
2021-04-14 10:54:10 +02:00
3a70382202
Fix typesystem types: support for meet/join
2021-04-14 10:53:41 +02:00
e76dab0d84
Fix logic and coderules types
2021-04-14 10:53:17 +02:00
49357ab87a
Drop all usages of "principal store" and "preamble" feature
2021-04-13 22:57:06 +02:00
7f55407c7a
Rebuild project
2021-04-12 17:12:34 +02:00
c0601cb099
Optimizing types for more efficient evaluation
...
Replace "push" style genDecl constraint with "pull" schemeOf.
Mark rules as "auxiliary" to avoid these being included in
processing as dependencies.
2021-04-12 12:47:44 +02:00
6970635bfe
Drop "withoutIncremental" option for tests, disable one test
...
Test DemoTypeClasses fails every once in a while.
2021-04-12 12:47:44 +02:00
ca7f630235
Rebuild build solution
2021-04-08 09:08:24 +02:00
3793b78efb
Types for j.m.baseLanguage.classifiers
2021-04-08 08:55:33 +02:00
27420433dc
Types for j.m.lang.behavior
2021-04-08 08:55:33 +02:00
5c13129daa
Fix type of logical variables in coderules types
2021-04-08 08:55:32 +02:00
65b32a4f48
Fix lub processing in BL types
2021-04-08 08:54:46 +02:00
1eadb46611
Fix smodel types: assign void type to operations w/o returned value
2021-04-08 08:54:22 +02:00
d527d5a114
Suppress errors in test code
2021-04-08 08:53:30 +02:00
d7ff661670
Types for j.m.l.test lang
2021-04-08 08:53:29 +02:00
105fe1dd7e
Fix dataform type conversion to term/termlist
2021-04-08 08:51:39 +02:00
6b3e74dda2
Fix conversions in tuple types
2021-04-08 08:50:50 +02:00
f5b4b0edb0
Fix binary op in collections lang
2021-04-08 08:50:28 +02:00
693c760618
Add types for j.m.l.test language.
2021-03-23 12:48:07 +01:00
99e248c5b3
Fix incremental update of reported feedback
...
Correctly detect cache up-to-date.
Refactor feedback reporting, provide origin node as the key.
Drop invalidated feedback correctly.
Code cleanup.
2021-03-23 12:48:06 +01:00
258a190fde
Rebuild project.
2021-03-23 12:48:06 +01:00
5fc019caca
Mark an exhastive check rule as "auxiliary" to avoid including it as dependency.
2021-03-08 12:34:40 +01:00
a9ff6730ca
Fix concept type conversion to classifier with undefined concept.
2021-03-08 12:34:40 +01:00
c36679bcc6
Fix logic inconsistent type error
...
Naive check won't suffice to ensure multilogical are used properly.
Need more sophisticated type check.
2021-03-08 12:34:39 +01:00
b70d2cc87b
Drop unused dependencies
2021-02-14 15:48:08 +01:00
4755c0dfa0
Extract test helper classes into separate redistributable module
2021-02-14 15:12:58 +01:00
8a529758ea
Remove build solution from mpscore project
2021-02-14 15:04:29 +01:00
fc1c5b8021
Drop project libraries, switch to using the plugin for loading CR modules.
2021-02-13 10:25:24 +01:00
81831db86a
Move experimental controlflow aspect to a separate language
2021-02-06 15:28:03 +01:00
caca5e606f
Fix failing CI build because of empty test case
2021-02-05 12:12:48 +01:00
dee5db0e96
Drop instances of TermFeature.final property
2021-02-04 18:01:10 +01:00
d362da6a60
Rebuild project
2021-02-04 18:01:10 +01:00
ed55370a01
Fix model imports (hamcrest lib has been moved to another solution)
2021-02-04 12:27:55 +01:00
7fe5a5ad7a
Auto-updated files after migrating to MPS 2021.1 EAP
2021-02-04 12:26:59 +01:00
b7f4d227a4
Rebuild project
2021-02-04 09:16:10 +01:00
ecf7eec55a
SModel types: fix type of isSubtypeExpression
2021-02-04 08:51:00 +01:00
2f0f2e5b13
BL types: support coerce to target type query kind
2021-02-04 08:51:00 +01:00
4d1cdacfe2
BL types: avoid failure on typechecking BaseMethodCall
...
BaseMethodCall doesn't always have an enclosing classifier.
2021-02-04 08:51:00 +01:00
ad269bb6b5
Ensure typechecking state is properly disposed of on reload
2021-02-04 08:51:00 +01:00
40a93d5ba9
Temporarily disable one failing test in IncrClassHierarchy; Preamble tests
...
Preamble tests should be reviewed. It's also unclear
whether preamble feature is effective and needed at all.
2021-01-29 16:21:57 +03:00
64762bf100
Fix bl tests (several test were failing after some of changes)
2021-01-29 13:39:35 +03:00
4dac9e794a
Fix assignment of 'null' ret type in closures with insufficient infer info. Add require.
2021-01-29 13:39:35 +03:00
148223a842
Add incremental tests for lambda calc. Enable ignored tests for closures.
2021-01-29 13:39:35 +03:00
2b46ab0413
BL types: ensure any type converts to Type
2021-01-23 16:59:46 +01:00
2b6de60ebc
BL types: Drop runtimeType term and its usages
2021-01-23 16:59:42 +01:00
1389f9429f
Rebuild project
2021-01-08 11:00:02 +01:00
62e8e7d013
Switch to MPS 2020.3 release.
2021-01-08 11:00:02 +01:00
0a77dcb33b
Coderules types: fix unifiable relation, add missing typing rules
2021-01-06 12:43:55 +01:00
a9643c03b8
Logic types: fix indexed variable, make logical a supertype of its parameter
2021-01-06 12:43:55 +01:00
aec8c3f9d9
SModel types: type for concept method call
2021-01-06 12:43:55 +01:00
143fb9cf57
Generator lang types: fix a typo
2020-12-30 18:28:46 +01:00
6f92d666f7
BL types: a few fixes, stabilize typechecking
...
Support Type type.
Simplify depdendency of var decl to its type.
Covariant subtyping for UpperBoundType.
Straightforward dependencies on type's parameters.
Specify BaseConcept as general type's concept.
Fix method reference.
2020-12-30 18:28:46 +01:00
4acae7a1b7
SModel types: minor fixes
...
Support SConceptLiteralType.
Drop rogue .pointer operation.
Build proper term for enumMember type.
2020-12-30 18:28:46 +01:00
51d5687e1a
Add missing language modules to mpscore project
2020-12-30 18:28:45 +01:00
862d7f62c2
Replace direct usages of test data with proper references, fix generation
2020-12-27 21:04:51 +01:00
67c208a360
Drop support for a few concepts that have been dropped
2020-12-27 21:04:51 +01:00
0584d05c4f
Drop support for a concept that has been apparently dropped upstream
2020-12-27 20:42:07 +01:00
66f04fe92a
Replace direct usages of test data with proper references, fix generation
2020-12-27 20:42:07 +01:00
435a8d4ec8
Replace direct usages of test data with proper references, fix generation
2020-12-27 20:20:21 +01:00
f5c9ed7c4b
Temporarily change the extends clause of Array rule table
...
This particular extends clause breaks an internal invariant
of rules plan, namely the topological sorting of rule tables.
This results in broken rule index, which needs to be fixed.
Also, disable a suspect rule that relies no typeof()
*not* being present, which is a transient condition.
2020-12-27 16:39:22 +01:00
d87afd868e
Closure types: use lub to compute the type of closure literal
...
Multiple "exit points" in closure literal may have different types.
Calculate lub of these types and use it as returned type.
2020-12-27 16:04:06 +01:00
182ea97cc1
BL internal types: support internal class
2020-12-27 16:04:06 +01:00
2ef3176bc2
BL types: extend lub to primitive types via boxing
2020-12-27 16:04:06 +01:00
621cdaa912
Implement lub for sequence type
...
Using the fact that sequence type is covariant, just forward
to lub for parameters.
2020-12-27 16:04:06 +01:00
70d6dfefa1
Fix failing generation by disabling typechecking of cast expression
...
Cast expression must check the type of the argument expression
and ensure comparabitiy of types.
2020-12-27 16:04:06 +01:00
1228ff036b
BL types: substring expression, string conversion to classifier
2020-12-27 16:04:06 +01:00
2a5163c0f4
BL types: support concept function and Void classifier
2020-12-27 10:36:00 +01:00
7ecad792e0
Types for generator.generationContext lang
2020-12-27 10:36:00 +01:00
4c0a06f904
Types for generator lang
2020-12-27 10:36:00 +01:00
Fedor Isakov