Skip to content

Commit

Permalink
XMachine& XContext: Used getContaining() methods
Browse files Browse the repository at this point in the history 
Use EventBObject.getContaining() to get the containing Machine or Context of the element corresponding to the RodinMarker.
  • Loading branch information
@tshoang
tshoang committed Feb 2, 2021
1 parent 128d808 commit 3bf810c
Show file tree
Hide file tree
Showing 4 changed files with 731 additions and 767 deletions.
Loading

0 comments on commit 3bf810c

Please sign in to comment.