diff options
Diffstat (limited to 'rba.tool.editor/src/rba/tool/editor/validation/validators/AreaSetValidator.xtend')
-rw-r--r-- | rba.tool.editor/src/rba/tool/editor/validation/validators/AreaSetValidator.xtend | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/rba.tool.editor/src/rba/tool/editor/validation/validators/AreaSetValidator.xtend b/rba.tool.editor/src/rba/tool/editor/validation/validators/AreaSetValidator.xtend new file mode 100644 index 0000000..b87dcb6 --- /dev/null +++ b/rba.tool.editor/src/rba/tool/editor/validation/validators/AreaSetValidator.xtend @@ -0,0 +1,47 @@ +package rba.tool.editor.validation.validators + +import java.util.HashSet +import org.eclipse.xtext.validation.Check +import rba.core.AbstractAllocatable +import rba.core.RBACorePackage +import rba.tool.editor.messages.Messages +import rba.view.Area +import rba.view.AreaSet + +class AreaSetValidator extends AllocatableSetValidator { + + private String AREASET_TARGET_SIZE = Messages.AREASET_TARGET_SIZE; + + private String AREASET_TARGET_INVALID_TYPE = Messages.AREASET_TARGET_INVALID_TYPE; + + private String AREASET_TARGET_INCLUDE_SELF = Messages.AREASET_TARGET_INCLUDE_SELF; + + private String AREASET_TARGET_DUPLICATE = Messages.AREASET_TARGET_DUPLICATE; + + @Check(NORMAL) + def checkContent(AreaSet areaSet) { + if (areaSet.target.size === 0) { + warning(String.format(AREASET_TARGET_SIZE, areaSet.name), RBACorePackage.Literals.ALLOCATABLE_SET__TARGET); + } + + if (areaSet.target.contains(areaSet)) { + error(String.format(AREASET_TARGET_INCLUDE_SELF, areaSet.name), RBACorePackage.Literals.ALLOCATABLE_SET__TARGET, areaSet.target.indexOf(areaSet)); + return; + } + + var hash = new HashSet<AbstractAllocatable> + for (var index = 0; index < areaSet.target.size; index.operator_plusPlus()) { + val AbstractAllocatable abstractAllocatable = areaSet.target.get(index); + if (!(abstractAllocatable instanceof Area || abstractAllocatable instanceof AreaSet)) { + error(String.format(AREASET_TARGET_INVALID_TYPE, areaSet.name), RBACorePackage.Literals.ALLOCATABLE_SET__TARGET, index); + return; + } + if (hash.contains(abstractAllocatable)) { + error(String.format(AREASET_TARGET_DUPLICATE, areaSet.name), RBACorePackage.Literals.ALLOCATABLE_SET__TARGET, index); + return; + } else { + hash.add(abstractAllocatable) + } + } + } +} |