Callin markers

Callin markers are special annotations (icons ) on the vertical ruler (marker bar) of the ObjectTeams/Java Editor which allow for navigation from base methods to role methods. A callin marker signals that the decorated method is affected by a callin binding (roleMethod <- modifier baseMethod) in some role class. When right clicking on a callin marker a pop-up menu will open which contains a new submenu "Object Teams". This submenu in turn holds all callin bindings intercepting this base method. When selecting one of the offered callin bindings the editor opens the denoted role class and highlights the corresponding callin binding.