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

typo 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5935 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Jürgen Doser 2007-01-23 09:54:52 +00:00
parent 451a709fbe
commit 4b95bb46ca
1 changed files with 10 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
src/xmi_parser.sml
View File

@ -584,21 +584,21 @@ fun mkGuard tree =
isSpecification = atts |> bool_value_of "isSpecification",
visibility = atts |> visibility,
language = if expr is "UML15OCL:Expressions.ExpressionInOcl"
then expr_atts |> language
else if expr is "UML:BooleanExpression" then
then expr_atts |> language
else if expr is "UML:BooleanExpression" then
expr_atts |> language
else
raise IllFormed ("unknown expression type:"^(tagname expr)),
body = if expr is "UML15OCL:Expressions.ExpressionInOCL"
then NONE
else if expr is "UML:BooleanExpression" then
raise IllFormed ("unknown expression type: "^(tagname expr)),
body = if expr is "UML15OCL:Expressions.ExpressionInOcl"
then NONE
else if expr is "UML:BooleanExpression" then
SOME (expr_atts |> body)
else raise IllFormed ("unknown expression type:"^(tagname expr)),
else raise IllFormed ("unknown expression type: "^(tagname expr)),
expression = if expr is "UML15OCL:Expressions.ExpressionInOcl"
then SOME (mkOCLExpression expr)
else NONE}
then SOME (mkOCLExpression expr)
else NONE}
end
handle IllFormed msg => raise IllFormed ("in mkGuard: "^msg)
handle IllFormed msg => raise IllFormed ("in mkGuard: "^msg)
fun mkTransition tree =