Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/validation/AbstractAlloyLanguageValidator.java


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 AbstractAlloyLanguageValidator extends org.eclipse.xtext.validation.AbstractDeclarativeValidator {

	@Override
	protected List<EPackage> getEPackages() {
	    List<EPackage> result = new ArrayList<EPackage>();
	    result.add(hu.bme.mit.inf.dslreasoner.alloyLanguage.AlloyLanguagePackage.eINSTANCE);
		return result;
	}
}