commit 8807dfe14ecb29134d480a8873c3475600101cdd
author Andreas Wundsam <andreas.wundsam@bigswitch.com> Wed Jul 24 16:09:53 2013 -0700
committer Andreas Wundsam <andreas.wundsam@bigswitch.com> Thu Jul 25 14:20:23 2013 -0700
tree f721425de956716585404ddaedd34c7fc4a32388
parent 50b20d03c377cf2fd9ef71ceedbc85f074d1beac

java_gen/java_type: support $version for string version of readOp/WriteOp

java_gen/java_type.py

diff --git a/java_gen/java_type.py b/java_gen/java_type.py
index 819cc68..33f66c8 100644
--- a/java_gen/java_type.py
+++ b/java_gen/java_type.py
@@ -56,13 +56,13 @@
         if callable(self._read_op):
             return self._read_op(version)
         else:
-            return self._read_op.replace("$length", str(length))
+            return self._read_op.replace("$length", str(length)).replace("$version", version.of_version)
 
     def write_op(self, version=None, name=None):
         if callable(self._write_op):
             return self._write_op(version, name)
         else:
-            return self._write_op.replace("$name", str(name))
+            return self._write_op.replace("$name", str(name)).replace("$version", version.of_version)
 
 hello_elem_list = JType("List<OFHelloElement>",
         read_op = 'ChannelUtils.readHelloElementList(bb)',