remove Alloy solver copy

1 files changed, 0 insertions, 24 deletions

diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/validation/AlloyLanguageValidator.xtend b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/validation/AlloyLanguageValidator.xtend
deleted file mode 100644
index daeb9860..00000000
--- a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/validation/AlloyLanguageValidator.xtend
+++ /dev/null
@@ -1,24 +0,0 @@
-/*
- * generated by Xtext
- */
-package hu.bme.mit.inf.dslreasoner.validation
-//import org.eclipse.xtext.validation.Check
-
-/**
- * Custom validation rules. 
- *
- * see http://www.eclipse.org/Xtext/documentation.html#validation
- */
-class AlloyLanguageValidator extends AbstractAlloyLanguageValidator {
-
-//  public static val INVALID_NAME = 'invalidName'
-//
-//      @Check
-//      def checkGreetingStartsWithCapital(Greeting greeting) {
-//              if (!Character.isUpperCase(greeting.name.charAt(0))) {
-//                      warning('Name should start with a capital', 
-//                                      MyDslPackage.Literals.GREETING__NAME,
-//                                      INVALID_NAME)
-//              }
-//      }
-}