瀏覽代碼

Check signature of add_MT before creation

Yentl Van Tendeloo 7 年之前
父節點
當前提交
466a581719
共有 2 個文件被更改,包括 3 次插入0 次删除
  1. 二進制
      bootstrap/bootstrap.m.gz
  2. 3 0
      bootstrap/core_algorithm.alc

二進制
bootstrap/bootstrap.m.gz


+ 3 - 0
bootstrap/core_algorithm.alc

@@ -1779,6 +1779,9 @@ String function cmd_transformation_add_MT(source_models : Element, target_models
 	target = dict_create()
 	to_ramify = set_create()
 
+	if (dict_len(source_models) + dict_len(target_models) == 0):
+		return "Model transformation needs at least one formalism in its input or output signature!"!
+
 	keys = dict_keys(source_models)
 	while (set_len(keys) > 0):
 		key = set_pop(keys)