summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-07-20 15:43:38 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-07-20 15:43:38 +0200
commit1ef39e828479f0d82753f3912b7c5d85e49d708c (patch)
tree7d7e808ccb7911921560e97a9ef2b068725fda30 /ast-to-instr/src/IDs.java
parentb5c3459a9763107abcbbcd7fc1a42eee3a887c52 (diff)
Working on the "internal_process.py" translation.
I think I've found some not-too-ugly solution.
Diffstat (limited to 'ast-to-instr/src/IDs.java')
-rw-r--r--ast-to-instr/src/IDs.java8
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)
{