632d33ed0f
Ensure the sample project is open with coderules plugin
2021-05-18 12:32:03 +02:00
02baab4100
Optimize AspectLookup: avoid traversing descendants of input
2021-05-18 12:32:03 +02:00
1d620cdd63
Drop obsolete unused features, cleanup the code
2021-05-18 12:32:03 +02:00
dc4f046510
Cleanup and optimize Rule.Tag, drop unused methods
2021-05-18 12:32:03 +02:00
24ce9167bf
Drop second implementation of aspect lookup, unify usages of AspectLookup
2021-05-18 12:32:03 +02:00
1bb8763816
Refactor AspectLookup to depend on repository, cache results
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
f76f81af50
Switch RuleIndex to IndexedTermTrie
2021-05-13 15:54:43 +02:00
4573764bb4
Reactor: introduce indexed term trie
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
1925ee9ef6
Auto-corrected
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
4ee3869b45
Introduce a means to use direct reference to INamedConcept in rules
2021-05-13 15:54:42 +02:00
338ea4109e
Limit LogicalItemValueExpression to contain LogicaVariable
2021-05-04 18:24:30 +02:00
637da7d966
Apply migration and rebuild project
2021-05-04 18:24:30 +02:00
0a7623fa3b
Migration to LogicalItem for the rest of expressions
2021-05-04 18:24:30 +02:00
ce1569f4f6
Enable DataNodeLiteral in EvaluationSetting, only for lists
2021-05-04 18:24:29 +02:00
06083bdd30
Disable entering DataNodeExpression in EvaluationSetting
2021-05-04 18:24:29 +02:00
ea6e930954
Apply migration and rebuild project
2021-05-04 18:24:29 +02:00
a9fc3db841
Migrate to TermFeatureOverrid to LogicalItem
...
Deprecate TFO.getter
Disable entering LogicalItemExpression
2021-05-04 18:24:29 +02:00
81d025298c
Update build script and rebuild
2021-05-04 11:07:14 +02:00
16e0fdf9dd
Reactor: fix wrong match on reactivation in propagation rule
...
A propagaition rule must ignore reactivated occurrence.
Although it is possible that other occurrences are waiting,
and they can be erroneously selected if precautions are not taken.
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
287c31c9f7
Process only pattern's top-level node when coercing
...
Ignore all contents of a pattern but the top level.
This covers most situations.
The pattern ought to provide information as to which
nodes are capturing variables.
2021-04-29 14:53:19 +02:00
Fedor Isakov