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

generate safe invariant name 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@2978 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Jürgen Doser 2005-08-23 15:38:39 +00:00
parent 8ded57064a
commit 9f2e45b8a2
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/mdr_core.sml
View File

@ -127,7 +127,7 @@ fun range_to_inv cls_name aend (a,b) =
(* i.e., A.b.a->includes(A) *)
(* FIXME: 2. is not implemented yet... *)
fun assoc_to_inv cls_name (aend:associationend) =
let val inv_name = "multiplicity constraint for association end: "^(#name aend)
let val inv_name = "multiplicity_constraint_for_association_end_"^(#name aend)
val range_constraints = map (range_to_inv cls_name aend)
(#multiplicity aend)
fun ocl_or (x,y) =