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

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7991 3260e6d1-4efc-4170-b0a7-36055960796d

This commit is contained in:
Manuel Krucker 2008-05-19 11:00:06 +00:00
parent de5c581fdf
commit 240db4206e
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
su4sml/src/rep_core.sml
View File

@ -1855,7 +1855,8 @@ fun local_associationends_of (all_associations:association list) (Class{name,ass
in
oppAends@filteredSelfAends
end *)
| local_associationends_of _ _ = error ("in local_associationends_of: This classifier has no associationends") (*FIXME: or rather []? *)
| local_associationends_of [] model = []
fun associationends_of assocs classes = local_associationends_of assocs classes
(* get all inherited operations of a classifier, without the local operations *)