/*
* generated by Xtext
*/
package net.certware.argument.sfp.validation;
import java.util.ArrayList;
import java.util.List;
import org.eclipse.emf.ecore.EPackage;
import org.eclipse.xtext.validation.ComposedChecks;
@ComposedChecks(validators= {org.eclipse.xtext.validation.NamesAreUniqueValidator.class})
public class AbstractSemiFormalProofValidator extends org.eclipse.xtext.validation.AbstractDeclarativeValidator {
@Override
protected List<EPackage> getEPackages() {
List<EPackage> result = new ArrayList<EPackage>();
result.add(net.certware.argument.sfp.semiFormalProof.SemiFormalProofPackage.eINSTANCE);
return result;
}
}