基于契约优先的WebService客户端代码编写