public InitializationInfo(InitializableAttribute attr, MethodInfo method) { Contract.Requires(attr != null); Contract.Requires(method != null); Attribute = attr; Method = method; }