PexDomainAttributeBase.TryGetInvariant Method

Reference

Definition

Namespace:: Microsoft.Pex.Framework.Domains

Assembly:: Microsoft.Pex.Framework.dll

Important

Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.

Tries to get an invariant.

public:
 virtual bool TryGetInvariant(Microsoft::Pex::Engine::ComponentModel::IPexExplorationComponent ^ host, Microsoft::ExtendedReflection::Metadata::Layout ^ layout, [Runtime::InteropServices::Out] Converter<Microsoft::ExtendedReflection::Interpretation::Term ^, Microsoft::ExtendedReflection::Interpretation::Term ^> ^ % invariantBuilder);

public virtual bool TryGetInvariant (Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent host, Microsoft.ExtendedReflection.Metadata.Layout layout, out Converter<Microsoft.ExtendedReflection.Interpretation.Term,Microsoft.ExtendedReflection.Interpretation.Term> invariantBuilder);

abstract member TryGetInvariant : Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent * Microsoft.ExtendedReflection.Metadata.Layout * Converter -> bool
override this.TryGetInvariant : Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent * Microsoft.ExtendedReflection.Metadata.Layout * Converter -> bool

Public Overridable Function TryGetInvariant (host As IPexExplorationComponent, layout As Layout, ByRef invariantBuilder As Converter(Of Term, Term)) As Boolean

Parameters

host: Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent

The host.

layout: Microsoft.ExtendedReflection.Metadata.Layout

The layout.

invariantBuilder: Converter<Microsoft.ExtendedReflection.Interpretation.Term,Microsoft.ExtendedReflection.Interpretation.Term>

The invariant builder.

Returns

Boolean

Implements

Microsoft.Pex.Engine.Domains.IPexDomain.TryGetInvariant(Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent,Microsoft.ExtendedReflection.Metadata.Layout,System.Converter{Microsoft.ExtendedReflection.Interpretation.Term,Microsoft.ExtendedReflection.Interpretation.Term}@)

Applies to

Partager via