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

parse Interfaces as interfaces, not as primitive types 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3109 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Jürgen Doser 2005-09-21 14:47:17 +00:00
parent de936e6745
commit b9c847257e
1 changed files with 13 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
src/xml2xmi.sml
View File

@ -594,21 +594,19 @@ fun mkClassifier tree =
val atts = XmlTree.attributes_of tree
val trees = XmlTree.node_children_of tree
in
if elem = "UML:Class" orelse
elem = "UML:AssociationClass" then mkClass atts trees
else if elem = "UML:Interface" orelse (* FIX: use a custom mkInterface *)
elem = "UML:DataType" orelse
elem = "UML:Primitive" then mkPrimitive atts trees
else if elem = "UML:Enumeration" then mkEnumeration atts trees
else if elem = "UML15OCL.Types.VoidType" then mkVoid atts trees
else if elem = "UML15OCL.Types.CollectionType" then
mkCollection atts trees
else if elem = "UML15OCL.Types.SequenceType" then mkSequence atts trees
else if elem = "UML15OCL.Types.SetType" then mkSet atts trees
else if elem = "UML15OCL.Types.BagType" then mkBag atts trees
else if elem = "UML15OCL.Types.OrderedSetType" then
mkOrderedSet atts trees
else raise IllFormed ("in mkClassifier: found unexpected element "^elem)
case elem of "UML:Class" => mkClass atts trees
| "UML:AssociationClass" => mkClass atts trees
| "UML:Interface" => mkInterface atts trees
| "UML:DataType" => mkPrimitive atts trees
| "UML:Primitive" => mkPrimitive atts trees
| "UML:Enumeration" => mkEnumeration atts trees
| "UML15OCL.Types.VoidType" => mkVoid atts trees
| "UML15OCL.Types.CollectionType" => mkCollection atts trees
| "UML15OCL.Types.SequenceType" => mkSequence atts trees
| "UML15OCL.Types.SetType" => mkSet atts trees
| "UML15OCL.Types.BagType" => mkBag atts trees
| "UML15OCL.Types.OrderedSetType" => mkOrderedSet atts trees
| _ => raise IllFormed ("in mkClassifier: found unexpected element "^elem)
end