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

taggedValues for informationTypes 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3112 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Jürgen Doser 2005-09-21 16:40:24 +00:00
parent 62487325d5
commit d2c9e3321e
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/xmi_idtable.sml
View File

@ -321,4 +321,14 @@ fun successor_states_of table (st:XMI.StateVertex) =
map ((find_state table) o XMI.transition_target_of o
(find_transition table))
(XMI.state_outgoing_trans_of st)
(* returns a list of tag-value pairs *)
fun class_taggedvalues_of table (XMI.Class c) =
map (fn x => (find_tagdefinition table (#tag_type x),#dataValue x))
(#taggedValue c)
(* returns the value of the given tag *)
fun class_taggedvalue_of table tag (XMI.Class c) =
Option.map #2 ((List.find (fn (x,y) => x=tag))
(class_taggedvalues_of table (XMI.Class c)))
end