public void breakpointChanged(IBreakpoint breakpoint, IMarkerDelta delta)
	{
		if (!supportsBreakpoint(breakpoint))
		{
			return;
		}
		try
		{

			final IVdmBreakpoint sbp = (IVdmBreakpoint) breakpoint;
			final int changes = delta != null ? hasBreakpointChanges(delta, sbp)
					: MAJOR_CHANGE;
			if (changes != NO_CHANGES)
			{
				final IDbgpSession[] sessions = getSessions();
				if (changes == MAJOR_CHANGE)
				{
					for (int i = 0; i < sessions.length; ++i)
					{
						removeBreakpoint(sessions[i], sbp);
						addBreakpoint(sessions[i], sbp);
					}
				} else
				{
					for (int i = 0; i < sessions.length; ++i)
					{
						changeBreakpoint(sessions[i], sbp);
					}
				}
			}

		} catch (Exception e)
		{
			VdmDebugPlugin.log(e);
		}
	}
public void breakpointChanged ( IBreakpoint breakpoint , IMarkerDelta delta ) { if ( ! supportsBreakpoint ( breakpoint ) ) { return ; } try { final IVdmBreakpoint sbp = ( IVdmBreakpoint ) breakpoint ; final int changes = delta != null ? hasBreakpointChanges ( delta , sbp ) : MAJOR_CHANGE ; if ( changes != NO_CHANGES ) { final IDbgpSession [ ] sessions = getSessions ( ) ; if ( changes == MAJOR_CHANGE ) { for ( int i = 0 ; i < sessions . length ; ++ i ) { removeBreakpoint ( sessions [ i ] , sbp ) ; addBreakpoint ( sessions [ i ] , sbp ) ; } } else { for ( int i = 0 ; i < sessions . length ; ++ i ) { changeBreakpoint ( sessions [ i ] , sbp ) ; } } } } catch ( Exception e ) { VdmDebugPlugin . log ( e ) ; } }
@see IBreakpointListener#breakpointChanged(IBreakpoint, IMarkerDelta)
@param breakpoint
@param delta
if delta is <code>null</code> then there was a call to
BreakPointManager.fireBreakpointChanged(IBreakpoint breakpoint), so see it as a major change.