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

auxiliary function state_entry_of 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3174 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Jürgen Doser 2005-10-05 16:13:49 +00:00
parent a8f529d490
commit d3c2e3c478
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/xmi_state_machines.sml
View File

@ -195,6 +195,13 @@ and StateMachine = mk_StateMachine of
top : StateVertex,
transitions : Transition list}
fun state_entry_of (CompositeState{entry,...}) = entry
| state_entry_of (SubactivityState{entry,...}) = entry
| state_entry_of (SimpleState{entry,...}) = entry
| state_entry_of (ActionState{entry,...}) = entry
| state_entry_of (ObjectFlowState{entry,...}) = entry
| state_entry_of (FinalState{entry,...}) = entry
| state_entry_of (PseudoState{entry,...}) = entry
fun state_xmiid_of (CompositeState{xmiid,...}) = xmiid
| state_xmiid_of (SubactivityState{xmiid,...}) = xmiid