PexAssumeUnderTestAttribute.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:
override 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 override bool TryGetInvariant (Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent host, Microsoft.ExtendedReflection.Metadata.Layout layout, out Converter<Microsoft.ExtendedReflection.Interpretation.Term,Microsoft.ExtendedReflection.Interpretation.Term> invariantBuilder);override this.TryGetInvariant : Microsoft.Pex.Engine.ComponentModel.IPexExplorationComponent * Microsoft.ExtendedReflection.Metadata.Layout * Converter -> boolPublic Overrides 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.