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

names for associations are now optional 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@2957 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Jürgen Doser 2005-08-20 18:55:18 +00:00
parent ac5c281303
commit 0446731942
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/parse_xmi.sml
View File

@ -129,7 +129,7 @@ fun mkAssociationEnd tree =
fun mkAssociation tree =
let fun f atts trees = { xmiid = getXmiId atts,
name = getName atts,
name = XmlTree.attvalue_of "name" atts,
connection = (map mkAssociationEnd
(XmlTree.skip "UML:Association.connection"
(hd trees))) }

2
src/xmi_uml.sml
View File

@ -455,7 +455,7 @@ type AssociationEnd = { xmiid : string,
* generalization of associations
* --------------------------------------------------------------------------*)
type Association = { xmiid : string,
name : string,
name : string option,
connection: AssociationEnd list }
(* from UML 1.5 Core: --------------------------------------------------------