+ public readonly IEnumerable<ObjectInfo> Common;\r
+\r
+ private readonly static ObjectInfo[] Empty = new ObjectInfo[0];\r
+\r
+ [ContractInvariantMethod]\r
+ private void StatInvariant()\r
+ {\r
+// ReSharper disable InvocationIsSkipped\r
+ Contract.Invariant(Current!=null);\r
+ Contract.Invariant(Previous!=null);\r
+ Contract.Invariant(CurrentDict!=null);\r
+ Contract.Invariant(PreviousDict!=null);\r
+ Contract.Invariant(Common!=null);\r
+// ReSharper restore InvocationIsSkipped\r
+ }\r