path: root/plugins/org.eclipse.osee.coverage/src/org/eclipse/osee/coverage/vcast/IVectorCastCoverageImportProvider.java

/*
 * Created on Oct 15, 2009
 *
 * PLACE_YOUR_DISTRIBUTION_STATEMENT_RIGHT_HERE
 */
package org.eclipse.osee.coverage.vcast;


/**
 * @author Donald G. Dunne
 */
public interface IVectorCastCoverageImportProvider {

   public String getVCastDirectory();

   public String getFileNamespace(String filename);

   /**
    * true if importer should automatically set known exception handling cases
    */
   public boolean isResolveExceptionHandling();

}