Index: tools/json_schema_compiler/model.py |
diff --git a/tools/json_schema_compiler/model.py b/tools/json_schema_compiler/model.py |
index 23b77c6d1402dba8ee88cf0d33b7f78b28b0ef81..b233752f3a98b4a5863f50ca00a7fe8b68d5b8af 100644 |
--- a/tools/json_schema_compiler/model.py |
+++ b/tools/json_schema_compiler/model.py |
@@ -78,6 +78,12 @@ class Type(object): |
from_client=True) |
elif json.get('type') == 'string': |
self.type_ = PropertyType.STRING |
+ elif json.get('type') == 'integer': |
+ self.type_ = PropertyType.INTEGER |
+ elif json.get('type') == 'double': |
+ self.type_ = PropertyType.DOUBLE |
+ elif json.get('type') == 'enum': |
+ self.type_ = PropertyType.ENUM |
else: |
if not ( |
'properties' in json or |