| 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)     { | 


