From ee4447318be153549071c5f707b016a2dc3d72ce Mon Sep 17 00:00:00 2001
From: Oszkar Semerath <Oszkar Semerath@DESKTOP-DNR7JQ7>
Date: Mon, 26 Jul 2021 19:15:39 +0200
Subject: ShiftDepth argument check

---
 .../src/org/eclipse/viatra/solver/data/map/internal/Node.java            | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data')

diff --git a/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/src/org/eclipse/viatra/solver/data/map/internal/Node.java b/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/src/org/eclipse/viatra/solver/data/map/internal/Node.java
index d83c86b7..c3a50201 100644
--- a/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/src/org/eclipse/viatra/solver/data/map/internal/Node.java
+++ b/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/src/org/eclipse/viatra/solver/data/map/internal/Node.java
@@ -34,6 +34,7 @@ public abstract class Node<KEY,VALUE>{
 	 * @return The segment as an integer.
 	 */
 	protected static int hashFragment(int hash, int shiftDepth) {
+		if(shiftDepth<0 && 5<shiftDepth) throw new IllegalArgumentException("Invalid shift depth! valid intervall=[0;5], input="+shiftDepth);
 		return (hash >>> shiftDepth*branchingFactorBit) & factorMask;
 	}
 	/**
-- 
cgit v1.2.3-70-g09d2