PexDomainAttributeBase.TryGetInvariant Method
Definition
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 -> boolPublic Overridable Function TryGetInvariant (host As IPexExplorationComponent, layout As Layout, ByRef invariantBuilder As Converter(Of Term, Term)) As BooleanParameters
- 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}@)