From 3ad54b3a7d54b40e2083dfeac71116e12b153bfa Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Wed, 26 Jul 2017 14:46:31 +0200 Subject: (Woops) Adds anonymous strings support. --- instr-to-kodkod/src/StringManager.java | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) diff --git a/instr-to-kodkod/src/StringManager.java b/instr-to-kodkod/src/StringManager.java index 8e7182c..c0a2fa4 100644 --- a/instr-to-kodkod/src/StringManager.java +++ b/instr-to-kodkod/src/StringManager.java @@ -7,6 +7,8 @@ public class StringManager { private final Map TO_ID; private final VHDLType string_type; + private final String anon_string_prefix; + private int anon_string_count; private static String cleanup_string (final String str) { @@ -17,6 +19,8 @@ public class StringManager { TO_ID = new HashMap(); string_type = Main.get_model().get_string_type(); + anon_string_prefix = "_string_"; /* TODO: use a program param. */ + anon_string_count = 0; } @@ -25,20 +29,17 @@ public class StringManager final String str ) { - final String id; + String id; id = TO_ID.get(cleanup_string(str)); if (id == null) { - System.err.println - ( - "[F] There is no mapping associated with the string \"" - + str - + "\", and anonymous strings are not yet supported." - ); + id = (anon_string_prefix + anon_string_count); - System.exit(-1); + string_type.add_member(id); + + TO_ID.put(str, id); } else { -- cgit v1.2.3-70-g09d2