convert enum values to integers
Previously the enum values given to the backends were strings of C code.
Luckily the code was simple enough that it was also valid Python. Moving the
conversion to the frontend makes it easier to move enum definitions into the
input files, and cleans up some pyloxi code.
diff --git a/loxi_front_end/identifiers.py b/loxi_front_end/identifiers.py
index 62759d7..0f35dc6 100644
--- a/loxi_front_end/identifiers.py
+++ b/loxi_front_end/identifiers.py
@@ -56,6 +56,7 @@
version, all_idents, idents_by_group)
def add_identifier(name, ofp_name, ofp_group, value, version, all_idents, idents_by_group):
+ assert(isinstance(value, int))
if name in all_idents:
all_idents[name]["values_by_version"][version] = value
if ((all_idents[name]["ofp_name"] != ofp_name or