summaryrefslogtreecommitdiffstats
path: root/rba.tool.editor/src/rba/tool/editor/validation/validators/HasComeLaterThanValidator.xtend
diff options
context:
space:
mode:
Diffstat (limited to 'rba.tool.editor/src/rba/tool/editor/validation/validators/HasComeLaterThanValidator.xtend')
-rw-r--r--rba.tool.editor/src/rba/tool/editor/validation/validators/HasComeLaterThanValidator.xtend51
1 files changed, 51 insertions, 0 deletions
diff --git a/rba.tool.editor/src/rba/tool/editor/validation/validators/HasComeLaterThanValidator.xtend b/rba.tool.editor/src/rba/tool/editor/validation/validators/HasComeLaterThanValidator.xtend
new file mode 100644
index 0000000..3d2d449
--- /dev/null
+++ b/rba.tool.editor/src/rba/tool/editor/validation/validators/HasComeLaterThanValidator.xtend
@@ -0,0 +1,51 @@
+package rba.tool.editor.validation.validators
+
+import org.eclipse.xtext.validation.Check
+import org.eclipse.xtext.validation.EValidatorRegistrar
+import rba.core.ExpressionType
+import rba.core.HasComeLaterThan
+import rba.core.PreviousModifier
+import rba.core.RBACorePackage
+import rba.tool.editor.messages.Messages
+import rba.tool.editor.validation.AbstractRBAModelValidator
+
+class HasComeLaterThanValidator extends AbstractRBAModelValidator {
+
+ private static final String TargetOperatorName = HasComeLaterThan.simpleName
+
+ override register(EValidatorRegistrar registrar) {
+ // not needed for classes used as ComposedCheck
+ }
+
+ @Check(NORMAL)
+ def checkContentValue(HasComeLaterThan hasComeLaterThan) {
+ if (hasComeLaterThan.operand.size < 2) {
+ error(String.format(Messages.OPERAND_SIZE_TWO, TargetOperatorName),
+ RBACorePackage.Literals.OPERATOR__OPERAND)
+ return;
+ }
+ var firstOperand = hasComeLaterThan.operand.get(0)
+ if (firstOperand.type != ExpressionType::CONTENT && firstOperand.type != ExpressionType::SOUND) {
+ error(String.format(Messages.FIRST_OPERAND_MUST_CONTENT, TargetOperatorName),
+ RBACorePackage.Literals.OPERATOR__OPERAND)
+ return;
+ }
+ var argument = hasComeLaterThan.operand.get(1)
+ if (argument.type != ExpressionType::CONTENT && argument.type != ExpressionType::SOUND) {
+ error(String.format(Messages.ARGUMENT_MUST_CONTENT, TargetOperatorName),
+ RBACorePackage.Literals.OPERATOR__OPERAND, 1)
+ return;
+ }
+ if (firstOperand instanceof PreviousModifier) {
+ error(String.format(Messages.OPERAND_CANNOT_USE_PRE, TargetOperatorName),
+ RBACorePackage.Literals.OPERATOR__OPERAND)
+ return;
+ }
+ if (argument instanceof PreviousModifier) {
+ error(String.format(Messages.ARGUMENT_CANNOT_USE_PRE, TargetOperatorName),
+ RBACorePackage.Literals.OPERATOR__OPERAND, 1)
+ return;
+ }
+
+ }
+}