diff options
Diffstat (limited to 'rba.tool.editor/src/rba/tool/editor/validation/validators/ImpliesOperatorValidator.xtend')
-rw-r--r-- | rba.tool.editor/src/rba/tool/editor/validation/validators/ImpliesOperatorValidator.xtend | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/rba.tool.editor/src/rba/tool/editor/validation/validators/ImpliesOperatorValidator.xtend b/rba.tool.editor/src/rba/tool/editor/validation/validators/ImpliesOperatorValidator.xtend new file mode 100644 index 0000000..c625ce2 --- /dev/null +++ b/rba.tool.editor/src/rba/tool/editor/validation/validators/ImpliesOperatorValidator.xtend @@ -0,0 +1,35 @@ +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.ImpliesOperator +import rba.core.RBACorePackage +import rba.tool.editor.messages.Messages +import rba.tool.editor.validation.AbstractRBAModelValidator + +class ImpliesOperatorValidator extends AbstractRBAModelValidator { + + private String IMPLIES_OPERAND_SIZE = Messages.IMPLIES_OPERAND_SIZE; + + private String IMPLIES_OPERAND_TYPE = Messages.IMPLIES_OPERAND_TYPE; + + override register(EValidatorRegistrar registrar) { + // not needed for classes used as ComposedCheck + } + + @Check(NORMAL) + def checkImpliesOperator(ImpliesOperator impliesOperator) { + if (impliesOperator.operand.size < 2) { + error(IMPLIES_OPERAND_SIZE, RBACorePackage.Literals.OPERATOR__OPERAND) + return; + } + for (var i = 0; i < impliesOperator.operand.size; i++) { + var operand = impliesOperator.operand.get(i) + if (operand.type != ExpressionType.BOOLEAN) { + error(IMPLIES_OPERAND_TYPE, RBACorePackage.Literals.OPERATOR__OPERAND, i, null) + return; + } + } + } +} |