From be4f78978faba3d3ceb88df02a7f93a2e09ff1e0 Mon Sep 17 00:00:00 2001 From: Kenji Hosokawa Date: Tue, 3 Aug 2021 18:42:39 +0900 Subject: Initial commit Bug-AGL: SPEC-4033 Signed-off-by: Kenji Hosokawa --- .../validators/IsTranslatedViewToValidator.xtend | 39 ++++++++++++++++++++++ 1 file changed, 39 insertions(+) create mode 100644 rba.tool.editor/src/rba/tool/editor/validation/validators/IsTranslatedViewToValidator.xtend (limited to 'rba.tool.editor/src/rba/tool/editor/validation/validators/IsTranslatedViewToValidator.xtend') diff --git a/rba.tool.editor/src/rba/tool/editor/validation/validators/IsTranslatedViewToValidator.xtend b/rba.tool.editor/src/rba/tool/editor/validation/validators/IsTranslatedViewToValidator.xtend new file mode 100644 index 0000000..c010644 --- /dev/null +++ b/rba.tool.editor/src/rba/tool/editor/validation/validators/IsTranslatedViewToValidator.xtend @@ -0,0 +1,39 @@ +package rba.tool.editor.validation.validators + +import org.eclipse.xtext.validation.Check +import org.eclipse.xtext.validation.EValidatorRegistrar +import rba.core.RBACorePackage +import rba.tool.editor.messages.Messages +import rba.tool.editor.validation.AbstractRBAModelValidator +import rba.view.IsTranslatedViewTo +import rba.core.ExpressionType + +class IsTranslatedViewToValidator extends AbstractRBAModelValidator { + private static final String OperatorName = IsTranslatedViewTo.simpleName + + override register(EValidatorRegistrar registrar) { + // not needed for classes used as ComposedCheck + } + + @Check(NORMAL) + def checkIsTranslatedViewTo(IsTranslatedViewTo isTranslatedViewTo) { + if (isTranslatedViewTo.operand.size < 2) { + error(String.format(Messages.OPERAND_SIZE_TWO, OperatorName), RBACorePackage.Literals.OPERATOR__OPERAND, 0) + return; + } + + var firstOperand = isTranslatedViewTo.operand.get(0) + if (firstOperand.type != ExpressionType::AREA) { + error(String.format(Messages.FIRST_OPERAND_MUST_AREA, OperatorName), + RBACorePackage.Literals.OPERATOR__OPERAND, 0) + return; + } + + var argument = isTranslatedViewTo.operand.get(1) + if (argument.type != ExpressionType::CONTENT) { + error(String.format(Messages.ARGUMENT_MUST_VIEWCONTENT, OperatorName), + RBACorePackage.Literals.OPERATOR__OPERAND, 1) + return; + } + } +} -- cgit 1.2.3-korg