You must associate an application server with the IDE tool by creating a pointer from the tool's workbench to a server.
您必须通过创建一个从工具的工作台到服务器的指针将应用服务器与IDE工具关联起来。
The Project Model Manager coordinates with each Business Analyst by providing a pointer to a workspace that can be opened in the appropriate tool.
通过提供一个指向可以在合适工具中打开的工作区，项目模型管理员可以与每一个业务分析员相协调。
Unfortunately, automata theory tells us that no tool could ever statically determine which programs will throw null-pointer exceptions.
不幸的是，自动控制理论告诉我们，没有工具可以静态地决定哪些程序将抛出空指针异常。
Tool tips - When you place mouse pointer over an identifier, a tool tip with information about the identifier appears.
提示——将鼠标放在某个标识符上时就会出现关于该标识符的信息提示。
For instance, when your mouse pointer hovers over a bar, the exact stat could appear (like a tool tip does).
比如，当鼠标箭头在其中一个条上悬浮时，实际的数值就会出现(正如工具提示那样)。
This paper presents a technique for designing theorem prover which mainly based on transformation and substitution for Pointer Logic. The technique realized as a tool called APL is implemented.
提出了一种为指针逻辑设计定理证明器的新技术，该项技术主要是基于变换和替代，已在APL的工具中得以实现。
This paper presents a technique for designing theorem prover which mainly based on transformation and substitution for Pointer Logic. The technique realized as a tool called APL is implemented.
提出了一种为指针逻辑设计定理证明器的新技术，该项技术主要是基于变换和替代，已在APL的工具中得以实现。
应用推荐