| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-20 15:43:38 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-20 15:43:38 +0200 |
| commit | 1ef39e828479f0d82753f3912b7c5d85e49d708c (patch) | |
| tree | 7d7e808ccb7911921560e97a9ef2b068725fda30 /ast-to-instr/src/IDs.java | |
| parent | b5c3459a9763107abcbbcd7fc1a42eee3a887c52 (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.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) { |


