PexComponentElementDecoratorAttributeBase.IPexComponentElementDecorator.Decorate Method

Definition

 virtual void Microsoft.Pex.Engine.ComponentModel.IPexComponentElementDecorator.Decorate(Microsoft::ExtendedReflection::Metadata::Names::Name ^ location, Microsoft::Pex::Engine::ComponentModel::IPexDecoratedComponentElement ^ host) = Microsoft::Pex::Engine::ComponentModel::IPexComponentElementDecorator::Decorate;
void IPexComponentElementDecorator.Decorate (Microsoft.ExtendedReflection.Metadata.Names.Name location, Microsoft.Pex.Engine.ComponentModel.IPexDecoratedComponentElement host);
abstract member Microsoft.Pex.Engine.ComponentModel.IPexComponentElementDecorator.Decorate : Microsoft.ExtendedReflection.Metadata.Names.Name * Microsoft.Pex.Engine.ComponentModel.IPexDecoratedComponentElement -> unit
override this.Microsoft.Pex.Engine.ComponentModel.IPexComponentElementDecorator.Decorate : Microsoft.ExtendedReflection.Metadata.Names.Name * Microsoft.Pex.Engine.ComponentModel.IPexDecoratedComponentElement -> unit
Sub Decorate (location As Name, host As IPexDecoratedComponentElement) Implements IPexComponentElementDecorator.Decorate

Parameters

location
Microsoft.ExtendedReflection.Metadata.Names.Name
host
Microsoft.Pex.Engine.ComponentModel.IPexDecoratedComponentElement

Implements

Microsoft.Pex.Engine.ComponentModel.IPexComponentElementDecorator.Decorate(Microsoft.ExtendedReflection.Metadata.Names.Name,Microsoft.Pex.Engine.ComponentModel.IPexDecoratedComponentElement)

Applies to