public void handleDebugEvents(DebugEvent[] events)
	{
		if (view == null)
		{
			return;
		}

		for (int i = 0; i < events.length; ++i)
		{
			DebugEvent event = events[i];

			append(new VdmDebugLogItem(Messages.ItemType_Event, getDebugEventKind(event)
					+ " from " + event.getSource().getClass().getName()));//$NON-NLS-1$

			if (event.getKind() == DebugEvent.CREATE)
			{
				handleCreateEvent(event);
			} else if (event.getKind() == DebugEvent.MODEL_SPECIFIC
					&& event.getDetail() == ExtendedDebugEventDetails.DGBP_NEW_CONNECTION)
			{
				if (event.getSource() instanceof IDbgpDebugingEngine)
				{
					((IDbgpDebugingEngine) event.getSource()).addRawListener(this);
				}
			} else if (event.getKind() == DebugEvent.TERMINATE)
			{
				handleTerminateEvent(event);
			}
		}
	}
public void handleDebugEvents ( DebugEvent [ ] events ) { if ( view == null ) { return ; } for ( int i = 0 ; i < events . length ; ++ i ) { DebugEvent event = events [ i ] ; append ( new VdmDebugLogItem ( Messages . ItemType_Event , getDebugEventKind ( event ) + " from " + event . getSource ( ) . getClass ( ) . getName ( ) ) ) ; if ( event . getKind ( ) == DebugEvent . CREATE ) { handleCreateEvent ( event ) ; } else if ( event . getKind ( ) == DebugEvent . MODEL_SPECIFIC && event . getDetail ( ) == ExtendedDebugEventDetails . DGBP_NEW_CONNECTION ) { if ( event . getSource ( ) instanceof IDbgpDebugingEngine ) { ( ( IDbgpDebugingEngine ) event . getSource ( ) ) . addRawListener ( this ) ; } } else if ( event . getKind ( ) == DebugEvent . TERMINATE ) { handleTerminateEvent ( event ) ; } } }
/*
@see org.eclipse.debug.core.IDebugEventSetListener#handleDebugEvents(org.eclipse .debug.core.DebugEvent[])