PexTraceListenerContext Class

Definition

Removes the current trace listeners, and install a trace listener that throws a TraceAssertionException. Also hooks and handles to the Contract.ContractFailed event.

public ref class PexTraceListenerContext sealed : IDisposable
public sealed class PexTraceListenerContext : IDisposable
type PexTraceListenerContext = class
    interface IDisposable
Public NotInheritable Class PexTraceListenerContext
Implements IDisposable
Inheritance
PexTraceListenerContext
Implements

Properties

Name Description
Touched

Gets a value indicating if the Trace listener was called

Methods

Name Description
Create()

Creates the trace listener context

Create(TextWriter)

Creates the trace listener context to writes to the given text writer

Dispose()

Re-installs the original trace listeners

Applies to