code: public void evaluationComplete(IVdmEvaluationResult result)
  	{
  		// if plug-in has shutdown, ignore - see bug# 8693
  		if (VdmDebugPlugin.getDefault() == null)
  		{
  			return;
  		}
  
  		final IVdmValue value = result.getValue();
  		if (result.hasErrors() || value != null)
  		{
  			final Display display = VdmDebugPlugin.getStandardDisplay();
  			if (display.isDisposed())
  			{
  				return;
  			}
  
  			// Each action should implement this method for own purposes
  			displayResult(result);
  		}
  
  	}
docs: IVdmEvaluationListener