| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'ast-to-instr/src/IDs.java')
| -rw-r--r-- | ast-to-instr/src/IDs.java | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/ast-to-instr/src/IDs.java b/ast-to-instr/src/IDs.java index 00c0f49..ed37917 100644 --- a/ast-to-instr/src/IDs.java +++ b/ast-to-instr/src/IDs.java @@ -31,7 +31,7 @@ public class IDs if (result == null) { - result = new IDs(type); + result = generate_new_id(type); FROM_XML.put(xml_id, result); } @@ -56,6 +56,19 @@ public class IDs ALL_IDS.add(result); + /* TODO: remove, it's for debug. */ + if (type != null) + { + System.out.println + ( + "[ID] (" + + result.get_type() + + " " + + result.get_value() + + ")" + ); + } + return result; } |


