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

Touched

Gets a value indicating if the Trace listener was called

Methods

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