Changeset 53 in default for trunk/de.ugoe.cs.swe.bnftools.ebnf/src/de/ugoe/cs/swe/bnftools/validation/DuplicateEntry.java

Timestamp:

12/01/10 16:49:04 (13 years ago)

Author:

zeiss

Message:

 

File:

• trunk/de.ugoe.cs.swe.bnftools.ebnf/src/de/ugoe/cs/swe/bnftools/validation/DuplicateEntry.java (modified) (1 diff)

trunk/de.ugoe.cs.swe.bnftools.ebnf/src/de/ugoe/cs/swe/bnftools/validation/DuplicateEntry.java

@@ -27 +27 @@
 
         public void addRule(Rule r) {
-                rules.add(r);
+                if (!rules.contains(r))
+                        rules.add(r);
         }