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 ) ; } } }
Parse a single file from a project