Merge branch '250-add-new-constructors-to-namedistance-checker' into 'master'

Resolve "Add new constructors to NameDistance checker"

Closes #250

See merge request CPS_Design/CHESS!58

plugins/org.polarsys.chess.checkers/src/org/polarsys/chess/checkers/core/impl/NameDistance.java

@@ -37,14 +37,14 @@ public class NameDistance extends Checker {
 	private static final String checkerName = "NameDistance";
 
 	/**
-	 * Creates a name distance checker with default threshold
+	 * Creates a name distance checker with default threshold.
 	 */
 	public NameDistance() {
 		super(checkerName, getTags());
 	}
 
 	/**
-	 * Creates a name distance checker with the given priority
+	 * Creates a name distance checker with the given priority.
 	 * @param priority the priority
 	 */
 	public NameDistance(int priority) {
@@ -52,7 +52,7 @@ public class NameDistance extends Checker {
 	}
 
 	/**
-	 * Creates a name distance checker with the given priority and threshold
+	 * Creates a name distance checker with the given priority and threshold.
 	 * @param priority the priority
 	 * @param threshold the threshold to use
 	 */
@@ -61,6 +61,34 @@ public class NameDistance extends Checker {
 		setThreshold(threshold);
 	}
 
+	/**
+	 * Constructor with explicit tags.
+	 * @param tags the tags identifying this checker
+	 */
+	public NameDistance(Set<String> tags) {
+		super(checkerName, tags);
+	}
+
+	/**
+	 * Constructor with explicit tags and priority.
+	 * @param tags the tags identifying this checker
+	 * @param priority the priority
+	 */
+	public NameDistance(Set<String> tags, int priority) {
+		super(checkerName, tags, priority);
+	}
+
+	/**
+	 * Constructor with explicit tags, priority and threshold.
+	 * @param tags the tags identifying this checker
+	 * @param priority the priority
+	 * @param threshold the threshold to use
+	 */
+	public NameDistance(Set<String> tags, int priority, int threshold) {
+		super(checkerName, tags, priority);
+		setThreshold(threshold);
+	}
+	
 	private static Set<String> getTags() {
 		Set<String> tags = new HashSet<String>();
 		tags.add("fast");