 Yentl Van Tendeloo
|
bf15fa45ed
Fixed some parts of the code: at least now some violations are detected
|
9 years ago |
|
Yentl Van Tendeloo
|
39a631b595
Short path if the model is empty: don't read out all edges just to create cardinality dictionary
|
9 years ago |
|
Yentl Van Tendeloo
|
a4a1ae0517
Fixed typo in tests
|
9 years ago |
|
Yentl Van Tendeloo
|
fe6b7764d2
Faster checking of cardinalities
|
9 years ago |
|
Yentl Van Tendeloo
|
73e88274bc
First cache all cardinalities so we don't have to read the attribute thousands of times
|
9 years ago |
|
Yentl Van Tendeloo
|
c3b15a6ab6
Reimplement reverseNameLookup and fixed bug in cardinality checking of Associations
|
9 years ago |
|
Yentl Van Tendeloo
|
03d401a8c9
Fixed some bugs; leave some bugs
|
9 years ago |
|
Yentl Van Tendeloo
|
aa28cc776e
Added code for cardinality checking
|
9 years ago |
|
Yentl Van Tendeloo
|
dde7371ab2
Add check for lower and upper multiplicities
|
9 years ago |
|
Yentl Van Tendeloo
|
4d6788aade
Fixed include in conformance check; make_parallel uses PO instead of CO
|
9 years ago |
|
Yentl Van Tendeloo
|
351eb251e7
Fixed is_nominal_subtype
|
9 years ago |
 Yentl Van Tendeloo
|
d376f289fe
Fixed similar problems of == and element_eq mix-ups
|
9 years ago |
|
Yentl Van Tendeloo
|
159a3b4b98
Fixed incorrect change from element_eq to value_eq (through ==)
|
9 years ago |
|
Yentl Van Tendeloo
|
51b6572a1a
Ported some code to [] syntax instead of dict_read (where possible)
|
9 years ago |
|
Yentl Van Tendeloo
|
f909fdb654
Use shorter variable names now that scopes exist
|
9 years ago |
|
Yentl Van Tendeloo
|
ab394a5dbb
Made conformance_scd a bit more readable and fixed some latent bugs in
|
9 years ago |
|
Yentl Van Tendeloo
|
e527d9b485
Initial commit from svn
|
9 years ago |
