不仅创建了一些所需的节点，而且还复制了 WSDL 文件中包含的 HTTP URL 信息，从而避免了抄写过程中的错误。
Not only are the necessary nodes created, but the HTTP URL information contained in the WSDL file is also copied, thereby eliminating transcription errors.
这些方法在一定程度上有助于减少或避免一些逻辑错误的出现，从而减轻了程序验证的负担。
A lot of logical errors can be reduced or avoided to a certain extent with these methods and the task of program verification is reduced.
应用推荐