private void updateManagementGraph(final JobID jobID, final ExecutionStateChangeEvent executionStateChangeEvent, String optionalMessage) {

		synchronized (this.recentManagementGraphs) {

			final ManagementGraph managementGraph = this.recentManagementGraphs.get(jobID);
			if (managementGraph == null) {
				return;
			}
			final ManagementVertex vertex = managementGraph.getVertexByID(executionStateChangeEvent.getVertexID());
			if (vertex == null) {
				return;
			}

			vertex.setExecutionState(executionStateChangeEvent.getNewExecutionState());
			if (executionStateChangeEvent.getNewExecutionState() == ExecutionState.FAILED) {
				vertex.setOptMessage(optionalMessage);
			}
		}
	}
private void updateManagementGraph ( final JobID jobID , final ExecutionStateChangeEvent executionStateChangeEvent , String optionalMessage ) { synchronized ( this . recentManagementGraphs ) { final ManagementGraph managementGraph = this . recentManagementGraphs . get ( jobID ) ; if ( managementGraph == null ) { return ; } final ManagementVertex vertex = managementGraph . getVertexByID ( executionStateChangeEvent . getVertexID ( ) ) ; if ( vertex == null ) { return ; } vertex . setExecutionState ( executionStateChangeEvent . getNewExecutionState ( ) ) ; if ( executionStateChangeEvent . getNewExecutionState ( ) == ExecutionState . FAILED ) { vertex . setOptMessage ( optionalMessage ) ; } } }
Applies changes in the state of an execution vertex to the stored management graph.

@param jobID
the ID of the job whose management graph shall be updated
@param executionStateChangeEvent
the event describing the changes in the execution state of the vertex