Extensions Docs Server: Large performance increase

tools/json_schema_compiler/model.py

Index: tools/json_schema_compiler/model.py
diff --git a/tools/json_schema_compiler/model.py b/tools/json_schema_compiler/model.py
index 76b27b20556e2009feb65bf822dc726391bd378b..4bf332d98be3112ab039802e4d46283c4f234f3b 100644
--- a/tools/json_schema_compiler/model.py
+++ b/tools/json_schema_compiler/model.py
@@ -299,17 +299,17 @@ class Property(object):
 
   unix_name = property(GetUnixName, SetUnixName)
 
+class _Info(object):
+  def __init__(self, is_fundamental, name):
+    self.is_fundamental = is_fundamental
+    self.name = name
+
+  def __repr__(self):
+    return self.name

[not at google - send to devlin, 2012/08/20 05:27:10]

Add a note that this is so it can be pickled.

Also, perhaps call something that links it with PropertyType, like,
_PropertyTypeInfo :p

[cduvall, 2012/08/20 21:28:09]

Done.

+
 class PropertyType(object):
   """Enum of different types of properties/parameters.
   """
-  class _Info(object):
-    def __init__(self, is_fundamental, name):
-      self.is_fundamental = is_fundamental
-      self.name = name
-
-    def __repr__(self):
-      return self.name
-
   INTEGER = _Info(True, "INTEGER")
   INT64 = _Info(True, "INT64")
   DOUBLE = _Info(True, "DOUBLE")