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

added oclAsType(Collection) casts to consistency constraints 

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7289 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Jürgen Doser 2008-02-28 09:12:35 +00:00
parent ecfb39187c
commit 7260638801
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
su4sml/src/rep_core.sml
View File

@ -479,11 +479,11 @@ fun consistency_constraint cls_name (aend,revAend) =
val back = Rep_OclHelper.ocl_attcall target revPath revType
val body = case (aendIsSet aend, aendIsSet revAend)
of (false,false) => Rep_OclHelper.ocl_eq back selfVar
| (false,true) => Rep_OclHelper.ocl_includes back selfVar
| (true,false) => Rep_OclHelper.ocl_forAll target [targetVar]
| (false,true) => Rep_OclHelper.ocl_includes (Rep_OclHelper.ocl_asType back (Collection (#aend_type revAend))) selfVar
| (true,false) => Rep_OclHelper.ocl_forAll (Rep_OclHelper.ocl_asType target (Collection (#aend_type aend))) [targetVar]
(Rep_OclHelper.ocl_eq sources selfVar)
| (true,true) => Rep_OclHelper.ocl_forAll target [targetVar]
(Rep_OclHelper.ocl_includes sources selfVar)
| (true,true) => Rep_OclHelper.ocl_forAll (Rep_OclHelper.ocl_asType target (Collection (#aend_type aend))) [targetVar]
(Rep_OclHelper.ocl_includes (Rep_OclHelper.ocl_asType sources (Collection (#aend_type revAend))) selfVar)
in
(SOME cons_inv_name, body)
end