| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'instr-to-kodkod/src/StringManager.java')
| -rw-r--r-- | instr-to-kodkod/src/StringManager.java | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/instr-to-kodkod/src/StringManager.java b/instr-to-kodkod/src/StringManager.java index 9d73dd6..e94a7af 100644 --- a/instr-to-kodkod/src/StringManager.java +++ b/instr-to-kodkod/src/StringManager.java @@ -75,6 +75,15 @@ public class StringManager { if (p.matcher(c.getKey()).matches()) { + System.out.println + ( + "[D] \"" + + c.getValue() + + "\" matches pattern \"" + + p.pattern() + + "\"." + ); + rp.add_member ( new String[] |