| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'ast-to-instr/src/IDs.java')
| -rw-r--r-- | ast-to-instr/src/IDs.java | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/ast-to-instr/src/IDs.java b/ast-to-instr/src/IDs.java index e3b9db4..00c0f49 100644 --- a/ast-to-instr/src/IDs.java +++ b/ast-to-instr/src/IDs.java @@ -35,6 +35,12 @@ public class IDs FROM_XML.put(xml_id, result); } + else if ((result.type == null) && (type != null)) + { + /* This allows us to get an ID from a simple reference. */ + /* TODO: Don't forget to report any (type == null) at the end. */ + result.type = type; + } return result; } @@ -54,8 +60,8 @@ public class IDs } /** Non-Static *************************************************************/ - private final String type; private final int value; + private String type; private IDs (final String type) { |