Information
The topic you requested is included in another documentation set. For convenience, it's displayed below. Choose Switch to see the topic in its original location.

PexAssumeAttributeBase Class

 

Abstract base class for Assume attributes.

Namespace:   Microsoft.Pex.Framework
Assembly:  Microsoft.Pex.Framework (in Microsoft.Pex.Framework.dll)


[AttributeUsageAttribute(AttributeTargets::All, AllowMultiple = true, 
	Inherited = true)]
public ref class PexAssumeAttributeBase abstract : PexDomainAttributeBase

NameDescription
System_CAPS_protmethodPexAssumeAttributeBase()

Initializes a new instance of the PexAssumeAttributeBase class.

System_CAPS_protmethodPexAssumeAttributeBase(Type^)

Initializes a new instance of the PexAssumeAttributeBase class.

System_CAPS_protmethodPexAssumeAttributeBase(Type^, String^)

Initializes a new instance of the PexAssumeAttributeBase class.

NameDescription
System_CAPS_pubpropertyName

Gets the name of this package.(Inherited from PexExplorationPackageAttributeBase.)

System_CAPS_pubpropertyTypeId

(Inherited from Attribute.)

NameDescription
System_CAPS_protmethodAfterExploration(IPexExplorationComponent^, Object^)

Callback that is executed after the exploration ends.(Inherited from PexExplorationPackageAttributeBase.)

System_CAPS_protmethodBeforeExploration(IPexExplorationComponent^)

Callback that is executed before the exploration starts.(Inherited from PexDomainAttributeBase.)

System_CAPS_protmethodDecorate(Name^, IPexDecoratedComponentElement^)

This method can announce filters, focuses, and packages to Pex.(Inherited from PexExplorationPackageAttributeBase.)

System_CAPS_pubmethodEquals(Object^)

(Inherited from Attribute.)

System_CAPS_protmethodFinalize()

(Inherited from Object.)

System_CAPS_pubmethodGetHashCode()

(Inherited from Attribute.)

System_CAPS_protmethodGetPreciseType(TypeEx^, ICopyable<TypeEx^>^, Boolean)

Checks a list of types compatible with this domain.

System_CAPS_protmethodGetTargetType()

Gets the type of the target.(Inherited from PexDomainAttributeBase.)

System_CAPS_pubmethodGetType()

(Inherited from Object.)

System_CAPS_protmethodInitialize(IPexExplorationEngine^)

Initializes the specified exploration package. May interact with services.(Inherited from PexExplorationPackageAttributeBase.)

System_CAPS_pubmethodIsDefaultAttribute()

(Inherited from Attribute.)

System_CAPS_protmethodLoad(IContainer^)

This method provides the opportunity install or substitute services.(Inherited from PexExplorationPackageAttributeBase.)

System_CAPS_pubmethodMatch(Object^)

(Inherited from Attribute.)

System_CAPS_protmethodMatchesTarget(PexDomainTarget, MetadataEntity^, Int32)

Checks whether the target of this attribute matches a given target.(Inherited from PexDomainAttributeBase.)

System_CAPS_protmethodMemberwiseClone()

(Inherited from Object.)

System_CAPS_pubmethodToString()

(Inherited from Object.)

System_CAPS_pubmethodTryGetInvariant(IPexExplorationComponent^, Layout^, Converter<Term^, Term^>^)

Tries to get an invariant.(Inherited from PexDomainAttributeBase.)

System_CAPS_pubmethodUpdateTarget(PexDomainTarget, MetadataEntity^, Int32)

Updates the target of this domain.(Inherited from PexDomainAttributeBase.)

System_CAPS_protmethodValidate(IPexLog^, ICustomAttributeProviderEx^, VisibilityContext^)

Validates the attribute in a particular visibility context.(Inherited from PexComponentElementDecoratorAttributeBase.)

System_CAPS_protmethodValidateTargetIsDefined(IPexLog^, Name^)

Validates that the target is defined.

System_CAPS_protmethodValidateTargetIsNotNull(IPexLog^, Name^)

Validates this attribute in the case that the target may not be null.

Any public static (Shared in Visual Basic) members of this type are thread safe. Any instance members are not guaranteed to be thread safe.

Return to top
Show: