Share via

PexAssumeUnderTestAttribute.TryGetInvariant Method

  • Reference

Definition

Namespace:
Microsoft.Pex.Framework
Assembly:
Microsoft.Pex.Framework.dll

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 -> bool
Public Overrides 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

Applies to