From 10d272818443979dbb15972b397e8ac1bbbd5cd2 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sat, 10 Jun 2017 20:39:40 +0200 Subject: Added generated Xtext artefacts --- .../validation/AbstractSmtLanguageValidator.java | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/validation/AbstractSmtLanguageValidator.java (limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/validation') diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/validation/AbstractSmtLanguageValidator.java b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/validation/AbstractSmtLanguageValidator.java new file mode 100644 index 00000000..a422df37 --- /dev/null +++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/src-gen/hu/bme/mit/inf/dslreasoner/validation/AbstractSmtLanguageValidator.java @@ -0,0 +1,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 getEPackages() { + List result = new ArrayList(); + result.add(hu.bme.mit.inf.dslreasoner.smtLanguage.SmtLanguagePackage.eINSTANCE); + return result; + } +} -- cgit v1.2.3-54-g00ecf