 Yentl Van Tendeloo
|
2cf3b1ca91
Call the constructors of the type, not of ourself!
|
9 anni fa |
|
Yentl Van Tendeloo
|
863ccb163f
Fixed some problems in AL type model now that there is an actual model
|
9 anni fa |
|
Yentl Van Tendeloo
|
4f88612e6c
Fixed bugs in AL typer
|
9 anni fa |
|
Yentl Van Tendeloo
|
2701e96a24
Added new constructor for constraints (anonymous function)
|
9 anni fa |
|
Yentl Van Tendeloo
|
705381b7c0
Implemented reverseKeyLookup as a primitive for significant performance boost
|
9 anni fa |
|
Yentl Van Tendeloo
|
c0e6378508
Fixed bugs in previous commit, where some parts didn't completely use names yet
|
9 anni fa |
|
Yentl Van Tendeloo
|
90b327d60b
Give cleaner error messages by not passing around potential null-refs
|
9 anni fa |
|
Yentl Van Tendeloo
|
bebba1e7fe
Slightly more efficient library operations
|
9 anni fa |
|
Yentl Van Tendeloo
|
55d9041be1
Fixed bug in allInstances
|
9 anni fa |
|
Yentl Van Tendeloo
|
722378a639
Fixed bug in checking of upper cardinalities, found with test
|
9 anni fa |
|
Yentl Van Tendeloo
|
08b59ddb4e
Fixed tests; made library more consistent in its use of names instead of IDs
|
9 anni fa |
|
Yentl Van Tendeloo
|
e48f2a13fe
Relaxed MvS constraint to allow for ambiguous keys (though not for duplicates!), thus solving the cardinality problem
|
9 anni fa |
|
Yentl Van Tendeloo
|
ebf8bfc23c
Updated all*AssociationInstances to use strings as well
|
9 anni fa |
|
Yentl Van Tendeloo
|
bf15fa45ed
Fixed some parts of the code: at least now some violations are detected
|
9 anni fa |
|
Yentl Van Tendeloo
|
39a631b595
Short path if the model is empty: don't read out all edges just to create cardinality dictionary
|
9 anni fa |
|
Yentl Van Tendeloo
|
a4a1ae0517
Fixed typo in tests
|
9 anni fa |
|
Yentl Van Tendeloo
|
fe6b7764d2
Faster checking of cardinalities
|
9 anni fa |
|
Yentl Van Tendeloo
|
73e88274bc
First cache all cardinalities so we don't have to read the attribute thousands of times
|
9 anni fa |
|
Yentl Van Tendeloo
|
c3b15a6ab6
Reimplement reverseNameLookup and fixed bug in cardinality checking of Associations
|
9 anni fa |
|
Yentl Van Tendeloo
|
03d401a8c9
Fixed some bugs; leave some bugs
|
9 anni fa |
|
Yentl Van Tendeloo
|
aa28cc776e
Added code for cardinality checking
|
9 anni fa |
|
Yentl Van Tendeloo
|
dde7371ab2
Add check for lower and upper multiplicities
|
9 anni fa |
|
Yentl Van Tendeloo
|
4d6788aade
Fixed include in conformance check; make_parallel uses PO instead of CO
|
9 anni fa |
|
Yentl Van Tendeloo
|
351eb251e7
Fixed is_nominal_subtype
|
9 anni fa |
 Yentl Van Tendeloo
|
d376f289fe
Fixed similar problems of == and element_eq mix-ups
|
9 anni fa |
|
Yentl Van Tendeloo
|
159a3b4b98
Fixed incorrect change from element_eq to value_eq (through ==)
|
9 anni fa |
|
Yentl Van Tendeloo
|
51b6572a1a
Ported some code to [] syntax instead of dict_read (where possible)
|
9 anni fa |
|
Yentl Van Tendeloo
|
f909fdb654
Use shorter variable names now that scopes exist
|
9 anni fa |
|
Yentl Van Tendeloo
|
ab394a5dbb
Made conformance_scd a bit more readable and fixed some latent bugs in
|
9 anni fa |
|
Yentl Van Tendeloo
|
e527d9b485
Initial commit from svn
|
9 anni fa |
