diff --git a/plugins/org.polarsys.chess.checkers/src/org/polarsys/chess/checkers/core/impl/NameDistance.java b/plugins/org.polarsys.chess.checkers/src/org/polarsys/chess/checkers/core/impl/NameDistance.java index 46727bed96c03b821bde79f1e16fd7d3640c3ad3..00a6a42319c9ffdeda31091f5ae44576c0dcfdeb 100644 --- a/plugins/org.polarsys.chess.checkers/src/org/polarsys/chess/checkers/core/impl/NameDistance.java +++ b/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");