blob: a422df37504b15f0461faef57f3887ca8e18e2e7 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
/*
* generated by Xtext
*/
package hu.bme.mit.inf.dslreasoner.validation;
import java.util.ArrayList;
import java.util.List;
import org.eclipse.emf.ecore.EPackage;
public class AbstractSmtLanguageValidator extends org.eclipse.xtext.validation.AbstractDeclarativeValidator {
@Override
protected List<EPackage> getEPackages() {
List<EPackage> result = new ArrayList<EPackage>();
result.add(hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage.eINSTANCE);
return result;
}
}
|