PexNonDefaultDomain 类
定义
重要
一些信息与预发行产品相关，相应产品在发行之前可能会进行重大修改。 对于此处提供的信息，Microsoft 不作任何明示或暗示的担保。
一个不可为 null 的域
public ref class PexNonDefaultDomain sealed : Microsoft::Pex::Engine::Domains::IPexDomainpublic sealed class PexNonDefaultDomain : Microsoft.Pex.Engine.Domains.IPexDomaintype PexNonDefaultDomain = class
interface IPexDomainPublic NotInheritable Class PexNonDefaultDomain
Implements IPexDomain- 继承
-
PexNonDefaultDomain
- 实现
-
Microsoft.Pex.Engine.Domains.IPexDomain
字段
| Instance |
域的单一实例 |
方法
| TryGetInvariant(IPexExplorationComponent, Layout, Converter<Term,Term>) |
尝试获取固定对象。 |