diff options
| author |  Oszkar Semerath <Oszkar Semerath@DESKTOP-DNR7JQ7> | 2021-07-26 19:15:39 +0200 |
|---|---|---|
| committer | Oszkar Semerath <Oszkar Semerath@DESKTOP-DNR7JQ7> | 2021-07-26 19:15:39 +0200 |
| commit | ee4447318be153549071c5f707b016a2dc3d72ce (patch) | |
| tree | 3dd1a7fd5181384cf015158cdebb830f589c0c73 /Solvers | |
| parent | Small renaming and refactoring (diff) | |
| download | VIATRA-Generator-ee4447318be153549071c5f707b016a2dc3d72ce.tar.gz VIATRA-Generator-ee4447318be153549071c5f707b016a2dc3d72ce.tar.zst VIATRA-Generator-ee4447318be153549071c5f707b016a2dc3d72ce.zip | |
ShiftDepth argument check
Diffstat (limited to 'Solvers')
| -rw-r--r-- | Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/src/org/eclipse/viatra/solver/data/map/internal/Node.java | 1 |
1 files changed, 1 insertions, 0 deletions
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>{ | |||
| 34 | * @return The segment as an integer. | 34 | * @return The segment as an integer. |
| 35 | */ | 35 | */ |
| 36 | protected static int hashFragment(int hash, int shiftDepth) { | 36 | protected static int hashFragment(int hash, int shiftDepth) { |
| 37 | if(shiftDepth<0 && 5<shiftDepth) throw new IllegalArgumentException("Invalid shift depth! valid intervall=[0;5], input="+shiftDepth); | ||
| 37 | return (hash >>> shiftDepth*branchingFactorBit) & factorMask; | 38 | return (hash >>> shiftDepth*branchingFactorBit) & factorMask; |
| 38 | } | 39 | } |
| 39 | /** | 40 | /** |