private void putParameters(EncodedDataStream dataStream) { dataStream.encodeInt(parameters.Count); for (int n = 0; n < parameters.Count; ++n) { object param = ((NuoDbParameter)parameters[n]).Value; #if DEBUG System.Diagnostics.Trace.WriteLine("param " + n + "=" + param); #endif dataStream.encodeDotNetObject(param); } }