added auxiliary function

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3069 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Jürgen Doser 2005-09-15 13:32:21 +00:00
parent a9a46e16c3
commit 0d761ea3dd
1 changed files with 2 additions and 0 deletions

View File

@ -404,6 +404,8 @@ datatype Classifier = Primitive of Primitive
| OrderedSet of OrderedSet
| Void of Void
fun classifier_stereotype_of (Class{stereotype,...}) = stereotype
fun classifier_name_of (Primitive{name,...}) = name
| classifier_name_of (Class{name,...}) = name
| classifier_name_of (Interface{name,...}) = name