public OperationDescription (string name, ContractDescription declaringContract) { this.name = name; contract = declaringContract; is_initiating = true; }