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

started work on parsing collection literals 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3294 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Jürgen Doser 2005-11-01 17:51:19 +00:00
parent 14438e3903
commit 024a426c24
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/xml2xmi.sml
View File

@ -258,6 +258,9 @@ fun findExpressionType trees = findXmiIdRef "OCL.Expressions.OclExpression.type"
val triv_expr = XMI.LiteralExp {symbol = "true",
expression_type = "bool" }
(* FIX: this is only a dummy implementation *)
fun mkCollectionLiteralPart x = XMI_OCL.IdRef (getXmiIdref (XmlTree.attributes_of x))
fun mkOCLExpression tree =
let val elem = XmlTree.tagname_of tree
val atts = XmlTree.attributes_of tree
@ -275,6 +278,9 @@ fun mkOCLExpression tree =
else if elem = "UML15OCL.Expressions.RealLiteralExp" then
XMI.LiteralExp { symbol = getStringAtt "realSymbol" atts,
expression_type = findExpressionType trees }
else if elem = "UML15OCL.Expressions.CollectionLiteralExp" then
XMI.CollectionLiteralExp { parts = map mkCollectionLiteralPart (XmlTree.follow "OCL.Expressions.CollectionLiteralExp.parts" trees),
expression_type = findExpressionType trees }
else if elem = "UML15OCL.Expressions.OperationCallExp" then
let val op_src = hd (XmlTree.follow
"OCL.Expressions.PropertyCallExp.source"