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
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
abed4bd3e1
Avoid failing on an error in template application, allow recover
2021-04-28 08:54:25 +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
Fedor Isakov