通常，通过查找超类并确保存在匹配的超级构造函数，类型检查器确保这些超级构造函数调用会成功。
Normally, the type checker ensures that these super-constructor calls will succeed by looking up the superclass and making sure that a matching super-constructor exists.
而且请注意，类型检查器甚至不能检查是否每个mixin实例化都会产生有效的超级构造函数调用。
Also notice that the type checker can't even check that every instantiation of a mixin will result in valid super-constructor calls.
因为mixin的父类可能用类型参数被实例化，因此类型检查器就不能确定意外方法覆盖的所有情况。
Because a mixin's parent may be instantiated with a type parameter, there is no way for the type checker to determine all cases of accidental method overriding.
类型检查器应该能帮助程序员从这些类型的错误中恢复，但对于静态字段而言，类型系统实际上会使程序员更迷惑。
The type checker is supposed to help a programmer recover from exactly these sorts of mistakes, but in the case of static fields, the type system could actually help to confuse the programmer.
本文介绍Z规格说明类型检查器的实现方法，并对类型检查的环境、一致化方法、替换策略和类型变量的应用等问题进行讨论。
This paper introduces the implementation of a Z specification type checker, meanwhile the environment of type check, unification method, substitution strategy are also discussed.
DeployAttributeNotNull确认器只适用于复杂的数据类型，例如端口(os：port)并检查它们拥有一个值。
The DeployAttributeNotNull validator works on complex data types such as the port (OS: port) and checks that they have a value.
为了避免为一个类型创建多个断言，每个断言规则都要检查是否在工作存储器中存在一个评估事实(图18)。
To avoid multiple assessments of the same type being created, each of these assessment rules checks the working memory for the existence of an assessment fact (Figure 18).
换句话说，编译器生成的代码与您手工编写的不用泛型、检查程序的类型安全后进行强制类型转换所得到的代码基本相同。
In other words, the compiler generates pretty much the same code you would have written by hand without generics, casts and all, after checking the type-safety of your program.
处理器在提交数据进行处理之前检查数据类型和约束。
The processor checks data types and constraints before the data is submitted for processing.
我们需要在服务器上进行重新检查，或者至少确保我们已经预料到了由无效数据类型引起的异常。
We would need to do some rechecking on the server, or at least ensure we've anticipated exceptions due to invalid data types.
通过静态类型，编译器可以检查参数和变量的值或针对一个给定操作所允许的返回值。
With static typing, the compiler can check the values of arguments, variables, or return values against values allowed for a given operation.
不过，弱类型API不能够返回正确的泛型表达式，因此生成一个编辑器来警告未检查的转换。
The weakly typed API, however, cannot return correct generically typed expressions, thereby generating a compiler warning for an unchecked cast.
编译器仅仅发出一个类型未检查转换警告，因为它不知道这种转换是否安全。
The compiler will simply emit an unchecked conversion warning, because it doesn't know if the cast is safe or not.
编译器的类型检查规则与API签名结合确定什么是合法输入。
The compiler's type-checking rules coupled with the API's signature govern what constitutes legitimate input.
当用 ""指定为内容类型时，编校服务器会检查文档数据并识别类型。
When "" is specified as the content type, the redaction server examines the document data and identifies the type.
这个解析器检查返回的行和列上的元数据类型，以确保它只读取sqlxml类型的xml列。
The resolver looks at the metadata type on the returned row and column, ensuring it only reads XML columns with the SQLXML type.
如今，编译器会检查类型安全性，跟踪类型信息。
These days, compiler will take care of type safety and will track type information.
对于每种消息类型(以及对于不存在的消息类型)，客户机都需要彻底检查从服务器接收的每个字节。
For every message type (and for nonexistent message types as well) the client needs to thoroughly check every byte received from the server.
还可以检查是否支持模式类型的构造器函数，特别是在当时。
It can also detect if a constructor function of a schema-type is supported; more about that in a moment.
然后不断检查读取器的状态，根据当前事件的类型报告某些信息(比如在START_ELEMENT状态下报告元素名及元素属性)。
Next, the reader's state is iteratively examined and depending on the current event type, specific information is reported (such as element name and its attributes if in the START_ELEMENT state).
检查带有域确认器的链接及类型。
Uncheckedgenerictypeoperation编译器每当遇到未经检查的泛型类型操作，就将发出一个错误或者警告。
Unchecked generic type operation The compiler will issue an error or warning whenever it encounters an unchecked generic type operation.
有了静态检查，AspectJ 的编译器会发出警告，指出无法解析的类型名称或签名。
With static checking, AspectJ's compiler issues a warning noting that the type name or signature could not be resolved.
其他指导类型提供了更多特定编辑器；如，checkitem编辑器被用来编辑检查表。
Other guidance kinds provide more specific editors; for example, the Checklist kind is edited with a check item editor.
比较典型的情况是，这个处理器会检查每一个入站消息的重要元素(头标记、消息类型等待)，从而选择一个目标服务端点。
Typically, the handler examines important elements of each incoming message (headers, message type, and so on) and selects a target service endpoint accordingly.
为了让JIT编译器可以确定正确的处理器类型，需要使用systemcfg_init函数检查系统配置信息。
In order for the JIT compiler to determine the correct processor type, system configuration information is examined with the systemcfg_init function.
在客户机和服务器(和KDC)上检查支持的Kerberos加密类型列表。
Check the list of supported Kerberos encryption types on client and server (and KDC).
Akamai软件可以通过查看响应头中的Server属性检查服务器的类型。
The Akamai software can check for the type of server by looking at the server property in the response header.
然后，编译器可以根据age属性声明的类型实施类型检查。
The compiler can then enforce type checking based on the declared type of the attribute named age.
它非常简单，因为此资源类型仅用于启动服务器、停止服务器并检查httpd进程的存在。
Groovy; it's very simple because this resource type is only used to start the server, stop the server, and check for the existence of an HTTPD process.
应用推荐