code: public synchronized boolean isParseCorrect()
  	{
  		boolean isParseCorrect = true;
  		for (IVdmSourceUnit source : vdmSourceUnits)
  		{
  			if (source.hasParseErrors())
  			{
  				isParseCorrect = false;
  				break;
  			}
  		}
  		return isParseCorrect;
  	}
docs: /*
  (non-Javadoc)
  @see org.overture.ide.core.ast.IVdmElement#isParseCorrect()