private void ObjectInvariant() { Contract.Invariant(MethodName != null); Contract.Invariant(Arguments != null); }