 Yentl Van Tendeloo
|
fe2863e1b9
Prevent the model constructors from propagating IDs as well
|
пре 9 година |
|
Yentl Van Tendeloo
|
91f9981e57
Fixed bug in test_constructors_models
|
пре 9 година |
|
Yentl Van Tendeloo
|
856658e718
Fixed tests again
|
пре 9 година |
|
Yentl Van Tendeloo
|
8a2ab02c74
Fixed failing test
|
пре 9 година |
|
Yentl Van Tendeloo
|
151d26cc4a
Consistency between if_true and if_then, and if_false and if_else
|
пре 9 година |
|
Yentl Van Tendeloo
|
a929740f50
Fixed constraint calls
|
пре 9 година |
|
Yentl Van Tendeloo
|
9ef0ee26b0
Added new MMCL in metamodels.alc
|
пре 9 година |
|
Yentl Van Tendeloo
|
11c2199f01
Make adding constraints flexible
|
пре 9 година |
|
Yentl Van Tendeloo
|
c33fe6a55e
Changed MMCL in integration tests to see whether it would work out or not: seems it would
|
пре 9 година |
|
Yentl Van Tendeloo
|
863ccb163f
Fixed some problems in AL type model now that there is an actual model
|
пре 9 година |
|
Yentl Van Tendeloo
|
4f88612e6c
Fixed bugs in AL typer
|
пре 9 година |
|
Yentl Van Tendeloo
|
2701e96a24
Added new constructor for constraints (anonymous function)
|
пре 9 година |
|
Yentl Van Tendeloo
|
705381b7c0
Implemented reverseKeyLookup as a primitive for significant performance boost
|
пре 9 година |
|
Yentl Van Tendeloo
|
90b327d60b
Give cleaner error messages by not passing around potential null-refs
|
пре 9 година |
|
Yentl Van Tendeloo
|
a4a1ae0517
Fixed typo in tests
|
пре 9 година |
|
Yentl Van Tendeloo
|
dae8ebb0b6
Fixed failing test: should of course define Integer first
|
пре 9 година |
|
Yentl Van Tendeloo
|
fe6b7764d2
Faster checking of cardinalities
|
пре 9 година |
|
Yentl Van Tendeloo
|
e6d458bcef
Nicer name for MMCL links
|
пре 9 година |
|
Yentl Van Tendeloo
|
d133fc8dc7
Add test for structural inheritance
|
пре 9 година |
|
Yentl Van Tendeloo
|
351eb251e7
Fixed is_nominal_subtype
|
пре 9 година |
|
Yentl Van Tendeloo
|
fe577b0d32
Made test work :)
|
пре 9 година |
|
Yentl Van Tendeloo
|
d4f4f77e04
Added new (failing) test for is_direct_instance
|
пре 9 година |
 Yentl Van Tendeloo
|
a8114d3929
Added instantiation of own metamodel as well
|
пре 9 година |
|
Yentl Van Tendeloo
|
8f3b195386
Rewrote a lot of model instantiation functions to be more elegant
|
пре 9 година |
|
Yentl Van Tendeloo
|
1c948e4b02
New metamodel is merged in and basic conformance checks seem to work
|
пре 9 година |
|
Yentl Van Tendeloo
|
4afa306112
Future direction: add very fine grained operations
|
пре 9 година |
|
Yentl Van Tendeloo
|
f53707e62a
Cropped test to remove duplicate code
|
пре 9 година |
|
Yentl Van Tendeloo
|
e527d9b485
Initial commit from svn
|
пре 9 година |
