code: public static void parseFile(final IVdmSourceUnit source)
  			throws CoreException, IOException
  	{
  		try
  		{
  			ISourceParser parser = SourceParserManager.getInstance()
  					.getSourceParser(source.getProject());
  			Assert.isNotNull(parser, "No parser for file : "
  					+ source.toString() + " in project "
  					+ source.getProject().toString());
  			parser.parse(source);
  		} catch (Exception e)
  		{
  			if (VdmCore.DEBUG)
  			{
  //				System.err.println("Error in parseFile");
  				VdmCore.log("SourceParseManager-Error in parseFile", e);
  			}
  		}
  	}
docs: Parse a single file from a project
  
  @param source
  the file to be parsed
  @throws CoreException
  @throws IOException