public EndpointDispatcher (EndpointAddress address,
string contractName, string contractNamespace)
{
if (contractName == null)
throw new ArgumentNullException ("contractName");
if (contractNamespace == null)
throw new ArgumentNullException ("contractNamespace");
if (address == null)
throw new ArgumentNullException ("address");
this.address = address;
contract_name = contractName;
contract_ns = contractNamespace;
dispatch_runtime = new DispatchRuntime (this, null);
this.address_filter = new EndpointAddressMessageFilter (address);
}