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

convert empty strings in contraint names to NONE 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@2968 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Achim D. Brucker 2005-08-23 09:27:26 +00:00
parent 9a76391fd9
commit bc29e3ffae
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/xmi2mdr.sml
View File

@ -261,8 +261,12 @@ fun transform_expression t (XMI_UML.LiteralExp {symbol,expression_type}) =
| transform_expression t _ = raise NotYetImplemented
fun transform_constraint t ({xmiid,name,body,...}:XMI_UML.Constraint) =
(name,transform_expression t body)
let val n_name = case name of
(SOME s) => if (s = "") then NONE else (SOME(s))
|NONE => NONE
in
(n_name,transform_expression t body)
end
fun transform_parameter t {xmiid,name,kind,type_id} =
(name, find_classifier_type t type_id)