HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8369 3260e6d1-4efc-4170-b0a7-36055960796d

This commit is contained in:
Achim D. Brucker 2009-01-03 11:35:51 +00:00
parent 4318d446e0
commit ef3d967d8a
1 changed files with 32 additions and 32 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

64
su4sml/src/ocl_parser/type_checker.sml
View File

@ -826,41 +826,41 @@ fun check_context_list [] model = []
val s2 = ("Error Message: " ^ mes ^ "\n")
val _ = trace exce (s1^s2)
in
raise TC_OperationWithTypeError mes
raise TC_WrongContextChecked h
end
| TC_NoSuchAttributeError mes =>
let
val s1 = ("TC_NoSuchAttributeError:\n")
val s2 = ("Error Message: " ^ mes ^ "\n")
val _ = trace exce (s1^s2)
in
raise TC_WrongContextChecked h
end
| GetClassifierError mes =>
let
val s1 = ("GetClassifierError:\n")
val s2 = ("Error Message: " ^ mes ^ "\n")
val _ = trace exce (s1^s2)
in
raise TC_WrongContextChecked h
end
| TC_NoSuchOperationError mes =>
let
val s1 = ("TC_NoSuchOperationError:\n")
val s2 = ("Error Message: " ^ mes ^ "\n")
val _ = trace exce (s1^s2)
in
raise TC_WrongContextChecked h
end
)::(check_context_list context_list_tail model))
handle(* TC_WrongContextChecked h => *)
(* let *)
(* val s1 = ("\n\n#################################################\n") *)
(* val s2 = ("WrongContextChecked:\n") *)
(* val s3 = ("In Context: " ^ (cxt_list2string [h]) ^ "\n") *)
(* val _ = trace exce (s1^s2^s3) *)
(* in *)
(* raise TC_RootError ("Something went wrong!\n") *)
(* end *)
(* | *) TC_NoSuchAttributeError s =>
handle TC_WrongContextChecked h =>
let
val s1 = ("\n\n#################################################\n")
val s2 = ("Attribute not found: "^s^ "\n")
val _ = print s2
in (* ADB TODO *)
raise TC_RootError ("Something went wrong!\n")
end
| GetClassifierError s =>
let
val s1 = ("\n\n#################################################\n")
val s2 = ("Classifier not found: "^s^ "\n")
val _ = print s2
in (* ADB TODO *)
raise TC_RootError ("Something went wrong!\n")
end
| TC_NoSuchOperationError s =>
let
val s1 = ("\n\n#################################################\n")
val s2 = ("Operation not found: "^s^ "\n")
val _ = print s2
in (* ADB TODO *)
raise TC_RootError ("Something went wrong!\n")
val s1 = ("\n\n#################################################\n")
val s2 = ("WrongContextChecked:\n")
val s3 = ("In Context: " ^ (cxt_list2string [h]) ^ "\n")
val _ = trace exce (s1^s2^s3)
in
raise TC_RootError ("Something went wrong!\n")
end
end