|
@@ -78,7 +78,6 @@ String function conformance_scd(model : Element):
|
|
|
|
|
|
while (0 < list_len(keys)):
|
|
|
key = set_pop(keys)
|
|
|
- log("Cardinalities " + key)
|
|
|
if (is_nominal_instance(metamodel, key, "Association")):
|
|
|
tmp_dict = create_node()
|
|
|
slc = read_attribute(metamodel, key, "source_lower_cardinality")
|
|
@@ -103,7 +102,6 @@ String function conformance_scd(model : Element):
|
|
|
while (0 < list_len(keys)):
|
|
|
model_name = set_pop(keys)
|
|
|
element = model["model"][model_name]
|
|
|
- log("Check " + model_name)
|
|
|
|
|
|
if (bool_not(dict_in_node(typing, element))):
|
|
|
return "Model has no type specified: " + model_name
|
|
@@ -124,18 +122,6 @@ String function conformance_scd(model : Element):
|
|
|
return "Source of model edge not typed by source of type: " + model_name
|
|
|
|
|
|
if (bool_not(is_nominal_instance(model, dst_model, dst_metamodel))):
|
|
|
- log("ERROR!")
|
|
|
- log("DMM_name: " + dst_metamodel)
|
|
|
- log("DM_name : " + dst_model)
|
|
|
- log("SMM_name: " + src_metamodel)
|
|
|
- log("SM_name : " + src_model)
|
|
|
- log("M_name : " + model_name)
|
|
|
- log("S_name : " + cast_e2s(model["model"][dst_model]))
|
|
|
- log("D_type : " + cast_v2s(reverseKeyLookup(model["metamodel"]["model"], dict_read_node(model["type_mapping"], model["model"][dst_model]))))
|
|
|
- log("LS_name: " + cast_v2s(reverseKeyLookup(model["model"], read_edge_src(model["model"][src_model]))))
|
|
|
- log("LD_name: " + cast_v2s(reverseKeyLookup(model["model"], read_edge_dst(model["model"][dst_model]))))
|
|
|
- log("LSTname: " + cast_v2s(reverseKeyLookup(model["metamodel"]["model"], dict_read_node(model["type_mapping"], read_edge_src(model["model"][src_model])))))
|
|
|
- log("LDTname: " + cast_v2s(reverseKeyLookup(model["metamodel"]["model"], dict_read_node(model["type_mapping"], read_edge_dst(model["model"][src_model])))))
|
|
|
return "Destination of model edge not typed by source of type: " + model_name
|
|
|
|
|
|
if (dict_in(cardinalities, model_name)):
|
|
@@ -191,7 +177,6 @@ String function conformance_scd(model : Element):
|
|
|
// TODO define the local_constraint execution function
|
|
|
log("Exec constraint!")
|
|
|
result = execute_local_constraint(model, model_name)
|
|
|
- log("Result: " + result)
|
|
|
if (result != "OK"):
|
|
|
return result
|
|
|
|