Partager via


PexNonDefaultDomain.TryGetInvariant Method

Definition

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 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 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

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