blob: 2b17e2229c3df50c578d732dd98d8f4a40861d62 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
/*
* generated by Xtext 2.25.0
*/
package org.eclipse.viatra.solver.language.validation;
/**
* This class contains custom validation rules.
*
* See https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#validation
*/
public class ProblemValidator extends AbstractProblemValidator {
// public static final String INVALID_NAME = "invalidName";
//
// @Check
// public void checkGreetingStartsWithCapital(Greeting greeting) {
// if (!Character.isUpperCase(greeting.getName().charAt(0))) {
// warning("Name should start with a capital",
// ProblemPackage.Literals.GREETING__NAME,
// INVALID_NAME);
// }
// }
}
|
