From 50a69449ff7bcdf2528736556b3a5c28e6a84efd Mon Sep 17 00:00:00 2001 From: Manuel Krucker Date: Fri, 9 May 2008 07:43:56 +0000 Subject: [PATCH] git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7928 3260e6d1-4efc-4170-b0a7-36055960796d --- su4sml/src/wfcpog/taxonomy_consistency.sml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/su4sml/src/wfcpog/taxonomy_consistency.sml b/su4sml/src/wfcpog/taxonomy_consistency.sml index 44f71f1..32e5826 100644 --- a/su4sml/src/wfcpog/taxonomy_consistency.sml +++ b/su4sml/src/wfcpog/taxonomy_consistency.sml @@ -144,10 +144,10 @@ fun check_depth wfpo (model as (clist,alist)) = val classes = List.filter (fn a => (is_Class a) orelse (is_AssoClass a) orelse (is_Iface a) orelse (is_Enum a) orelse (is_Primi a)) cl val tax_args = WFCPOG_TAX_Data.get wfpo val depth = (#max_depth tax_args) - val res = List.all (fn a => a = true) (List.map (fn a => check_depth_classifier depth a model) classes) + val res = List.all (fn a => a = true) (List.map (fn a => check_depth_classifier depth a model + handle WFCPOG.WFC_FailedMessage s => raise WFCPOG.WFC_FailedException (wfpo,s)) classes) val _ = trace function_calls ("WFCPG_Taxonomy_Consistency.check_maxDepth\n") in res - handle WFCPOG.WFC_FailedMessage s => raise WFCPOG.WFC_FailedException (wfpo,s) end end;