Commit 942a09db authored by Faezeh KHORRAM's avatar Faezeh KHORRAM 💬
Browse files

Update IDSLSpecificCoverage.java

parent 99336bf4
package org.imt.tdl.coverage.dslSpecific; package org.imt.tdl.coverage.dslSpecific;
import java.util.List; import org.eclipse.emf.common.util.EList;
import org.eclipse.emf.ecore.resource.Resource; import org.eclipse.emf.ecore.resource.Resource;
import org.imt.tdl.coverage.TDLTestCaseCoverage;
public interface IDSLSpecificCoverage { public interface IDSLSpecificCoverage {
public List<String> getNewCoverableClasses();
public EList<DSLSpecificCoverageRule> getDSLSpecificCoverageRules();
public void ignoreModelObjects(Resource MUTResource); public void ignoreModelObjects(Resource MUTResource);
public void specializeCoverage(TDLTestCaseCoverage testCaseCoverage);
} }
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment