Microsoft.Pex.Framework

A choice provider that also creates early method calls

Creates method call oracle whose choices can be retrieved

Interface for an oracle provider.

Sets the value provider.

The value provider.

Notifies the oracle provider that a new segment is about to start

the segment index

Retrieves an oracle session.

The name of the session.

Gets the default session

Retrieves a method-call specific oracle.

instance on which the method is called identifier of called method

Retrieves a method-call specific oracle.

instance on which the method is called identifier of called method

An interface that allows to make choices about a method's behavior before the method has actually been called

While the standard method call oracle patches the result of the current method call, this interface allows and requires a user to obtain the result of choices separately.

Attempts to retrieve the abstract result of the last choice; resets the last result, i.e. this method can only be called once for each result.

Interface to add additional symbols as roots to the constraint solver

Only if symbols have been declared as roots, the constraint solver will find an assignment for them.

Registers an additional symbol with the constraint solver.

identifier of choice for reference types, whether the value may not be null for reference types, whether to allow subtypes or insist on exact type matching for reference types, an optional list of possible concrete types

Registers an additional symbol with the constraint solver.

identifier of choice list of values to choose from

Registers an additional symbol with the constraint solver.

identifier of choice The minimum (inclusive). The maximum (exclusive).

Interface to retrieve concrete values for choices.

Retrieves a concrete value for a choice.

The concrete values are needed for re-execution; they are provided by the solution of the constraint system. identifier of choice for reference types, whether the value must not be null for reference types, an optional list of possible concrete types

Retrieves a concrete value for a choice.

The concrete values are needed for re-execution; they are provided by the solution of the constraint system. identifier of choice list of values to choose from

Retrieves a concrete value for a choice.

The concrete values are needed for re-execution; they are provided by the solution of the constraint system. identifier of choice The minimum value (inclusive). The maximum value (exclusive).

Identifier of choices made with a method call chooser.

Unique identifier of session.

Choice kind.

Number of choice within session.

Used for displaying, not used in equality

Type of chosen value

Initializes a new instance of the class.

The session key. The kind. The index. The inner description. The type. the display index if any

Returns a that represents the current .

A that represents the current .

Short textual description of the symbol, used for parameter table logging

Textual description of the symbol.

The layout of the symbol.

When the object (or all objects within this value) was created.

Gets the inner description.

The inner description.

Serves as a hash function for a particular type.

A hash code for the current .

Determines whether the specified is equal to the current .

The to compare with the current . true if the specified is equal to the current ; otherwise, false. The parameter is null.

Kinds of method calls

Out parameter

Result

Boolean whether to throw an exception

Thrown exception

Anything

Value uniquely identifying a .

Session kind

Segment index

Time

Name

Optional method; does not participate in equality

Code label

Initializes a new instance of the struct.

The kind. Index of the segment. The time. The name. The method. The code label.

Creates a name from a method.

The method.

Creates a name from a method.

The method.

Clones this instance for a given segment.

New index of the segment.

Returns the hash code for this instance.

A 32-bit signed integer that is the hash code for this instance.

Indicates whether this instance and a specified object are equal.

Another object to compare to. true if and this instance are the same type and represent the same value; otherwise, false.

Indicates whether the current object is equal to another object of the same type.

An object to compare with this object. true if the current object is equal to the parameter; otherwise, false.

Implements the operator ==.

The left. The right. The result of the operator.

Implements the operator !=.

The left. The right. The result of the operator.

Returns the fully qualified type name of this instance.

A containing a fully qualified type name.

Kind of

A plain session

A session representing a method call

A session representing a method call that is about to happen

IntelliTest component element

Gets the host.

The host.

Globally accessible IntelliTest services

Gets the options

Gets the current assembly.

The current assembly.

Gets the current package manager

Gets the filter manager.

The filter manager.

Gets the explorations manager.

The explorations manager.

Gets the test manager.

The test manager.

Gets the test hasher.

The test hasher.

Gets the test framework manager.

The test framework manager.

Gets the fix-it manager.

The fix-it manager.

Gets the coverage manager.

The coverage manager.

Gets the report manager.

The report manager.

Gets the exploration strategy factory.

The exploration strategy factory.

Gets the log manager.

The log manager.

Gets the driver.

The driver.

Gets the explorable guesser manager.

The explorable guesser manager.

Gets the explorable cache manager.

The explorable cache manager.

Gets the reflector manager.

The reflector manager.

Gets the progress manager

Gets the test prioritization manager

Gets the test framework driver

Gets the metric manager

Gets the fixture metric manager

The metric manager.

IntelliTest decorated component element

Gets the coverage filters.

The coverage filters.

Gets the focuses.

The focuses.

Gets the exploration packages.

The exploration packages.

Gets the path packages.

The path packages.

Adds an exploration package.

The location. The exploration package.

Adds a path package.

The location. The path package.

Adds a coverage filter.

The coverage filter.

Adds a focus.

The focus.

IntelliTest exploration component

Gets the log.

The log.

Gets the exploration services.

The exploration services.

IntelliTest exploration component element

Gets the host.

The host.

Services available in IntelliTest for the execution of a multiple paths

Gets information of the current exploration

Gets the exploration result instance

Gets the explorable manager.

The explorable manager.

Gets the preparable manager.

Gets the creatable manager.

The creatable manager.

Gets the creatable factory manager.

The creatable factory manager.

Gets the driver.

The driver.

Gets the exception manager.

The exception manager.

Gets a caching log proxy

Gets the domain manager.

The domain manager.

Gets the test namer manager

Gets the test method generator.

The test method generator.

Gets the searcher.

The searcher.

Gets the state manager.

The state manager.

Gets the input enumerator manager.

The input enumerator manager.

Gets the search frontier manager.

The search frontier manager.

Gets the optional default weight provider for prioritized frontiers.

Gets the coverage manager at the exploration level

Gets the goal manager

Gets the arithmetic solver manager.

The arithmetic solver manager.

Gets the runtime context manager

Gets the assertion filter manager

Gets the exploration metric manager

IntelliTest path component

Gets the path services.

The path services.

IntelliTest path component element

Gets the host.

The host.

Services available in IntelliTest for the execution of a single path

Gets the solution.

The solution.

Gets the oracle choice builder.

The oracle choice builder.

Gets the unsafe memory builder.

The unsafe memory builder.

Gets the oracle provider.

The oracle provider.

Gets the driver.

The driver.

Gets the method invocation requests provider.

The method invocation requests provider.

Gets the path preprable manager

Gets the current execution node provider.

The current execution node provider

Gets the IntelliTest invariant builder.

Gets the disposable context manager

Gets the generated test settings

Gets the path metric manager

Gets the path executor

Tries to get the post analysis manager if any

Tries to get the tracking engine factory if any

Any validatable component

Validates the decorator instance

Base class of IntelliTest component elements

Initializes a new instance of the class.

The host.

Gets the host.

The host.

Default implementation of .

Initializes a new instance of the class.

The host.

Gets the options service

Gets the explorations manager.

The explorations manager.

Gets the current assembly.

The current assembly.

Gets the package manager.

The package manager.

Gets the filter manager.

The filter manager.

Gets the test manager.

The test manager.

Gets the fix-it manager.

The fix-it manager.

Gets the coverage manager.

The coverage manager.

Gets the report manager.

The report manager.

Gets the exploration strategy factory.

The exploration strategy factory.

Gets the test hasher.

The test hasher.

Gets the log manager.

The log manager.

Gets the test framework manager.

The test framework manager.

Gets the driver.

The driver.

Gets the explorable guesser manager.

The explorable guesser manager.

Gets the explorable cache manager.

The explorable cache manager.

Gets the reflector manager.

The reflector manager.

Gets the progress manager.

The progress manager.

Gets the moles metadata manager.

The moles metadata manager.

Gets the test framework driver

The Test Framework driver.

Gets the metric manager

The metric manager.

Gets the fixture metric manager

The metric manager.

Base class of IntelliTest exploration components

Initializes a new instance of the class.

Gets the exploration services.

The exploration services.

Performs application-defined tasks associated with freeing, releasing, or resetting unmanaged resources.

Base class of an IntelliTest exploration component element

Initializes a new instance of the class.

The host.

Gets the host.

The host.

Gets the input enumerator manager.

The input enumerator manager.

Gets the search frontier factory.

The search frontier factory.

Gets the optional default weight provider for prioritized frontiers.

Gets the creatable factory manager.

The creatable factory manager.

Gets the runtime context manager

Gets the assertion filter manager

Gets the exploration metric manager

Base class of IntelliTest path components

Initializes a new instance of the class.

Gets the path services.

The path services.

Performs application-defined tasks associated with freeing, releasing, or resetting unmanaged resources.

Base class of IntelliTest path component elements

Initializes a new instance of the class.

The host.

Gets the host.

The host.

Services available in IntelliTest during the tracing of an execution path.

Initializes a new instance of the class.

The host.

Gets the solution.

The solution.

Gets the oracle choice builder.

The oracle choice builder.

Gets the unsafe memory builder.

The unsafe memory builder.

Gets the oracle provider.

The oracle provider.

Gets the driver.

The driver.

Gets the method invocation requests provider.

The method invocation requests provider.

Gest the path preparable manager

Gets the current execution node provider.

The current execution node provider

Gets the IntelliTest invariant builder.

Gets the disposable context manager

Gets the generated test settings

Gets the generated test settings service

Gets the path metric manager

Exploration engine

Interface for component element decorators

This method can announce filters, focuses, and packages to IntelliTest.

This method is called once when IntelliTest inspects all decorators. A package, that is added at this point, may later create components for individual explorations or paths. The location. The host.

An IntelliTest component

Gets the log.

The log.

Gets common services available to all components.

The IntelliTest services.

Base class of IntelliTest components

Initializes a new instance of the class.

Gets the log.

The log.

Gets common services available to all components.

The IntelliTest services.

Performs application-defined tasks associated with freeing, releasing, or resetting unmanaged resources.

A branch tag that counts constraint solver timeouts

Initializes a new instance of the class.

Combines this tag with the specified other tag.

The other tag. the combined tag

Returns a that represents the current .

A that represents the current .

A branch tag that counts imprecisions

Initializes a new instance of the class.

Combines this tag with the specified other tag.

The other tag. the combined tag

Returns a that represents the current .

A that represents the current .

Branch tag indicating an uninstrumented call

The method

Initializes a new instance of the class.

The method.

Combines the instance with the other tag.

The other tag. the combined tag

Gets the monotonicity of this tag.

True if monotonic, false otherwise.

Tries to clear branch tags that are not monotonic.

The result.

Returns a that represents the current .

A that represents the current .

Gets the hashcode

Internalizes this instance

A manager that collects coverage information per exploration

Tries to get the exploration coverage entry.

The exploration. The coverageEntry.

Tries to get the exploration coverage builder.

The coverage builder.

Prepares the exploration coverage for publishing.

The coverage builder.

Publishes the exploration coverage.

The result.

Raised before the manager publishes the exploration coverage

Coverage manager

Gets the coverage filter.

The target.

Tries to get the assembly coverage entry.

The assemblyCoverageEntry.

Tries to get the current fixture coverage vector

Tries to get the current assembly coverage vector

Prepares the assembly coverage for publishing.

The assembly.

Publishes the assembly coverage.

The assembly.

Raised before publish (and forgetting) the assembly coverage data

Prepares the fixture coverage for publishing.

The fixture.

Raised before publish (and forgetting) the assembly coverage data

Publishes the fixture coverage.

The fixture.

Raised before publish (and forgetting) the assembly coverage data

Generates the html generated source file to html

Renders the xml generated source file to html

Merges exploration coverage into the fixture and assembly coverage

current exploration

Abstract base class for instantiated .

Initializes a new instance of the class.

The host. The type definition. The generic type arguments. if set to true [may set remaining fields by reflection].

Gets the log.

The log.

Gets the creatable type.

Whether a field of this type (or one of its supertypes) can only be initialized with references that were created before an instance of the given type is created.

Whether to minimize the number of objects of this type.

Tries to create a value.

The context.

Tries to create some value.

The context. The result. The remaining fields.

Tries to create some code.

The context. The remaining fields. The receiver.

Tries to create the code expression.

The context.

Tries to get the factory method.

The factory. The factory receiver. The factory arguments. The remaining fields.

Tries to get a backing setter.

The field. The setter.

Tries to get an invariant.

The term manager. The invariant builder.

Implements an heuristic to automatically generate a creatable

Tries to compute a precise creatable for the given type

Type of the creatable. The creatable.

Creatable code context

Global context in which reused, auxiliary locals can be allocated. Eventually, stack should not be changed.

Creates a local builder, which can eventually be published.

Notification when result builder is completed.

The result builder. The receiver local (may be null).

Pushes the value of a field.

The builder. The field.

Creatable value context

Gets the field value.

The field.

Publishes the specified result.

The result.

Information about a creatable type

Gets the creatable type.

Tries to instantiate this definition with the specified arguments.

The host. The type arguments. The creatable.

A service that manages instances.

Adds an additional creatable factory

The factory.

Tries to create a precise creatable for the given type

Type of the creatable. The creatable.

Manager of creatable types

Visibility context in which objects are created

Adds the creatable.

The creatable.

Adds the creatable.

The creatable.

Determines whether the specified type is creatable.

The type.

Tries to get the creatable information of a given type.

The type. The creatable.

Information about a creatable type

Gets the creatable type.

Tries to create a value.

The context.

Tries to create code.

The context.

Tries to get an invariant for this creatable type.

The term manager. The invariant builder.

Whether a field of this type (or one of its supertypes) can only be initialized with references that were created before an instance of the given type is created.

Whether to minimize the number of objects of this type.

Creatable context, representing the context in which a particular creatable value is created

The visibility context in which the value is created

The object reference or struct value being created; can be used to query properties in .

The input model.

Gets or sets a value indicating whether reflection may be used to set all remaining fields.

A mutable domain provider

Adds a lazy provider of type hints

Adds a lazy provider of type for matching

Adds the matching types.

The types.

Adds type defintions to be used as hints

a value specifying whether the types from the declaring modules of the hinted types maybe be mined as well

Adds the specified provider.

The provider.

Tries to obtain an object of an explorable type with a particular index.

Collection of domain providers

Initializes a new instance of the class.

Adds a list of domains.

The list. The target. The target info. Index of the target.

Live domain provider

Initializes a new instance of the class.

Adds a fallback provider.

The provider.

Adds a list of domains.

The list. The target. The target info. Index of the target.

Domain provider

Adds a list of domains.

The list. The target. The target info. Index of the target.

A targetted domain provider.

Updates the target of this domain.

The target. The target info. Index of the target.

Validates the domain against the target

Chain of domains

Initializes a new instance of the class.

The domains.

Tries to get an invariant.

The host. The layout. The invariant builder.

Domain of values

Tries to get an invariant.

The host. The layout. The invariant builder.

An on-demand type hint provider

Given a type populates the domain manager with hints

An on-demand type matcher

Given a type populates the domain manager

IntelliTest driver

Executes all explorations.

Gets the exit code.

The exit code.

Whether we can claim an overall success.

Raised before the execution starts

Raised after the execution finishes

Exploration driver

Gets the number of runs performed so far

Whether to log imprecisions.

Whether to disable the post analysis.

Whether to log observed call mismatches.

Gets the total coverage builder

Explores this instance.

Raised before executing the path, after the packages

Raised after executing the path, before the packages

Raised before the exploration starts

Raised after the exploration finishes

Tracking driver

Runs this instance.

IntelliTest path driver

Gets a unique string identifier for the current path

Gets the result of a path executions, or null if it has not been run.

Runs an execution path.

The concrete fixture object.

Raised before executing the path

Raised after executing the path

Post analysis driver

Runs this instance.

IntelliTest engine

Gets the log.

The log.

IntelliTest Path Engine

The engine for running post analysis

Get the driver for the post analysis

Validates exceptions as assumtions

Determines whether the specified ex is an assumption.

The ex. true if the specified ex is assumption; otherwise, false.

An validator

Validates the specified exception.

The exception. optional; may provide more information about why the validator came to its conclusion optional; may provide more information

Describes what this validator does; optional

Gets the opportunity to annotate the test with more information about the exception

caught exception if any; otherwise a null reference.

A manager of a set of validators.

Adds the specified valitor

The validator.

Determines whether is an assumption

The ex.

Adds the specified validator.

The validator.

Validates the specified exception.

The exception. The validator that validated, if any. The failure text. The failure wiki topic.

Defines the different state of an exception caught during a test

Unkown state

The exception was expected

The exception denotes an inconclusive test

The exception was unexpected

Provider of current execution node

Gets the current execution node.

The current.

Gives list of all nodes visited during this path, starting from the end.

Builder of execution-graphs (trees or dags or whatever)

Starts to build a subgraph for a given execution signature.

represents sequence of method calls

Attach invariant to a signature.

Attaches the additional root symbol.

The signature. The time. The symbol id.

Observer pattern. There is a observer (e.g., Frontier) who needs to notified when certain events (e.g., addition of nodes) occur in the execution-graph. So the observer registers itself with the graph-builder, so that observer is notified of events related to modification of the execution-graph

When a path engine is created, the graph builders may attach components that monitor the path

IPathConditionBuilder, IPexInvariantBuilder, IPexChoiceBuilder, IPathSegmentCallbacks

Finishes building a path.

The path condition builder.

Creates an identifier for data attached to nodes.

name

Dumps the statistics.

The writer.

Gets the number of nodes.

Retrieves an execution node by its unique index

Bumps a node given by its unique index.

Execution graph builder factory

Creates an execution graph builder.

Descriptor of data attached to execution nodes

Name of attached data

Action when terms are garbage collected

IntelliTest execution path

Retrieves the abstract path condition.

This path might involve summaries.

Finds the last location at branch instruction that was visited several times.

Whether we have seen this exact path before

For visualization only.

Abandon the path, e.g. when execution diverges

The node to abandon. The reason.

An invariant was added, which should be observed in a retry attempt

The node to retry.

If neither Abandon nor Retry is called, Accept must be called. It simply marks the node as 'final'.

IInvariantBuilder

Adds an invariant path condition

Flipping an invariant path condition never leads to new execution paths. whether the positive form of the condition is to be added value that has whether the invariant is new, i.e. has not been added before

Visual execution graph

Root nodes, from which all other nodes can be accessed

Visual execution node

Gets the attached execution results.

Gets the label of a node.

The label is the condition under which this node can be reached. It may or may not be cumulative.

The explorable cache manager is a global service that exist throughout the lifetime of IntelliTest.

Gets a (cached) explorable, that calls a constructor followed by setters

Gets the default name for an explorable factory method.

Creates a (uncached) builder for the explorable factory method.

Implements an heuristic to automatically generate an explorable

Tries to guess good explorables for the given type

Type of the explorable.

A service that manages instances.

Adds an additional explorable guesser

Clears the cached guess for a particular type if any

Tries to guess good explorables for the given type

Type of the explorable.

Gets a throwing factory update

Base class of explorable information

Initializes a new instance of the class.

The host. Type of the explorable.

If no custom code expression can be created, the will be used.

The context.

Gets the type to be created by exploration.

Gets the method which creates an instance of the desired type.

Gets a value indicating if two explorables are the same

Gets the hash code of this instance

Gets a value indicating if two explorables are the same

A candidate for an explorable type

Gets the explorable.

The explorable.

Gets a value indicating if the guess should be notified to the user

Tries to get the update.

The update.

Initializes a new instance of the class.

The explorable. if the candidate needs validation from the user The update.

Explorable factory

Gets the assembly name where the factory will be emitted

Gets the assembly name that will contain the generated explorable factory for a given assembly

Tries to create a factory for the explorable type

Creates a throwing explorable factory

Initializes a new instance of the class.

The host. Type of the explorable.

Gets or sets a value indicating whether this is a guess.

true if guess; otherwise, false.

Gets the visibility context

Gets the type of the explorable.

The type of the explorable.

Tries to get the factory method sequence

The method sequence.

Gets the setters.

The setters.

Creates the explorable.

Tries to create an explorable factory.

The type builder. The factory.

Determines whether the method has unfavorable parameters, which indicates that it should not be used as a factory method if it can be avoided.

The method. Whether the method has unfavorable parameters

Determines whether the given factory sequence is valid.

Determines whether the given factory method is valid.

The factory method.

Tries to set a factory method.

The factory method.

Tries to set a factory method sequence.

The factory method sequence.

Determines whether a field setter is valid.

The field.

Determines whether a field setter is valid.

The field.

Tries to add a field setter.

The field.

Tries to add a field setter.

The field.

Determines whether the given property is a valid setter.

The property.

Tries to add a property setter.

The property.

Determines whether the given method is a valid setter method.

The method. whether the method may have a special name.

Tries to add a setter method.

The method.

Removes a setter.

The setter.

Occurs when this instance changes.

Metadata

Constructors of .

Creates the [PexFactoryMethod(...)] attribute

Creates an explorable factory code update.

The add method update.

Explorable from method

Initializes a new instance of the class.

The host. Type of the explorable. The exploration method.

Gets the method which creates an instance of the desired type.

Returns a that represents the current .

A that represents the current .

Explorable previewer

Initializes a new instance of the class.

The visibility.

Renders a preview of the generated explorable code

Emits comments.

Type of the explorable. The builder.

Dumps this instance.

The tree. The language. The visibility context. The explorable.

Delegate to push a parameter.

Base class of explorable setters

Gets or sets a value indicating if the setter should guarded by a boolean parameter

Writes a call of this setter to the given method builder.

The builder. the local that holds the target The parameter pusher.

Writes a call of this setter to the given method builder.

The builder. The parameter pusher.

Pushes the parameters to the specified method builder.

The parameters. The offset from which on the will be visited. The parameter pusher.

Gets the name of the target.

The name of the target.

Gets the target member.

The member.

Gets the image key to be fetched from an imagelist

Gets the (short) title.

The title.

Gets a slightly longer description (language specific if code is involved); usually used for tool-tips.

Write a long description, possibly involving line breaks, to a text writer.

The language factory. writer whether anything was written

Get the explorable setter for the specified field.

The field.

Get the explorable setter using reflection for the specified field.

The field.

Gets the explorable setter for the specified property.

The explorable type. The property.

Gets the explorable setter for the specified method.

The explorable type. The method.

Serves as a hash function for a particular type.

A hash code for the current .

Determines whether the specified is equal to the current .

The to compare with the current . true if the specified is equal to the current ; otherwise, false. The parameter is null.

Implements the operator ==.

The x. The y. The result of the operator.

Implements the operator !=.

The x. The y. The result of the operator.

Explorable code context

Tries to get the result local, that might have been already allocated for the explorable instance.

Global context in which reused, auxiliary locals can be allocated. Eventually, stack should not be changed.

Notification when result builder is completed.

Index starts from zero and includes implicit 'this' argument, even for constructors

Manager of explorable types

Logs an explorable insufficiency.

The execution node that we couldn't flip. Explorable type whose factory was insufficient.

Adds an explorable insufficiency observer.

The observer.

Adds an explorable candidate.

The candidate.

Adds an explorable type.

The explorable.

Adds an explorable strategy.

The strategy.

Adds an explorable mutator factory.

The mutator.

Determines whether the specified explorable type is explorable.

Type of the explorable.

Tries to the get explorable.information for a given explorable type.

Type of the explorable. The explorables.

Gets a list of explorable mutators for a given type.

Type of the explorable. The target method.

Tries to get an explorable strategy for a given type.

The type. The explorable strategy.

IntelliTest explorable mutator

Gets the explorable type

Gets the mutating instance method.

The instance method.

A factory of IPexExplorableMutator

Gets the explorable mutators.

The host. Type of the explorable.

Explorable sequence

Gets the explorable type.

The type of the explorable.

If no custom code expression can be created, the will be used.

The context.

Gets the exploration method.

The exploration method.

Gets the list of mutation methods.

The mutation methods.

IntelliTest explorable strategy

Determines whether this strategy can create a session for the given explorable type.

Creates the session.

The host. Explorable type.

Explorable strategy session

Gets the explorable type.

Gets the sequences.

The target method.

IntelliTest explorable type mutator provider

Gets the explorable type.

Gets the explorable mutators.

The target method.

Collection of explorables

Base class of explorable strategy sessions

Initializes a new instance of the class.

The host. Type of the explorable.

Gets the type of the explorable.

The type of the explorable.

Gets the sequences.

The target method.

Gets the sequences.

The explorable. The mutators.

Default implementation of

Initializes a new instance of the class.

The explorable. The mutation methods.

Gets the explorable.

The explorable.

Gets the type of the explorable.

The type of the explorable.

If no custom code expression can be created, the will be used.

The context.

Gets the exploration method.

The exploration method.

Gets the mutation methods.

The mutation methods.

Serves as a hash function for a particular type.

A hash code for the current . 2

Indicates whether the current object is equal to another object of the same type.

An object to compare with this object. true if the current object is equal to the other parameter; otherwise, false.

Determines whether the specified is equal to the current .

The to compare with the current . true if the specified is equal to the current ; otherwise, false. 2

Returns a that represents the current .

A that represents the current .

Defines a method that can be used to produce a fresh instance of a type.

Gets the explored type

If no custom code expression can be created, the will be used.

The context.

Gets the method that creates the instance; the method may not be a constructor

Interface to observe explorable insufficiencies

Logs an explorable insufficiency.

The execution node that we couldn't flip. Explorable type whose factory was insufficient.

IntelliTest exploration factory

Gets the attribute type.

The type of the attribute.

Creates the explorations.

The attribute. The fixture. The method.

Manager of explorations

Adds an exploration factory

Gets the exploration factories.

The exploration factories.

Tries to find the exploration factory in the given attribute.

The attribute type. The exploration factory.

Creates explorations.

The attribute. The fixture. The method.

IntelliTest exploration filter

Filters the specified fixture.

The host. The fixture. The value. The attribute. true if the value is in the filter

Filter manager

Gets the fixture filter.

The fixture filter.

Gets the exploration filter.

The exploration filter.

Gets the wizard type filter.

The wizard type filter.

Gets the wizard member filter.

The wizard member filter.

Fixture filter

Filters the specified filter.

The host. The value. The attribute. true if the value is in the filter

Fixing service

Fix suggestion kind

Precondition

Invariant

Condition on choice

Condition on external result

Manager for IFixItEmitterFactories

Adds a method filter to the manager

Gets a value indicating whether IntelliTest should not emit fixes for a particular method

Gets the list of method filters

Adds the fix it emitter factory.

The factory.

Tries to retrive the best fix it emitter factory.

The method. The factory.

Gets the fix it emitters.

The fix it emitters.

A fix suggestion

Gets the suggestion kind.

The kind.

Gets the method that gets fixed.

Gets the suggested precondition string.

The suggested precondition.

Gets the imports.

The imports.

Gets the referenced assemblies.

The referenced assemblies.

Gets the rank.

The rank.

Initializes a new instance of the class.

The testid. The fix method. The kind. The suggested precondition. The imports. The referenced assemblies. The rank.

Gets the name of the target.

Name of the target. The name of the target.

Tries to get the code update.

The update.

Internalizes this instance

Concretizes suggestions into code

Gets a value indicating whether this emitter supports this code pattern

The method. The kind. The pattern. The parameters. The choice count. The external results count.

Emits the suggestion.

The method. The failure condition. The kind. The pattern. The parameters. The choices count. The external results count. The condition text. The code writer.

Patterns supports by the fixit emitter

Should translate to Debug.Assert(condition);

Should translate to Debug.AssertNotNull(value);

Factory of IFixItEmitter instances

Gets the name of this factory.

The name.

Determines whether the specified the fixit emitter should be used for this type.

The type. true if the specified type is active; otherwise, false.

Gets the priority of this factory. A number between 0 and 100. Bigger numbers are better. The default emitter factory has priority 50.

Creates the fix it emitter.

The host.

An interface to define FixIt method filters

Gets a value indicating whether IntelliTest should not emit fixes for a particular method

A container for observed values

Initializes a new instance of the class.

Gets a value indicating whether any values are stored in the collection

Gets a value indicating whether any values are stored in the collection.

Gets the count.

The count.

Gets the values.

The values.

Gets a named observed value

Adds the value.

The name. The type of the value The value.

An exploration goal

Gets the kind of goal

Gets the current outcome of the goal

Gets a value indicating whether the goal has been reached

a value that determines if it is the last call for this exploration

A manager for the exploration goals

Gets the list of registered goals

Adds a goal to the manager

Gets a value indicating if all goals have been reached. If no goals are registered, it return false.

Logs all the goals that were not reached

The result of an exploration goal.

Image key for missed goals

Image key for reached goals

Gets the kind of goal

Tries to get the outcome description

Creates a new reached goal result

The kind. The outcome. The run count.

Creates a new missed goal result

The kind. The outcome.

Tries to gets the number of run to reach the goal, if reached

Gets a value indicating if the goal was reached

Writes to XML.

The writer.

Indicates whether the current object is equal to another object of the same type.

An object to compare with this object. true if the current object is equal to the parameter; otherwise, false.

Determines whether the specified is equal to the current .

The to compare with the current . true if the specified is equal to the current ; otherwise, false. The parameter is null.

Serves as a hash function for a particular type.

A hash code for the current .

Interface which can be used to interactively find new models while more and more execution paths are covered.

Gets the name of the input enumerator.

The name.

Lazily enumerates models; callbacks to and might happen during the enumeration.

Gets a progress message.

Dumps the statistics.

The writer.

Interface to manage .

Adds an input enumerator.

The priority; value between 1 and 100; if not alternating, then higher priorities go first Whether to alternate with other enumerators The enumerator.

Creates a new .

Abstract base class to represent input models.

Initializes a new instance of the class.

The host.

Gets the name of the input enumerator.

The name.

Lazily enumerates models; callbacks to and and and might happen during the enumeration.

Gets a progress message.

Dumps the statistics.

The writer.

Callback when the location of a node has become known

Callback when an execution node is found to have potential for further successors, in particular when it is added for the first time.

Callback when an execution path is monitored.

model used to generate inputs for this execution path

Callback when an execution path has terminated.

entire path can be extracted from final node

Performs application-defined tasks associated with freeing, releasing, or resetting unmanaged resources.

Performs application-defined tasks associated with freeing, releasing, or resetting unmanaged resources.

This class provides infrastructure to (symbolically) execute a test method in order to determine the vales that will be passed to the exploration method.

Initializes a new instance of the class.

The owner.

Gets the parameter symbols.

The parameter symbols.

Tries to set the value of a parameter symbol.

The symbol id. The boxed value. true if the type of the symbol is supported, and the given boxed value had a compatible type

Creates an input model from the current state of this builder.

Performs application-defined tasks associated with freeing, releasing, or resetting unmanaged resources.

Obtains an input model from a state (specifying a heap configuration) and a substitution.

The name. The state. The substitution. the method from which the input was mind if any

This class represents a model defined by a state (that was reached by symbolic execution)

While we have substitutions for all parameters, it's not so obvious which portions of the heap will be relevant. This rewriter takes care of symbols referring to the heap.

Initializes a new instance of the class.

The state. The substitution.

Compactifies this instance.

Gets the value.

The term.

Internal use only

Helper class to create values

Gets the invariants culture text info.

Filters out compiler generated methods (such as IEnumerator.Reset) that are mostly dead code and mess up coverage numbers.

Creates the filter

Explorable events, used for logging

the explorable was guessed by IntelliTest

could not find any suitable factory method to create an instance of the class

could not find any suitable factory method to create an instance of the struct

could not find any successful execution path through the factory method

Explorable event args

Initializes a new instance of the class.

Type of the explorable. Whether the explorable type is exported. The kind. might be null might be null Name of the test assembly.

Gets the explorable type.

The type of the explorable.

Gets a value indicating whether the explorable type is exported.

Gets the explorable event kind.

The kind.

Image key

Gets the image key to be fetched from an imagelist

Gets the (short) title.

The title.

Returns a that represents the current .

A that represents the current .

Gets a slightly longer description (language specific if code is involved); usually used for tool-tips.

Write a long description, possibly involving line breaks, to a text writer.

The language factory. writer whether anything was written

Gets the help topic.

The help topic.

Tries to get the code updates.

The code updates.

Gets the descrition of the preview

The language factory.

Tries to get the preview code updates.

The code updates.

Writes the XML.

The writer.

Indicates whether the current object is equal to another object of the same type.

An object to compare with this object. true if the current object is equal to the parameter; otherwise, false.

Determines whether the specified is equal to the current .

The to compare with the current . true if the specified is equal to the current ; otherwise, false. The parameter is null.

Serves as a hash function for a particular type.

A hash code for the current .

IntelliTest observed call mismatch

Initializes a new instance of the class.

The caller method. The intended callee method. whether the declaring type is exported The actual callee method. The stack trace. The wiki topic. Name of the test assembly.

An exploration imprecision location

Initializes a new instance of the class.

The location. if set to true [is declaring type exported]. The frame. Name of the test assembly.

Internalizes this instance.

An uninstrumented method was encountered

Initializes a new instance of the class.

The static field. if set to true [is declaring type exported]. The stack trace. The wiki topic. Name of the test assembly.

Internalizes this instance

IntelliTest uninstrumented method information

Initializes a new instance of the class.

The method. The stack trace. if set to true [is declaring type exported]. The wiki topic. Name of the test assembly. The filter result.

Creates a code update that adds a instrumented attribute to the test project

Internalizes the current instance

Checks two instance are equal

Cached exploration log events

Logs an imprecision (if cache miss)

The location. true if cache miss

Adds a guessed explorable

the guessed explorable candidate

Adds a type which is neither explorable nor creatable.

The type.

Adds a type for which the execution of the explorable never succeeded

The type. The factory (might be null)

Gets the event filters.

The event filters.

Adds an event filter.

The filter.

IntelliTest log manager

Prepares the loggers.

Closes the XML logger.

Remotable log

Gets or sets the remote log.

The remote log.

Helper class with different trajectory names

Helper class with different trajectory names

Assembly

Fixture

Exploration

Helper class with different trajectory names

Terms

Tests

Runs

Nodes

Memory

Coverage

Metrics

Helper class with different trajectory names

Runs

Unique paths

Unique paths precision

Tests

Failed tests

Duplicate tests

New tests

Nodes

Gets the trajectory name for a term category.

The category.

Covered basic blocks

Total basic blocks

Basic blocks coverage

Virtual memory

Working set

GC heap

Out-of-memory

Explorations

Readonly wrapper around an IntelliTest xml report

Gets the name of the file.

The name of the file.

Tries to load the report.

The log. The path. The report.

The IntelliTest exception tag

Initializes a new instance of the struct.

The test.

Gets the state of the exception.

The state of the exception.

Gets the tests.

The tests.

Merges the tag from another tag

Writes the tag to xml

IntelliTest log

Gets the reflection error count.

The reflection error count.

Gets the reflection warning count.

The reflection warning count.

Gets the fixture count.

The fixture count.

Gets the exploration count.

The exploration count.

Gets the generated test count.

The generated test count.

Gets the number of generated tests that are new.

The generated test new count.

Gets the number of failing generated tests.

The generated test failure count.

Gets the number of duplicate generated tests.

The generated test duplicate count.

Gets the number of generated inconclusive tests.

The generated test inconclusive count.

Gets the number of reached goals

Gets the number of missed goals

Gets the total number of goals

Gets the exception frame tree.

The exception frame tree.

Gets the duration of the execution.

The duration of the execution.

Gets the duration of the current exploration.

The duration of the current exploration.

Indicates that an exploration is about to start.

Indicates that an exploration is finished.

Indicates that reflection is about to start.

Indicates that reflection is done.

Indicates that an assembly is about to be processed.

The instance containing the event data.

Indicates that an assembly has been processed.

The instance containing the event data.

Indicates that an assembly is about to be processed.

The instance containing the event data.

Indicates that an assembly has been processed.

The instance containing the event data.

Indicates that a fixture is about to be processed.

The fixture.

Indicates that a fixture has been processed.

The fixture.

Indicates that a fixture is about to be processed.

The fixture.

Indicates that a fixture has been processed.

The fixture.

Indicates that an exploration is about to be processed.

The instance containing the event data.

Indicates that an exploration is being processed.

The result.

Indicates that an exploration has been processed.

The instance containing the event data.

Indicates that an exploration is about to be processed.

The instance containing the event data.

Indicates that an exploration is being processed.

The result.

Indicates that an exploration has been processed.

The instance containing the event data.

Logs assembly setup.

The result.

Logs assembly tear down.

The result.

Logs fixture setup.

The result.

Logs fixture tear down.

The result.

Logs test setup.

The result.

Logs test tear down.

The result.

Logs a test run.

The result.

Logs an existing test.

The test.

Logs a duplicate existing test

Logs an missing existing test.

The test.

Logs the generation of a test.

The test.

Logs the generation of a fixture.

The fixture.

Logs a generated file.

The kind. Name of the item. Name of the file.

Logs a generated file

Logs a goal

Logs an explorable event.

The instance containing the event data.

Gets a value indicating whether progress logging enabled.

true if [progress enabled]; otherwise, false.

Logs progress.

The progress.

Log a reflection error.

Name of the target. Name of the attribute. The wiki topic. The code update. The message.

Log a reflection error.

Name of the target. Name of the attribute. The wiki topic. The code update. The message. The args.

Log a reflection error.

Name of the target. Name of the attribute. The wiki topic. The ex.

Log a reflection warning.

Name of the target. Name of the attribute. The wiki topic. The code update. The message.

Log a reflection warning.

Name of the target. Name of the attribute. The wiki topic. The code update. The message. The args.

Log a reflection warning.

Name of the target. Name of the attribute. The wiki topic. The ex.

Log a reflection event.

The instance containing the event data.

Assembly event args

Gets the file header.

The file header.

Gets the name of the assembly.

The name of the assembly.

Gets the assembly (not serialized)

The assembly.

Initializes a new instance of the class.

The assembly.

Assembly event args

Gets the file header.

The file header.

Gets the name of the assembly.

The name of the assembly.

Gets the assembly (not serialized)

The assembly.

Initializes a new instance of the class.

The assembly.

Assembly Name Event Args

Gets the short assembly name

Constructor for assembly event arguments

Fixture event args

Gets the fixture.

The fixture.

Initializes a new instance of the class.

The fixture.

Fixture event args

Gets the fixture.

The fixture.

Initializes a new instance of the class.

The fixture.

Exploration event args

Only used for de-serialization of log files

Name of the exploration. if set to true [is dynamic code]. The target, may be null.

Initializes a new instance of the class.

The exploration.

Gets the exploration.

The exploration.

Gets the method.

The method.

Gets a value indicating whether the exploration was generated dynamically.

Tries to get the target name.

The target.

Exploration event args

Constructor

Name of the exploration.

Gets the exploration.

The exploration.

Exploration result event args.

Gets the result.

The result.

Initializes a new instance of the class.

The result.

Result event args.

Gets the result.

The result.

Initializes a new instance of the class.

The result.

Existing test event args

Gets the existing test.

The existing test.

Initializes a new instance of the class.

The existing test.

Generated test event args

Gets the generated test.

The generated test.

Initializes a new instance of the class.

The generated test.

Reflection event event args

Gets the reflection event.

The reflection event.

Initializes a new instance of the class.

the list of exploration method names if any

Generated fixture event args

Gets the generated fixture.

The generated fixture.

Initializes a new instance of the class.

The generated fixture.

IntelliTest generated file kind

XML report

HTML report

test fixture

test project

coverage

xml coverage data

Generated file event args

Gets the file kind.

The kind.

Gets the name of the item.

The name of the item.

Gets the name of the file.

The name of the file.

Gets the relative file name

Initializes a new instance of the class.

The kind. Name of the item. Name of the file. Relative file name

Progress event args

Initializes a new instance of the class.

The progress.

Gets the progress information.

The progress.

IntelliTest event source

Occurs before execution.

Occurs after execution.

Occurs before reflection.

Occurs after reflection.

Occurs before an assembly is processed.

Occurs after an assembly is processed.

Occurs before an assembly is processed.

Occurs after an assembly is processed.

Occurs before a fixture is processed.

Occurs after a fixture is processed.

Occurs before a fixture is processed.

Occurs after a fixture is processed.

Occurs before an exploration is processed.

Occurs when an exploration is processed.

Occurs after an exploration is processed.

Occurs before an exploration is processed.

Occurs when an exploration is processed.

Occurs after an exploration is processed.

Occurs when an assembly is setup.

Occurs when an assembly is torn down.

Occurs when a fixture is setup.

Occurs when a fixture is torn down.

Occurs when a method is setup.

Occurs when a fixture is torn down.

Occurs when a test is generated.

Occurs when an existing test is found.

Occurs when an existing test was tagged as duplicate

Occurs when an existing test cannot be found.

Occurs when a test is generated.

Occurs when a fixture is generated.

Occurs when a file is generated.

Occurs occasionally.

Occurs when an explorable event is raised.

Occurs when a goal is reached or missed

Raised on reflection events

A filter of explorable events.

Applies the filter

Type of the explorable. The kind. whether to filter out this event

An IntelliTest package that receives execution events

Performs initialization actions that may query services.

The host. some data

Performs finalization actions that may query services.

The host. The data returned by .

A service that manages packages

Reflects packages from a particular assembly

Gets the packages.

The packages.

Gets assemblies containing additional packages and decorators

Gets the type annotated with packages

Determines whether the package has been loaded.

When the package is not found, tries to find a PexPackageAssembly attribute in the target assembly The assembly. Name of the package attribute.

Adds a collection of locatable packages

For internal use

Gets the package types, i.e. types that have a attribute attached to it.

Instance that provides additional package assemblies

Gets a list of assemblies containing additional packages

A package with a location where it was defined.

The location where the package was defined.

The location.

The package.

The package.

Initializes a new instance of the class.

The location. The package.

A package with a location where it was defined.

The location where the package was defined.

The location.

The package.

The package.

Initializes a new instance of the class.

The location. The package.

IntelliTest path package

A path package can be installed at the level of the tracing of an execution path.

Gets the name.

The name.

This method provides the opportunity install or substitute services; no services may be queried at this time.

The path container.

Performs initialization actions that may query services.

The host. some data

Performs finalization actions that may query services.

The host. The data returned by BeforeRun.

A package with a location where it was defined.

The location where the package was defined.

The location.

The package.

The package.

Initializes a new instance of the class.

The location. The package.

Collection of locatable packages

IntelliTest package

This package can be installed globally in IntelliTest.

Gets the name.

The name.

This method provides the opportunity install or substitute services; no services may be queried at this time.

The engine container.

This method provides the opportunity to query services and interact with them.

IntelliTest exploration package

An exploration package can be installed at the level of an exploration.

Gets the name.

The name.

This method provides the opportunity install or substitute services; no services may be queried at this time.

The exploration container.

Initializes the specified exploration package. May interact with services.

The host.

Performs initialization actions that may query services.

The host. some data

Performs finalization actions that may query services.

The host. The data returned by BeforeExploration.

A path executor

Try to execute this path

Path segment callbacks

Marks the begin of a path.

Sets the current sequence id.

A path condition is a sequence of conjuncts; this sequence can be split into segments.

Marks the end of the path.

Logs an uninstrumented call.

The code label. The signature. The arguments.

Path execution result

The branch coverage.

The execution path.

If this path did not execute to the end, this field indicates the execution node which must be tried or abandoned. Otherwise, this field is null.

List of method invocations.

Substitution.

Exception, if any.

Exception type, if any.

Exception term, if any.

Number of executed .

Gets the path execution result kind.

The kind.

Gets a value indicating whether this execution path has been observed before.

Gets a value indicating whether the stack trace of the exception (if any) has been observed before.

Initializes a new instance of the struct.

The kind. The node to retry or abandon. The branch coverage. if set to true [is duplicate path]. if set to true [is duplicate exception]. The path. The invocations. The substitution. The exception. Type of the exception. The exception term. The executed invocations.

IntelliTest path execution result

Gets the path execution result kind.

The kind.

Gets a value indicating whether this execution path has been observed before.

IntelliTest path execution result kind

Normal termination

Exception

Monitoring stopped

Assumption violation

Retry

Minimization request

Generated image

Initializes a new instance of the class.

The file. The size.

Gets the file name.

The file.

Gets the size.

The size.

Post analysis controller

Add the necessary components for executing this post analysis step

the engine

Checks whether this controller should be run

Whether the test path is a failure or not The status of the test The result of the path execution

A manager for post analysis

Register a controller for the post analysis

the post analysis controller

Execute all post analysis

Whether the test path is a failure or not The status of the test The result of the path execution

Interface which controls what information is tracked.

Obtains an id for the next frame created in a particular thread.

How to treat the arguments of a frame.

The thread. The frame id. The method.

Passes on the derived arguments.

The array may be mutated later by the caller, and must be cloned if the callee wants to preserve it.

Passes on the tracked arguments, if any.

The array may be mutated later by the caller, and must be cloned if the callee wants to preserve it. Depending on the mode, some arguments may in fact be derived.

A frame is disposed.

The frame id. The frame.

Callback to indicate that an unaccounted exception was witnessed in a frame.

Callback to indicate that exceptions occurred in a frame.

Obtains an id for the next call in a particular thread.

The thread id. The MSIL offset in the current method were the call was initialized. The method signature. The var arg types. The arguments.

Cancels an initiated call; no callbacks to or or will follow for this id.

The thread. The call id.

How to treat the results of a call.

The thread. The call id. The method signature. The var arg types. if the result of the call could be derived, or if the call has no result.

Passes on the derived result.

The call id. The method signature. The var arg types. The result.

Passes on the derived result.

The call id. The method signature. The var arg types. The result.

Callback invoked whenever a non-trivial path condition is added to the path condition builder.

The condition. The codeLabel in the currently active method.

IntelliTest tracking engine factory

Creates the tracking engine.

The controller.

Argument tracking mode

Use concrete argument values

Use argument values derived from the computations of the calling context

Introduce new symbols to track the arguments in this method

Introduce new symbol to track the this argument

Introduce new symbols to track all arguments but the this argument

Result tracking mode

Use concrete argument values, or, when available, argument values derived from the computations of the calling context

Introduce new symbols to track the results of this method

Id for tracked values.

Tracked parameter.

Creates an instance of this type.

The parameter.

Textual description of the symbol.

The layout of the symbol.

When the object (or all objects within this value) was created.

Gets the parameter; may be null

Determines whether the specified is equal to the current .

The to compare with the current . true if the specified is equal to the current ; otherwise, false.

Serves as a hash function for a particular type. is suitable for use in hashing algorithms and data structures like a hash table.

A hash code for the current .

Returns a that represents the current .

A that represents the current .

Id for tracked values.

The caller method.

The caller MSIL offset.

Gets the caller location.

The caller location.

Tracked method signature.

Tracked var-arg types; can be null if the does not have var arg calling convention.

Creates an instance of this type.

The caller method. The caller MSIL offset. The method signature. The var arg types.

Textual description of the symbol.

The layout of the symbol.

When the object (or all objects within this value) was created.

Determines whether the specified is equal to the current .

The to compare with the current . true if the specified is equal to the current ; otherwise, false.

Serves as a hash function for a particular type. is suitable for use in hashing algorithms and data structures like a hash table.

A hash code for the current .

Returns a that represents the current .

A that represents the current .

A frame which supports tracking of data- and control-flow.

Gets the tracking controller.

The tracking controller.

Creates an instance of this class.

Begins the call.

The offset. The signature. The var arg types. The call arguments.

Indicates that a call has finished. Afterwards, IsCallInprocess returns false.

The code label. End call kind Only allowed if IsCallInprocess.

Called whenever an exception is witnessed during the processing of a frame. (This call is used to record the correct stack trace, if not cached yet.)

The exception.

When an exception is witnessed, and it is not marked as an expected exception, then the exception probably indicates an error in the program.

Disposes this instance.

TrackingPathConditionBuilder

Creates a new instance of .

Gets a term that represents the conjunction of all path condition conjuncts.

The condition.

Gets a list of all recorded path condition conjuncts.

The raw conditions.

Tries to get get the last condition.

The condition.

Gets a marker indicating the last path condition conjunct.

Undoes added path condition conjuncts, to the point given by the marker obtained from .

The marker.

Clears all recorded path condition conjuncts.

Gets the path condition between two markers (first include, second exclusive) obtained from .

The begin marker. The end marker.

Gets the path conditions conjuncts between two markers (first include, second exclusive) obtained from .

The begin marker. The end marker.

Adds a path condition

The call stack trace. position in method whether the positive form of the condition is to be added value that has

Enters a frame; always followed by .

Leaves a frame.

A code position has been reached, but there is no further condition attached to the position.

Indicates that this path is infeasible.

position in method

An uninstrumented call terminated normally.

The code label. The signature. The arguments.

The path condition builder should not gather any more information.

Adds a request to minimize a I4/I8 value.

The code label. The number. boolean that indicates whether this is the first time that the minimization request was encountered

Checks whether a value is likely to be a loop bound.

The number. boolean that indicates whether this number is likely to be a loop bound.

Tries to the get current path condition info.

The info.

Reduces the given value, taking into account the path condition.

A state which supports tracking of data- and control-flow.

Gets the tracking controller.

The tracking controller.

Restarts the object field maps.

Restarts the fields of a given reference.

The reference. The type.

Gets an existing thread with the given index.

A thread which supports tracking of data- and control-flow.

Gets the tracking controller.

The tracking controller.

Creates an instance of this class.

The state. The thread id.

Creates a new stack frame that is going to be pushed on the stack.

An interface that allows to decide to not prepare some types

Gets a value indicating if the type definition should be ignored

Manager that handles prepared types along a path

Gets a value indicating if the type needs to be prepared

A preparable instance

Gets the type definition for which this preparable is active

Gets the method definition that should be added to the current method sequence

Instantiates the preparable method definition for the given generic context

A manager for preparable types

Adds a provider of preparable definitions (on demand)

Gets the preparable providers

Adds a preparable to the manager

Gets the current list of preparables

Adds a preparable filter

Gets the registered filters

Gets a value indicating if the type definition is preparable

Tries to get the preprables for the given type

A provider of preparable definitions

Tries to get the preparables for the given type to the provider

An instantiated preparable definition

Initializes a new instance of the preparable

Gets the definition

Gets the prepared method that should be added to the method sequence

Gets a value inicating if two preparables are equivalent

Gets an integer representing the instance

Default implementation of IPexPreparableDefinition

Initializes the instance

Tries to create an preparable definition

Instantiates the preparation method for the given generic arguments

Gets the preparable type

Gets the preprable method

Gets a value indicating if the instance is equal to obj

Gets a value indicating if the other is equal to the current instance

Gets the hashcode of this particular instance

A factory for instance

Gets the name of the factory

Creates the reflector.

The host. The test framework.

An IntelliTest reflector

Reflects the specified assembly.

The assembly. The test assembly.

Retrieves auxiliary assembly definition builders; the reflected explorations might refer to these assemblies.

A manager for reflector instance

Adds the reflector factory.

The factory.

Gets the reflector factories.

The reflector factories.

Creates the default reflector

Tries to create a reflector instance with the specified filters

The name. The test framework. The reflector.

Interface providing a set of standard search frontiers.

A frontier that never selects any node.

Combines search frontiers using a round-robin scheme

The search frontiers.

Combines search frontiers such that frontiers at the beginning of the list are exhausted before drawing nodes from a frontier further to the end of the list.

The search frontiers.

A frontier that makes sure that some nodes with the smallest depth are used.

When during the search a node with a smaller depth is discovered, counting starts again. Thus, in total, this frontier may remove more than count nodes. How many nodes with the smalltest depth will be removed.

A frontier that makes sure that every shortest path through all individual branches are used.

A frontier which always processes less visited branches first.

A random value generator. The weight provider. Whether the use the fittest frontier by default. auxiliary frontiers

A frontier which always processes less visited branches first.

A random value generator. The weight provider. whether to include the fittest frontier by default. auxiliary frontiers

A frontier which chooses branches that the "fittest".

Creates a random pick frontier

The random.

Creates a stack frontier

Creates a queue frontier

Creates an iterative deepening frontier

The random.

Creates an iterative narrowing frontier

The random.

Wraps a frontier such that critical errors in the frontier such as OOM are handled gracefully.

The search frontier.

Creates a depth prioritized frontier

The random. The inner frontier factory.

Creates a custom prioritized frontier

The random. The locator. The inner frontier factory.

Creates a code location prioritized frontier

The random. The search weight provider (may be null). The inner frontier factory.

Creates a code location prioritized frontier

The random. The code location whose frequency should be used to prioritize. The inner frontier factory.

Creates a special frontier

The random. The cap. The max cap. The inner frontier factory.

Creates a special frontier

The random. The cap. The max cap. The inner frontier factory.

Creates a frontier prioritized by stack trace

The random. The inner frontier factory.

Interface to determine the weight of code locations for a prioritized frontier search

Returns the weight of a branch from code location in the search.

positive value

A search frontier decides in which order the search is performed.

Adds a node; node was not present before

Removes a node; node was present before

The node. if set to true [used].

Update the location of a node; node was present before

Checks whether a node is already contained

Attempts to remove a node, and returns the node

Skip many nodes to make search faster by giving up completeness

number of skipped nodes

Whether the frontier is not empty or does not have a memory.

Dumps some statistics.

The writer. relevant for nested frontiers

Polls whether this frontier is making progress, and should be given higher priority.

If a frontier keeps making progress, it may starve other frontiers.

A manager for search frontiers

Adds a new search frontier, to be used in a round-robin fashion with all other search frontiers.

Sets the main search frontier; cannot be combined with anything else.

Whether the fittest frontier should not be used by default.

Combines and create the frontiner

Factory method for inner frontiers.

Service at the exploration level that manages properties of states at the path level.

Adds an object mapping.

The term. The concrete object.

Gets the object mappings.

The initial object mappings.

Interface to register memory map symbols ids and memory addresses as roots to the constraint solver

Only if symbols have been declared as roots, the constraint solver will find an assignment for them.

Registers a memory map with the constraint solver.

The symbol id.

Registers a memory address with the constraint solver.

The address. The element layout.

Registers a typed map with the constraint solver.

The typed map id.

Registers the allocated map with the constraint solver.

The allocated map id.

Index into memory map symbol ID.

Element layout

Initializes a new instance of the class.

The term manager. The term. The element layout.

Checks equality with the specified other.

The other.

Serves as a hash function for a particular type.

A hash code for the current .

Constructor

Gets the assembly

Get the fixure driver

Executes the assembly setup steps

The setup method true if the steps succeeded; false otherwise

Executes the assembly tear down steps

The tear down method true if the steps succeeded; false otherwise

Constructor

Constructor

instance can be null

Executes the fixture setup steps

The setup method true if the steps succeeded; false otherwise

Executes the fixture tear down steps

The tear down method This method is guaranteed to be called if TryFixtureSetup succeeds and returns true. true if the steps succeeded; false otherwise

Gets the exploration driver

Gets the fixture type associated with this instance

Test framework manager

Adds the specified test framework.

The test framework.

Gets the loaded test frameworks.

The test frameworks.

Gets or sets the default test framework.

Must be added to the test framework list first

Tries to guess a test framework from a list of assembly references

Tries to get a named test framework, or it guesses a default framework if the name is null.

The name. The test framework.

Abstract base class for test framework using custom attributes

Initializes a new instance of the class.

Gets all the necessary references for the test framework

Gets all the necessary references for the test framework (uncached)

Gets the framework main assembly name

Tries to get the assembly name

Determines whether the specified target is fixture.

The target. true if the specified target is fixture; otherwise, false.

Gets a value indicating whether the test framework uses custom attributes.

Determines whether the specified method is test.

the fixture type The method. true if the specified method is test; otherwise, false.

Gets a value indicating whether this test framework supports test reflection.

Marks as test class.

The type.

Gets the set of custom attribute that are used to mark a test class

Marks the test method.

The current exploration. The test. The method.

Gets the set of custom attributes to specify that a method is a test

The test.

Marks the method as ignored.

The method. The message.

Gets the set of custom attributes that are used to specify that a test is ignored

Whether the ignore attribute constructor takes a message as its first argument.

Tries to marks a test method as expecting a particular exception type

The visibility. The method. The exception.

Tries to get the set of custom attributes that are used to specify that a test is expected to throw a particular exception

The visibility. Type of the exception. The attributes.

Emits code to make the test inconclusive

The body. The message.

Gets the method name that triggers an inconclusive exception

Gets a list of attribute that should be duplicated from the generated test to the parameterized test

Copies satellitate attributes over to generated test

The attributes. The generated test method.

Tries to query the fixture setup teardown methods.

The type. The fixture setup. The fixture teardown. The test setup. The test teardown.

Verifies the reflect set up tear down method.

Type of the method. The set up tear down attribute. The current method. The method definition. The attribute.

Gets a value indicating whether fixture set up tear down are instance methods.

true if [fixture set up tear down instance]; otherwise, false.

Gets the name of the fixture attribute

The fixture attribute.

Gets the name of the fixture setup attribute

The fixture set up attribute.

Gets the name of the fixture teardown attribute

The fixture tear down attribute.

Gets the name of the test setup attribute.

The set up attribute.

Gets the test attribute.

The test attribute.

Gets the name of the test teardown attribute.

The tear down attribute.

Gets the ignore attribute.

The ignore attribute.

Gets the ExpectedException attribute.

The expected exception attribute.

Tries to read the expected exception.

The method. Type of the exception.

Determines whether the fixture is ignored

The test selection. Type of the fixture. The message. true if [is fixture ignored] [the specified test selection]; otherwise, false.

Determines whether the test is ignored

The test selection. The method. The message. true if test should be ignored; otherwise, false.

Gets the ignore message property name.

The ignore message property.

Gets the expected exception property name.

The expected exception property.

Tries to query the categories.

The element. The names.

Determines whether the specified test selection is ignored.

The test selection. The element. The message. true if the specified test selection is ignored; otherwise, false.

Gets the root namespace.

The root namespace.

Creates a code update that removes the existing unit test attribute, and puts PexMethod instead

Definition of a managed test framework

Gets the name that uniquely identifyies of the test framework

This name may not contain spaces.

Gets the name to be shown in user interfaces.

Tries to get the assembly name of the framework's main assembly if any. This name is used to automatically discover test frameworks, based the assembly references

Tries to get the directory where the test framework assemblies are located

Test generation is about to start

Finished test generation and passes addiotional code if necessary

The embedded code. true if anything has to be serialized This code is serialized at the end of the test generation process

Gets a value indicating whether partial test classes

Gets a value indicating if this test framework supports static test methods

Gets a value indicating whether this test framework supports test reflection.

Gets a value indicating whether this test framework supports the desktop CLR

Marks as test class.

The type.

Marks the test method.

The exploration that generated the test The test. The method.

Marks the method as ignored.

The method. The message.

Tries to marks a test method as expecting a particular exception type

The visibility. The method. The exception.

Tries to annotate the test method so that it runs hosted.

Tries to annotate the test method with a priority

Tries to annotate the test method with an owner

Emits code to make the test inconclusive

The method. The message.

Determines whether the target should be considered as test code

The target.

Determines whether the target is contains tests.

The target. true if [is test fixture] [the specified target]; otherwise, false.

Determines whether the specified method is a unit test.

the fixture type The method. true if the specified method is test; otherwise, false.

Determines whether the specified method is a parameterized unit test.

the fixture type The method. true if the specified method is a parameterized test; otherwise, false.

Tries to read the expected exception type from a ExceptionException attribute (or other decorator).

The method. Type of the exception.

Determines whether the fixture is ignored

The test selection. Type of the fixture. The ignore message. true if [is fixture ignored] [the specified test selection]; otherwise, false.

Determines whether the test is ignored

The test selection. The method. The ignore message. true if test should be ignored; otherwise, false.

Tries to get the assembly set up tear down methods.

The assembly. The setup. The teardown.

Tries to query the fixture setup teardown methods.

The type. The fixture setup. The fixture teardown. The test setup. The test teardown.

Gets the type of the assertion exception.

The type of the assertion exception.

Gets the assertion exception constructor that takes a string

Gets the type to specify inconclusive tests

Gets the type of the assumption exception.

The type of the assumption exception.

Tries to query the stack frame filter.

The filter.

Tries to query the uninstrumented method filter.

The filter.

Gets a value indicating whether the test framework uses custom attributes.

Gets all the necessary references for the test framework

Gets the set of assemblies that should be instrumented for this test framework

Tries to provide the template name and language to create a new project in Visual Studio.

The language. Name of the template. Name of the language. A list unwanted files that should be deleted once the template has run

Gets a value indicating if the test framework supports the given bitness

Gets all the GUIDs associated with the test project type

Tries to create a codeupdate to convert a unit test method into a 'pex' parameterized method.

Tries to emit an assertion that checks that to values are equal. Typically something like Assert.AreEqual<T>(expected, actual). Both values have been pushed on the stack.

The builder. The type.

Tries to emit an assertion that checks that to values are not equal. Typically something like Assert.AreNotEqual<T>(expected, actual). Both values have been pushed on the stack.

The builder. The type.

Tries to emit an assertion that checks whether a condition is true. Typically something like Assert.IsTrue<T>(condition). The condition has been pushed on the stack.

The builder.

Tries to emit an assertion that checks whether a reference is null. Typically something like Assert.IsNull<T>(object). The object has been pushed on the stack.

The builder.

Tries to emit an assertion that checks whether a reference is not null. Typically something like Assert.IsNotNull<T>(object). The object has been pushed on the stack.

The builder.

Tries to executes the list of unit tests in and returns the execution result.

The assembly location. The tests. The output path. The test results.

Called before adding types to a fixture

Called before serializing a fixture to disk

Gets the assembly driver

Gets the assert methods of this test framework.

The assert methods.

Gets the assert method filters of this test framework.

The assert methods filters.

The result of a unit test execution

The test to execute

Execution result

Initializes a new instance of the struct.

The test. The state.

Abstract base class for test framework implementation

Initializes a new instance of the class.

Gets a value indicating whether the test framework uses custom attributes.

identify of the test framework

Gets the name to be shown in user interfaces.

Tries to get the assembly name of the framework main's assembly. This name is used to automatically discover test frameworks, based the assembly references

Gets the assembly runner

Tries to get the test framework directory

Adds all the necessary references for the test framework

Gets the set of assemblies that should be instrumented

This needs to be overridden to add assemblies that need to be instrumented other than the test framework main assembly.

Test generation is about to start

Afters the generation.

true if anything has to be serialized This code is serialized at the end of the test generation process

Befores the fixture.

Type of the fixture.

Afters the fixture.

Type of the fixture.

Gets a value indicating whether partial test classes

Gets a value indicating if this test framework supports the Desktop CLR

Gets a value indicating if this test framework supports static test methods

Gets a value indicating whether this test framework supports test reflection.

Marks as test class.

The type.

Marks the test method.

The exploration that generated the test. The test. The method.

Marks the method as ignored.

The method. The message.

Tries to annotate the test method with a priority

Tries to annotate the test method with an owner

Tries to marks a test method as expecting a particular exception type

The visibility. The method. The exception.

Emits code to make the test inconclusive

The body. The message.

Determines whether the target is contains tests.

The target. true if [is test fixture] [the specified target]; otherwise, false.

Determines whether the target should be considered as test code

The target.

Determines whether the specified method is a unit test.

the fixture type The method. true if the specified method is test; otherwise, false.

Determines whether the specified method is aparameterized unit test.

the fixture type The method. true if the specified method is test; otherwise, false.

Tries to read the expected exception type from a ExceptionException attribute (or other decorator).

The method. Type of the exception.

Determines whether the fixture is ignored

The test selection. Type of the fixture. The ignore message. true if [is fixture ignored] [the specified test selection]; otherwise, false.

Determines whether the test is ignored

The test selection. The method. The ignore message. true if test should be ignored; otherwise, false.

Tries to annotate the test method so that it runs hosted.

The test method.

Tries to get the assembly set up tear down methods.

The assembly. The setup. The teardown.

Tries to query the fixture setup teardown methods.

The type. The fixture setup. The fixture teardown. The test setup. The test teardown.

Gets the type of the assertion exception.

The type of the assertion exception.

Gets the type to specify inconclusive tests

Gets the assertion exception string ctor.

Gets the type of the assumption exception.

The type of the assumption exception.

Tries to query the stack frame filter.

The filter.

Tries to query the uninstrumented method filter.

The filter.

Tries to provide the template name and language to create a new project in Visual Studio.

The language. Name of the template. Name of the language. A list unwanted files that should be deleted once the template has run

Gets a value indicating if the framework supports the given bitness

Gets all the GUIDs associated with the test project type

Returns a that represents the current .

A that represents the current .

TODO: Review uses of this method.

The type. The method definition.

Tries to create a codeupdate to convert a unit test method into a 'pex' parameterized method.

Tries to emit an assertion that checks that to values are equal. Typically something like Assert.AreEqual<T>(expected, actual). Both values have been pushed on the stack.

The builder. The type.

Tries to emit an assertion that checks whether a condition is true. Typically something like Assert.IsTrue<T>(condition). The condition has been pushed on the stack.

The builder.

Tries to emit an assertion that checks whether a reference is null. Typically something like Assert.IsNull<T>(object). The object has been pushed on the stack.

The builder.

Tries to emit an assertion that checks whether a reference is not null. Typically something like Assert.IsNotNull<T>(object). The object has been pushed on the stack.

The builder.

Tries to emit an assertion that checks that to values are not equal. Typically something like Assert.AreNotEqual<T>(expected, actual). Both values have been pushed on the stack.

The builder. The type.

Tries to get the appropriate 'AreEqual' method for a particular type. Implement this method to provide a customized assert method, otherwise IntelliTest will use PexAssert.AreEqual.

Tries to get the appropriate 'AreNotEqual' method for a particular type. Implement this method to provide a customized assert method, otherwise IntelliTest will use PexAssert.AreNotEqual.

Tries to get the appropriate 'IsTrue' method. Implement this method to provide a customized assert method, otherwise IntelliTest will use PexAssert.IsTrue.

The method.

Tries to get the appropriate 'IsNull' method. Implement this method to provide a customized assert method, otherwise IntelliTest will use PexAssert.IsNull.

The method.

Tries to get the appropriate 'IsNotNull' method. Implement this method to provide a customized assert method, otherwise IntelliTest will use PexAssert.IsNotNull.

The method.

Tries to executes the list of unit tests in and returns the execution result.

The assembly location. The tests. The output path. The test results.

Gets the assert methods of this test framework.

The assert methods.

Gets the assert method filters of this test framework.

The assert methods filters.

A filter for test frameworks

Initializes a new instance of the class.

The included categories. The excluded categories.

Gets a value indicating whether this instance has any non-null categories.

Gets the optional included categories.

The included categories.

Gets the optional excluded categories.

The excluded categories.

Executes setup and teardown methods of an assembly

Executes the assembly setup steps

The setup method true if the steps succeeded; false otherwise

Executes the assembly tear down steps

The tear down method true if the steps succeeded; false otherwise

Gets the fixture runner

Gets the assembly

Executes an exploration

Tries to execute the test method setup

the test method

Tries to execute the test tear down

the test method

Executes a fixture

Executes the fixture setup steps

The setup method true if the steps succeeded; false otherwise

Executes the fixture tear down steps

The tear down method This method is guaranteed to be called if TryFixtureSetup succeeds and returns true. true if the steps succeeded; false otherwise

Gets the exploration driver

Gets the fixture type associated with this instance

Helper interface for test framework

Executes an assembly

Executes assembly setup method.

Returns false only when there is a setup method and it fails

Executes assembly tear down method

Returns false only when there is a teardown method and it fails

Executes fixture setup method

Returns false only when there is a setup method and it fails

Executes fixture tear down method

Returns false only when there is a teardown method and it fails

Executes test setup method

Returns false only when there is a setup method and it fails

Executes test teardown method

Returns false only when there is a teardown method and it fails

Various things about updates

Tag used in fixit

Default file name to drop IntelliTest assembly level attributes.

Static class with environment settings

internal environment variable to turn on/off logging messages that indicate whether heuristic arithmetic solving events should be logged

How many array elements to write at most.

The maximum length of generated metadata names such as type names, method names, etc...")

The maximum length of generated unit test names

Name of the environment variable to disable F# packages

Disables the F# built-in packages

Disables the Contracts built-in packages

Logs each detour taken by the program

Whether to enable extensive additions to the PexDisposableContext

Generated test result status

Normal termination

Exception

Expected exception

Inconclusive exception

Missing exception

PathBoundsExceeded

Assumption violation

Retry

Minimization request

System.Environment.Exit call

Duplicate path

Result on an execution path

Result state.

Duration.

Console output

Console error output

Trace output

Initializes a new instance of the class.

The state. The duration. The console output. The console error. The trace output

Gets a value indicating whether this result has output.

Dump result to tree writer

A sequence id that represents a method call that is part of the creation of an object by exploration

Gets the explorable sequence

The explorable sequence.

Number indicating how many object explorations are before this instance

Gets the mutator index; -1 indicates ; non-negative values are indices into .

The index.

Number indicating the distance to the root exploration sequence id.

The distance.

Searcher

Gets the initial execution signature.

The initial execution signature.

Gets the initial execution node associated with the .

The initial node.

The execution graph builder.

The exploration strategy.

The input enumerator.

Gets all relevant path engines. These engines are enumerated lazily, as the execution graph fills up.

Marks an execution path as abandoned.

Marks an execution path as final (and neither abandoned not retry).

Indicates that an execution path should be tried again later.

Adds an exception type to a list. Returns true iff the exception type was added for the first time.

Indicates that a prefix of an execution signature was executed successfully.

Called when the search is over.

Dumps statistics.

Provides the current tests IntelliTest assembly

Gets the assembly.

The assembly.

Gets the assembly settings

Reflects the instrumentation only.

The assembly. The settings assemblies. The generated test assembly.

Exploration service that generates unique test names

Tries to produce a nice name for the test

The test. Name of the test.

Test namer manager

Clears all the test namers

Adds the test namer.

The namer.

Gets the test namers.

The test namers.

Creates the name of the test.

The test.

Test exploration generator

Gets a value indicating whether this is opened.

true if opened; otherwise, false.

Closes this instance.

Publishes the test.

The test.

Creates the test method.

whether the generated test is static

Removes the test method.

The method.

IntelliTest test hasher

Determines whether test hashing is supported

Hashes the specified method type.

Type of the fixture. The exploration method. The method. Type of the exception. if set to true [is failure].

Hashes the specified generated test.

The test.

IntelliTest test organizer

Initializes this instance.

Adds auxiliary assembly builders that must be embedded in the generated tests

Begins the test generation.

Finishes the test generation.

Gets the visibility context of tests located in the given fixture type.

Type of the fixture.

Gets the visibility of fixtures

Gets the project.

The project.

Creates the exploration generator.

The exploration.

Test method generator

Tries to add the test case.

host The this reference object id. The run. The exception. Whether the test represents a failure. The exception validator if any. optional if isFailure; may provide additional information about failure optional if isFailure; may point to a wiki topic why this failure was tagged as a failure The result. State of the exception. The status. observed values objects which have been moled Suggestions The runtime context rollbacks. The path assumption. The path condition. Whether the method body cannot be compiled. Whether the test method body involves more that simply passing parameters. For example, object creation or oracle choices. Whether the test uses Trace. The boundary code update, if any. The boundary details, if any. The coverages if any. generated test

Tries to the generate test method.

The this reference object id. Object instances which have been moled. The observed values The test method. Whether the method body cannot be compiled.

Gets the code creation context

Removes a test method.

The method.

Test (generated and existing) manager

Tries to get the type that holds the generated tests of an exploration.

Gets the exploration methods for which there are existing tests.

The assembly.

Gets the existing tests of a particular exploration method.

The exploration method.

Notifies that one of the existing tests for the exploration is a duplicate

Adds an assembly that contains existing test. The test manager will reflect existing tests from this assembly when initializing.

Gets the list of assemblies from which the existing tests are loaded

Gets the test framework.

The test framework.

Gets the test selection.

The test selection.

Gets the visibility context of the fixture members.

Type of the fixture.

Gets the visibility context of the fixtures

Gets the organizer.

The organizer.

Gets the source encoding.

The source encoding.

Gets the code emission language

Prepares the organizer

Reflects this instance.

Reflects existing tests from this instance. Requires explorations already reflected

Updates the existing test generators.

Finishes the test generation.

Opens the exploration.

The exploration.

Creates the test method.

Removes the test method.

The method.

Publishes the test.

The test.

Compiles and executes project if options allow it.

Gets the generated tests.

The generated tests.

A filter for member whose value could be asserted

Gets a value indicating if the members of the type should *not* be asserted

Gets a value indicating if the value of the field should *not* be asserted

Gets a value indicating if the value of the property should *not* be asserted

A manager for assertion filters

Adds an assertion filter

Gets the assertion filters

Gets a value indicating if the value of the member should be not asserted

Gets a value indicating if the value of the member should be not asserted

Gets a value indicating if the value of the member should be not asserted

Code creation context

The visibility context for which to create code

Instance used to create new object names

Creates a local builder, which can eventually be published.

Settings for the current generated test

Tries to get a value indicating if the test should be ignored

Marks the test as ignored with a specific error message

Gets a value indicating if the test should be hosted. This property can only be set to true.

Markes the test as hosted

Generic arguments provider

Gets the generic argument tuples.

Provides information about the current exploration

Gets the exploration.

The exploration.

Gets the settings.

The settings.

Gets the merged exploration packages.

Gets the merged exploration packages.

Tries to get the merged search priority.

The method. The priority.

Provider of .

Gets the requests.

The requests.

Method invocation

/// Identifier to mark a point in the execution

Gets the Sequence Id.

If the method is an instance method, whether the first argument should be used to perform a vtable lookup

Gets a boolean value corresponding to whether the first argument should be used to perform a vtable lookup.

Method to be invoked

Gets the method to be invoked.

Arguments to method

A symbol representing the result of the invocation; could be used in arguments of future invocations;

Gets the Result of the invocation.

Initializes a new instance of the class.

The sequence id. Whether a v-table lookup may be performed. The method. The result, if method's return type is not void. The arguments.

Returns the fully qualified type name of this instance.

A containing a fully qualified type name.

A request to invoke a method with contextual instructions

The requested method invocation

Gets the requested method invocation.

The type this invocation is supposed to create; if any.

Gets the type this invocation is supposed to create, if any.

Whether all exceptional results should be treated as assumption violations.

Gets a boolean value corresponding to whether or not all exceptional results should be treated as assumption violations.

Initializes a new instance of the class.

The method invocation. Type this invocation is supposed to create, if any. Whether the exception should be regarded as an assumption violation.

Returns the fully qualified type name of this instance.

A containing a fully qualified type name.

Interface to inspct the heap

Reads an array element of a zero-based array.

The layout. The array. The index.

Reads an array element of a multi-dimensional array.

The layout. The array. The indices.

Reads an object field.

The object. The field.

A solution is a thin wrapper around a model.

Gets the method invocations.

The method invocations.

Returns the model for a symbol; result may be arbitrary if symbol is not part of model equality graph.

Returns the model for a term; result may be arbitrary if term is not part of model equality graph.

Dumps the solution out to a text file for debugging purposes.

IntelliTest report manager

Gets the file extension (including the dot) of the xml report

Gets the xml report file name

Gets the dialog filter to select xml reports

Gets the coverage path.

The coverage path.

Gets the fixture output path.

The fixture output path.

Gets the fixture path.

The fixture path.

Gets the exception tree xml path

Gets the exception tree html path

Gets the previous report directories.

Gets the relative coverage file name.

Name of the file.

Gets the relative fixture HTML report file name.

The fixture.

Gets the relative test source file name.

Name of the file.

Gets the last test path.

The last test path.

Relativizes the path to report path.

The path.

Relativizes the path to startup path.

The path.

Gets the report file name.

The report.

Gets the report URI.

The report URI.

Gets the test path.

The test path.

Tries to get the last XML report.

The last XML report.

Gets the XML report file name.

The XML report.

Get the slimmed XML report file name.

Generates the reports.

Gets the fixture XML report file name.

The fixture.

Generates the IntelliTest report.

Publishes the IntelliTest report.

Progress information

Gets the pretty name of the current exploration

Gets the total number of explorations

Gets the current exploration count

Gets the current execution duration

Gets the current exploration duration

Gets the generated test count

Gets the generated failing test count

Gets the generated duplicate test count

Gets the generated new test count

Gets the exploration coverage

Gets the assembly coverage

Initializes a new instance of the class.

The exploration. The total exploration count. The exploration count. Duration of the execution. Duration of the current exploration. The generated test count. The generated failure test count. The generated duplicate test count. The generated new test count. The exploration coverage. The assembly coverage.

Defines where IntelliTest should aim for coverage and bugs

Gets the priority.

The priority.

Tries to get the focused assemblies.

The log. The assemblies.

Tries to get the focused types.

The log. The types.

Tries to get the focused methods.

The log. The methods.

Gets a value indicating whether it should not report coverage.

true do not report coverage; otherwise, false.

IntelliTest assembly

Gets the assembly containing the IntelliTest classes

The assembly.

Gets the name of the assembly.

The name of the assembly.

Returns a list of pairs of name and command line.

Tries to get the additional settings assemblies.

The settings assemblies.

Tries to get the generated test assembly

Gets or sets the assembly setup method if any

The assembly set up.

Gets or sets the assembly teardown if any

The assembly tear down.

Gets the settings

Gets the fixtures.

The fixtures.

Initializes a new instance of the class.

The host. The assembly. The additional settings assemblies (might be null). the generated test assembly (might be null). The default settings.

Whether reflection of this assembly requires an x86-environment

Reflects the decoration.

Locks the settings.

Returns a that represents the current .

A that represents the current .

Merges the settings.

Merges the coverage filters.

Merges the coverage domains.

Tries to find the fixture.

Type of the fixture. The result.

Tries to find the exploration corresponding to the

The exploration method. The result.

Gets the list of explorations

Base class of decorated component elements

Initializes a new instance of the class.

The host.

Returns a list of pairs of name and command line.

Gets the exploration packages.

The exploration packages.

Adds the exploration package.

The location. The exploration package.

Gets the path packages.

The path packages.

Adds the path package.

The location. The path package.

Gets the coverage filters.

The coverage filters.

Adds the coverage filter.

The coverage filter.

Gets the focuses.

The focuses.

Adds a focus.

The focus.

Gets or sets the generated tests visibility context.

The generated tests visibility context.

Gets the coverage filter from the coverage manager

The coverage filter.

Clears the cached data.

Reflects the decoration.

The target.

Merges the coverage filters.

Merges the focuses.

Dumps the packages.

The writer.

Abstract base class of explorations.

Gets the fixture.

The fixture.

Gets the method.

The method.

Gets the exploration key

Gets the settings.

The settings.

Initializes a new instance of the class.

The fixture. The method. The attribute.

Tries to get the method under test.

The members.

tries to infer the method under test.

If the PUT was generated by the wizard, there should be only 1 call in the method.

Gets the target member for this exploration.

The target.

Gets the target member for this exploration if any.

Name supported: , , , may return null

Gets the short name.

The short name.

Gets the short typed name.

Gets the full name.

The full name.

Creates an exploration engine, and returns the driver component.

Gets a CodeUpdateBase that would generate the source of the exploration method, might be null.

Returns a that represents the current .

A that represents the current .

Reflects the decoration.

Merges the settings.

Merges the exploration packages.

Merges the path packages.

Merges the coverage filters.

Merges the focuses.

Collection of explorations

Exploration result observer

Initializes a new instance of the class.

The exploration. if set to true [diagnostic]. The id.

Gets the exploration.

The exploration.

Gets a list of available coverage entries.

Adds a coverage entry.

The entry.

Tries to find the first coverage entry matching the domain and unit

The domain. The unit. The entry.

IntelliTest fixture

Initializes a new instance of the class.

The host.

Gets the assembly.

The assembly.

Gets the type of the fixture.

The type of the fixture.

Returns a list of pairs of name and command line.

Gets the settings.

The settings.

Gets or sets the fixture setup method if any

The fixture set up.

Gets or sets the fixture teardown method if any

The fixture tear down.

Gets or sets the test setup method if any

The set up.

Gets or sets the test teardown method if any

The tear down.

Gets the explorations.

The explorations.

Initializes a new instance of the class.

The assembly. Type of the fixture. The attribute.

Gets the name.

The name.

Gets the name.

The name.

Returns a that represents the current .

A that represents the current .

Creates an instance of the fixture type

Disposes an instance of the fixture type

The instance.

Reflects the decoration.

Locks the settings.

Merges the settings.

Merges the coverage filters.

Merges the coverage domains.

A collection of

Gets the exploration count.

The exploration count.

Generated fixture

Initializes a new instance of the class.

The fixture. Name of the generated type. Name of the file.

Gets the fixture.

The fixture.

Gets the type of the remote fixture.

The type of the remote fixture.

Gets the name of the generated type.

The name of the generated type.

Gets the name of the file.

The name of the file.

Prepares for serialization.

The host.

Flags describing generated test

No flags set

The test was a failure

The test was a custom input not under

The test is not compilable

The test is not reproducible

The test should be stored lazily

The test is a duplicate

The test is inconclusive

The test is ignored

A thin serializable name of a generated test

Initializes a new instance of the class.

The test.

Gets the generated test flags

Gets the ID.

The ID.

Gets the name of the test method.

The name of the test method.

Gets the flags.

The flags.

Gets a value indicating whether this instance is failure.

true if this instance is failure; otherwise, false.

Gets a value indicating whether this instance is failure.

true if this instance is ignored; otherwise, false.

Gets a value indicating whether this instance is inconclusive.

true if this instance is inconclusive; otherwise, false.

Gets a value indicating whether this instance is duplicate.

true if this instance is duplicate; otherwise, false.

Indicates whether the current object is equal to another object of the same type.

An object to compare with this object. true if the current object is equal to the parameter; otherwise, false.

Serves as a hash function for a particular type.

A hash code for the current .

Internalizes this instance

A type representing a genenerated test

Initializes a new instance of the class.

The exploration. The index. The run. The exception. Whether the existing test represents a failure. Whether the test was mined from existing inputs Whether the test was generated by IntelliTest The failure text. The failure wiki topic. The result. State of the exception. The status. The generated values. Suggestions to fix failures, if any The path assumption. path condition Whether the method body cannot be compiled. Whether the generated can be reproduced Whether the test method body involves more that simply passing parameters. For example, object creation or oracle choices. The boundary code update, if any. The boundary details, if any. The running coverages if any.

Gets a value indicating if the test method body involves more that simply passing parameters. For example, object creation or oracle choices.

Gets the ID.

The ID.

Gets the index of the test in the current exploration

Gets the exploration that generated the test

Gets the index of the run that generated the test

Gets the type of the remote fixture.

The type of the remote fixture.

Gets the exploration name

Gets the remote exploration method.

The remote exploration method.

Gets or sets the name of the test method.

The name of the test method.

Gets the code.

The code.

Gets a value indicating whether this test is inconclusive.

Gets or sets a value indicating if the test is ignored.

Gets the generated test result.

The result.

Gets the method code.

The method code.

Gets the method references

Gets a value indicating whether the exploration was generated dynamically.

Gets a value indicating if the test should be stored lazily

Converts to tooltip style information

Gets the method imports.

The method imports.

Gets the exception, if any.

The exception.

Gets the type of the exception, if any.

The type of the exception.

Gets the remote exception, if any.

The remote exception.

Gets a value indicating whether this test is a failure.

Gets a value indicating if the test was mined from an input enumeration

Tries to get the method from which the test was mined, if any

Gets a value whether the test was generated by IntelliTest

Gets the failure text, if any.

The failure text.

Gets the failure wiki topic, if any.

The failure wiki topic.

Gets a value indicating whether this test is not reproducible.

Gets the test status.

The status.

Gets the state of the exception.

The state of the exception.

Gets a value indicating whether this test is new.

Tries to get duplicate test.

The duplicate.

Gets a value indicating whether this test is duplicate.

Gets a value indicating whether this test has generated values.

Gets the generated values.

The generated values.

Tries to get the generated fixes if any

Gets the path assumption as a string.

The path assumption.

Gets the path condition as a string.

The path condition.

Gets a value indicating if the test is compilable

Indicates that this test is a duplicate test.

The duplicate.

Tries to get the boundary code update.

The code update.

Returns a that represents the current .

A that represents the current .

Prepares for serialization.

The host.

Gets the stack trace (might be null)

The trace.

Image key name

Gets the (short) title.

The title.

Tries to get the code update.

The update.

Tries to get the authorization code update.

The update.

Tries to get an update to save this event

Gets the values from the generated test

Bakes the test method.

The assembly text writer. The visibility. The test method.

Gets the serializable name (lightweight).

The name of the serializable.

Internalizes this instance

Place holder for logging categories

Internal

Tests

Settings

Execution

Reports

Mixes

Moles

Stubs

Graphs

Creatables

Explorables

Preparables

Domains

FixIt

Summaries

Goals

Remoting

Result writer

IntelliTest result observer

Initializes a new instance of the class.

The name. if set to true [diagnostic]. The id.

Gets the name.

The name.

Gets the duration.

The duration.

Gets the result state.

The state.

Gets the state description.

The state description.

Gets the console out.

The console out.

Gets the console error.

The console error.

Gets the trace output stream

Gets the error count.

The error count.

Gets the warning count.

The warning count.

Gets a value indicating whether the Trace API was touched

Starts the result observation.

Stops this instance.

Indicates that the observation is finished.

The error count. The warning count. indicates whether the Trace API was touched.

Indicates that the observed path failed.

Converts this instance to .

Exploration result state enumeration

Successful result

Failure occurred

An existing test

Initializes a new instance of the class.

whether this test was generated (as opposed to hand-written). whether this test was a custom input to IntelliTest The exploration method. The method. Type of the exception. Whether the existing test represents a failure. The hash.

Tries to decode an exploration method.

Type of the fixture. The method definition. Services. The exploration method.

Gets a value indicating whether this test was generated (as opposed to hand-written).

Gets a value indicating whether this test was a custom input to IntelliTest

Gets the method.

The method.

Gets the remote method.

The remote method.

Gets the type of the exception.

The type of the exception.

Gets a value indicating whether this instance is failure.

true if this instance is failure; otherwise, false.

Tries to get the test hash.

The hash.

Gets or sets a value indicating whether this is touched.

true if touched; otherwise, false.

Gets or sets a value indicating whether this has been regenerated.

true if regenerated; otherwise, false.

Gets or sets a value indicating whether this test was mined to build a model.

true if mined; otherwise, false.

Gets or sets the duplicate. When a test does not increase coverage, Duplicate may point to itself!

The duplicate.

Gets the exploration (non-serialized)

The generator.

Gets the generator.

The generator.

Writes to XML.

The writer.

Wiki Topics repository

Internal class used by IntelliTest

Internal.

Internal.

Internal.

Internal.

Internal.

Internal class used by IntelliTest

Internal.

Search strategy for a single exploration

A single exploration consists of several execution paths.

Should this path be included in the search? If not, it is abandoned.

The result. The reason.

IntelliTest exploration strategy factory

Creates the exploration strategy.

Reason for abandoning a path

Unknown

assumption violation

Bounds exceeded

Duplicate path

Generated test results

Initializes a new instance of the class.

The setup. The test. The teardown.

Tries to get the setup result.

The result.

Tries to get the test result.

The result.

Tries to get the teardown result.

The result.

Tries to query the dump tree.

The tree.

A manager for PexDisposableContext

Gets the disposable context and allocates on demand

Gets the disposable context if allocated

Options for the IntelliTest engine

Tries to get additional assemblies under test

Url to the build server

Build associated to this test run

Gets the build flavor

Gets the publish platform

Gets the team project

A generated test

Gets the test index

Gets the run index

Gets the fixture type name

Gets the exploration method

Gets the exploration name

Gets the test method name

Gets the exception state if any

Gets the status of the test

Gets a value indicating if the test is inconclusive

Gets or sets a value indicating if the test is ignored.

Gets a value whether the test is a failure

Gets a value indicating if the test is a duplicate

Gets a value indicating whether the test can be reproduced

Sets the test duplicate

Gets a value indicating if the test is new

Gets the method code, including signature and attributes

Gets the method body code

Gets a value indicating if the test was mined from inputs

Tries to get the method from which the test was mined

Gets a value indicating if the test was generated by IntelliTest

Gets a value indicating if the test is compilable

Gets an unique identifier of the test

Gets a value indicating wheter the test should be stored lazily

Gets a lightweight serializable name of the test

Returns the list of method imports

Returns list of method references

Tries to get the generated fixes if any

Writes the generated test to xml

Manages sending progress messages

Creates a progress messages and sends it to the log.

message describing the progress

An execution level manager for metrics

An identifier for a metric

Gets the short name for this metric.

Gets the full name for this metric.

An base inferface for metric managers

Add the value for a metric.

The identifier. The metric value.

Tries to get the value for a the metric with the given identifier.

The type The identifier. The value.

List all metrics and their values.

Combines the metric values with the given lower level values.

The manager of that lower level.

Raised before publishing (and forgetting) the metric values

Notifies the manager that the current stage has ended

Logs the current metric values as trajectory snapshots

Get the current running coverage entries

The current running coverage entries

Get the current coverage summaries as coverage entries

The current running coverage entries

A metric value

Gets the summary of this metric.

Gets the previous summary.

Gets the metric value for a particular method.

The method The result value

Gets the metric values for all methods.

Combines the current metric value with the specified metric value.

The value. The type should be the same as the actual type of this metric value

Gets the tags that explain why the covered value is less than the total value.

The missing tags.

Gets the covered

Gets the total

Creates a new metric entry with the given covered and total

the covered the total

Returns a that represents this instance.

A that represents this instance.

An exploration level manager for metrics

An execution level manager for metrics

A path level manager for metrics

The level of a metric

Metric is computed for each path

Metric is computed for each exploration

Metric is computed for each execution

A key that uniquely identifies an exploration

Gets the type of the exploration

Gets the exploration method

Initializes a new instance of PexExplorationKey

Gets the hashcode

Gets a value indicating if both keys are equal

Determines whether the specified is equal to the current .

The to compare with the current . true if the specified is equal to the current ; otherwise, false. The parameter is null.

Gets a string representation

A instance that can create a runtime sandbox around an execution.

Creates the context and enables it during the lifetime of the disposable object. This method is called around the execution of the path.

Roll back any changes made while the context was open

An action that serializes the rollback as code

Updates the generated test as needed

The test. The test method. The code creation context.

Maintains the pool of runtime context.

Adds a runtime context.

The context.

Adds a runtiem context with a path lifetime.

Gets the runtime contexts.

The runtime contexts.

Gets the runtime context with a path lifetime

Returns a disposable instance that enables all runtime contexts

current path host

A runtime context scope

After the instance has been rolled back, get the list of rollback actions

Prioritizes explorations based on criteria given by IPexExplorationSorter

Returns fixtures sorted based on given criteria

Returns explorations within the fixture

Abstract base class to define new implementations

Creates the explorable guesser.

The host. The factory.

Callback that is executed before the exploration starts.

The host. some data

Callback that is executed after the exploration ends.

The host. The data returned by BeforeExploration.

Initializes the specified exploration package. May interact with services.

The host.

Attribute indicating that only one instance exists which is named by a public field, property getter, or getter method.

Initializes a new instance of the class.

Type of the singleton. The field or property or getter.

Initializes a new instance of the class.

Type of the singleton. Type of the field or property or getter. Name of the field or property or getter.

Initializes a new instance of the class.

Type of the singleton. Name of the field or property or getter.

Initializes a new instance of the class.

The singleton type assembly. Full name of the singleton type. Type of the field or property or getter. Name of the field or property or getter.

Tries to instantiate this definition with the specified arguments.

The host. The type arguments. The creatable.

Validates the attribute in a particular visibility context.

The log. The target. The visibility context of generated tests.

Attribute that tells IntelliTest that a type represents a data and was generated by wsdl.exe.

Creates an instance of this type.

Data type.

Attribute to define how instances of a particular type can be created

Loads the type of the creatable.

Type of the creatable.

Gets the type to be created.

The created type.

Tries to instantiate this definition with the specified arguments.

The host. The type arguments. The creatable.

Callback that is executed before the exploration starts.

The host. some data

Returns a that represents the current .

A that represents the current .

Interfaces that defines factory for classes

Creates this instance.

Attribute to specify a place holder for a binding field value.

Gets the name of the field to be bound.

The name of the field.

Initializes a new instance of the class.

Name of the field.

Attribute indicating that a class can be created by a class factory

Gets the type of the binding.

The type of the binding.

Initializes a new instance of the class.

Type of the creatable. Type of the factory.

Gets the creatable type.

Tries to instantiate this definition with the specified arguments.

The host. The type arguments. The creatable.

Validates the attribute in a particular visibility context.

The log. The target. The visibility context of generated tests.

Attribute to define that an instances of a type can be created by calling one of its constructors, and then using property setters and setter methods to set field values, matching up fields and property/method names using a regular expression.

Defines a creatable containing automatic properties only (C# 3.0 backing fields)

Type of the creatable.

Creates an instance of this type.

Type of the creatable. The format string to build further non-public field names. For example, {0}Field if set to true case is ignored both in the regular expression matching as well as in the property lookup. List of field names which are set by the constructor which takes their values as arguments.

Attribute to define that an instance of a type can be created by calling its constructor.

Creates an instance of this type.

Type of the creatable. List of field names which are set by the constructor which takes their values as arguments.

Validates the attribute in a particular visibility context.

The log. The target. The visibility context of generated tests.

Attribute to define how instances of a particular type can be created by using property setters and setter methods to set field values, matching up fields and property/method names using a regular expression.

Creates an instance of this type.

Type of the creatable. The format string to build further non-public field names. For example, {0}Field if set to true case is ignored both in the regular expression matching as well as in the property lookup. Type which contains a creation method. May be null for a value type. Name of the creation method. May be null for the constructor. List of field names which are set by the creation method which takes their values as arguments.

Creates an instance of this type.

The creatable type assembly. Full name of the creatable type. The format string to build further non-public field names. For example, {0}Field if set to true case is ignored both in the regular expression matching as well as in the property lookup. Type which contains a creation method. May be null for a value type. Name of the creation method. May be null for the constructor. List of field names which are set by the creation method which takes their values as arguments.

Tries to instantiate this definition with the specified arguments.

The host. The type arguments. The creatable.

Creatable

Initializes a new instance of the class.

The attribute. The host. The generic type arguments.

Gets the factory method argument type for a field.

The field.

Tries to get the factory method.

The factory. The factory receiver. The factory arguments. The remaining fields.

Tries to get a backing setter.

The field. The setter.

Validates the attribute in a particular visibility context.

The log. The target. The visibility context of generated tests.

Attribute to define how instances of a particular type can be created by using property setters and setter methods to set field values

Initializes a new instance of the class.

Type of the creatable.

Whether fields which are not handled explicitly by this attribute may be set by reflection. Use with care.

Attribute to define that an instances of a type can be created by calling a creation method.

Creates an instance of this type.

Type of the creatable. Type which contains a creation method. May be null for a value type. Name of the creation method. May be null for the constructor. List of field names which are set by the creation method which takes their values as arguments.

Creates an instance of this type.

The creatable type assembly. Full name of the creatable type. Type which contains a creation method. May be null for a value type. Name of the creation method. May be null for the constructor. List of field names which are set by the creation method which takes their values as arguments.

Attribute to define a factory of

Initializes a new instance of the class.

Gets the cached creatables.

The list.

Validates the attribute in a particular visibility context.

The log. The target. The visibility context of generated tests.

Callback that is executed before the exploration starts.

The host. some data

Attribute that populates the creatable table for any webdata object.

Initializes a new instance of the class.

The type of assembly.

Initializes a new instance of the class.

Name of the assembly.

Gets or sets the XML namespace of the web data objects.

The XML namespace.

Gets or sets the namespace.

The namespace.

Gets or sets a value indicating whether the code was automatically generated (and tagged with [GeneratedCodeAttribute])

Gets or sets the tool that generated the classes (xsd, System.Xml, etc...)

The tool.

Gets or sets a value indicating whether types should be tagged with or

Gets the cached creatables.

The list.

MetaState

TryMakeStep

IsExhausted

TryPrepare

Dispose

Stepper

TrySingleStep

TryManySteps

Initialize

ConditionBuilder

ParameterToFieldMap

Map

MetaState

TryMakeStep

IsExhausted

TryPrepare

Dispose

Stepper

TrySingleStep

TryManySteps

CreatableBySummary

CreatableBySummary

CreatableType

Whether a field of this type (or one of its supertypes) can only be initialized with references that were created before an instance of the given type is created.

Whether to minimize the number of objects of this type.

TryCreateValue

TryCreateCode

TryGetInvariant

Summarizer

TryGetInvariant

IntelliTest infers constructors and setters invariant.

Summarization gives up if IntelliTest finds setters that do not start with "Set", "Add" or "set_".

Creates a creatable factory.

A creatable factory that generates delegate that call into PexChoose

Tries to create a creatable for delegate types

Attribute that makes sure that IntelliTest uses only zero as the lower bounds of multi-dimensional arrays

Initializes a new instance of the class.

Tries to get an invariant.

The host. The layout. The invariant builder.

Attribute to define the domains of values

Gets the type of the target.

Gets the type of the target.

Updates the target of this domain.

The target. The target info. Index of the target.

Checks whether the target of this attribute matches a given target.

The target. The target info. Index of the target.

Constructor to be used on target declaration only

Constructor to be used on a type only

Constructor to be used on a public field only

Constructor to be used on a public field only

The target. Index of the target.

Tries to get an invariant.

The host. The layout. The invariant builder.

Callback that is executed before the exploration starts.

The host. some data

Gets the target of a domain.

Unknown target

Field

Array element

Multi-dimensional array lower bound

Multi-dimensional array length

Zero-dimensional array length

String length

Parameter

Oracle choice

Type

Attribute that makes sure that IntelliTest uses only zero and one as boolean values

Initializes a new instance of the class.

Tries to get an invariant.

The host. The layout. The invariant builder.

Attribute that makes sure that IntelliTest uses defined values for a particular enum type

Initializes a new instance of the class.

Tries to get an invariant.

The host. The layout. The invariant builder.

A non-nullable domain

Domain singleton

Tries to get an invariant.

The host. The layout. The invariant builder.

The context where observed values are stored

Gets a named observed value

Gets the rewritten assembly level contract

Assertions

Assumptions

Async ensures

Ensures

Inherit contracts

Invariants

LegacyRequires

No checking

No contracts

Preconditions

RequiresAlways

Standard mode

Throws on failure

All preconditions

All contracts

Helper methods for Code Contracts

Gets a value indicating if the exception is a contract exception

Gets a value indicating if the assembly containing typeOfAssembly is instrumented.

the minimum level of Contracts instrumentation

Gets a value indicating whether was instrumented by the contracts rewriter.

the minimum level of Contracts instrumentation

Gets a value indicating whether was instrumented by the contracts rewriter.

the minimum level of Contracts instrumentation

The description of a generated test

Initializes a new instance of .

Gets the message

Gets the message.

Marks a type that contains generated tests for a particular fixture type

Initializes the instance with the fixture type

Gets the fixture type that generates the tests

Static helper class which allows to manipulate values in a safe fashion which might not be expressible in C#.

Sets the boxed value of an existing box object.

The target. The value.

Attempts to cast a value, returning null if cast fails.

The value.

Returns a bool which has the bit-pattern of the given byte.

The value. This is a conversion that can be done in safe MSIL code; however, the C# compiler doesn't allow it.

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

Gets a value indicating if the Trace listener was called

Creates the trace listener context

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

Re-installs the original trace listeners

IntelliTest raised exception source

Gets the type of the exception.

The type of the exception.

Gets the state of the exception.

The state of the exception.

Decorates a generated test with the 'unexpected' exception that the test raises.

This attribute is not intended to be used by customer. IntelliTest will use this attribute to mark generated tests.

Initializes a new instance of the class.

Type of the exception.

Initializes a new instance of the class.

Type of the exception. state of the exception

Initializes a new instance of the class.

Initializes a new instance of the class.

Initializes a new instance of the class.

Initializes a new instance of the class.

Gets the type of the exception.

The type of the exception.

Gets the state of the exception.

The state of the exception.

Tries to read the exception from the attribute provider.

The attribute p rovider. The raised exception.

Metadata elements related to PexRaisedExceptionAttributeCtors

Constructor picker

Constructor picker with PexException State overload

Constructor picker with contract exception

Constructor picker with contract exception

Picks the best constructor overload based on the exception visibilty, type

A contract exception was raised

Initializes a new instance of the class.

Initializes a new instance of the class.

State of the exception.

This interface is used to define the behavior of mock objects at the beginning of a test.

Sets an expected parameter value.

Sets an expected out-parameter value.

Sets a result value.

Sets whether the method should throw an exception.

Sets whether the method should throw an exception.

Interface for building an oracle execution

notifies that a new invocation segment is about to start

Gets the oracle builder for a session.

The time of the session. The description of the session.

Gets the default oracle builder session

Retrieves an oracle builder for a given method.

The time. The method id.

This interface is used to define the behavior of mock objects at the beginning of a test.

Sets a free choice.

The index. The description. The value.

Attribute that describes the parameterized test that generated the method.

This attribute is not intended to be used by customer. IntelliTest will use this attribute to mark generated tests.

Initializes a new instance of the class.

Type of the fixture.

Initializes a new instance of the class and assumes that it is defined in the fixture type.

Tries to get the type of the fixture if specified

The type of the fixture.

Gets or sets a value that indicates whether IntelliTest generated this test from user inputs

Swaps the Console.In with an IntelliTest parameterized mock implementation ().

Creates a new instance.

Performs application-defined tasks associated with freeing, releasing, or resetting unmanaged resources.

Marks a generated test that might not be compilable

An attribute that specifies that a test might not be reproducible

Stores and restores the CurrentCulture and CurrentUICulture of a thread

Creates the context for the current thread

Gets a value indicating if any of the thread culture have changed

Revets the current culture and ui culture to its original state

An exception encapsulating a collection of exceptions

Initializes a new instance of the class.

The inner exceptions.

Gets the inner exceptions.

The inner exceptions.

Gets a message that describes the current exception.

The error message that explains the reason for the exception, or an empty string("").

Creates and returns a string representation of the current exception.

A string representation of the current exception.

Gets the exception stack trace

A disposable context to store disposable object that will dispose all objects safely.

Creates this instance.

Gets the number of disposable instances in this context.

The count.

Gets the number of instances in the context. There might be aliasing.

Adds the object to the context (may be null). If the object is a mole, attaches the mole and stores the context

Adds the specified disposable (may be null).

The disposable.

Performs application-defined tasks associated with freeing, releasing, or resetting unmanaged resources.

Metadata of the PexDisposableContext

PexDisposableContext type

The Create method

The dispose method

The Add(object) method

The Add(IDisposable) method

Tries to get the appropriate Add method for a given type

A collection of factory methods for various type of the .Net runtime

A factory for System.Collections.Specialized.NameValueCollection instances

the list of values the generated collection

Attribute to specify that the current assembly contains the tests from another assembly.

Gets the name of the target assembly.

The name of the target assembly.

Initializes a new instance of the class.

The type of assembly.

Initializes a new instance of the class.

Name of the assembly.

Abstract base attribute for goals

Tries to create an exploration goal instance

Callback that is executed before the exploration starts.

The host. some data

Callback that is executed after the exploration ends.

The host. The data returned by BeforeExploration.

Initializes the specified exploration package. May interact with services.

The host.

This method provides the opportunity install or substitute services.

The exploration container.

Attributes that specifies that each reference argument of the method under test should yield a passing test case throwing an ArgumentNullException, who's message contains the argument name.

Tries to create a goal for the parameters

Reads files; each file content is used as a separate input to seed the IntelliTest exploration.

Initializes a new instance of the class.

The path. The search pattern. The search option.

Initializes a new instance of the class.

The file names.

Gets the input enumerator.

Reads a string from an embedded resource

Initializes a new instance of the class.

Gets the input enumerator.

Abstract base class for specifying seed inputs

Gets or sets the priority, a value between 0 and 100.

The priority.

Whether this input enumerator should alternate with other enumerators.

true if alternate; otherwise, false.

Gets the input enumerator.

Callback that is executed before the exploration starts.

The host. some data

Attribute that specifies an assembly that contains additional substitutions

Gets the file name of the assembly containing the additional substitutions

The name of the assembly.

Initializes a new instance of the class.

The type of assembly.

Initializes a new instance of the class.

The assembly location.

Creates the instrumentation settings

Attribute to specify an to providing a from this Assembly.

Gets the name of the target assembly.

The name of the target assembly.

Initializes a new instance of the class.

The type of assembly.

Initializes a new instance of the class.

Name of the assembly.

Gets a list of to instrument

Abstract base class for attribute that specify assemblies to instrument

Gets or sets the instrumentation level. The 'protected' level is not supported at the assembly level

Gets a list of to instrument

Creates the instrumentation provider

An enumeration describing different level of code instrumentation. The impact of the instrumentation grows with the value of the enum.

Excluded from the instrumentation list

Protected instrumentation. Supported for classes or value types only.

Default instrumentation for IntelliTest exploration

Instruments all types in or under the specified namespace in the target assembly

Gets or sets the instrumentation level. The 'protected' level is not supported at the assembly level

Gets the target

Gets the target namespace

Initializes a new instance of the class.

a type from the target namespace.

Initializes a new instance of the class.

The type of assembly. The _namespace.

Instantiates the instrumentation provider

Instrument a given type; name of type may be given for non-exported types.

Gets the type of the target.

The type of the target.

Initializes a new instance of the class.

Type of the target.

Initializes a new instance of the class.

The type of assembly. The type.

Initializes a new instance of the class.

Name of the assembly. The type.

Gets the list of to instrument

The types.

Base class for instrumentation attributes

Gets or sets the instrumentation level.

The instrumentation level.

Gets or sets a value indicating whether nested types should be instrumented as well

Recursively adds type,

Gets the list of to instrument

Caches the target types.

Caches the target types.

The types.

Specifies a list of type names to instrument.

Initializes a new instance of the class.

The types.

Initializes a new instance of the class.

The types.

Caches the target types.

Should never be called.

The types.

Abstract base class for attribute providing configuration settings for launching the monitored process.

Initializes a new instance of the class.

Gets or sets the name of the environment variable that can be set to disable this attribute

Gets a value indicating if these settings were disabled

Gets a service if available

Creates an instrumentation providedr

Specifies an assembly being tested by this project

Initializes a new instance of the class.

Name of the assembly.

Initializes a new instance of the class.

The type of assembly.

Gets the name of the assembly under test

The name of the assembly.

Gets a list of to instrument

Defines a single value tuple that will be used as test inputs to seed the IntelliTest exploration.

Initializes a new instance of the class.

The arguments, listed in order of declared parameters.

Initializes a new instance of the class.

The argument to be passed to the method.

Initializes a new instance of the class.

The value1. The value2.

Initializes a new instance of the class.

The value1. The value2. The value3.

Initializes a new instance of the class.

The value1. The value2. The value3. The value4.

Gets the input enumerator.

Abstract base class for exploration decorator attributes

Initializes a new instance of the class.

Callback that is executed before the execution starts.

The host. some data

Callback that is executed after the execution ends.

The host. The data returned by .

An attribute that specifies an assembly containing additional packages

Initializes a new instance of the class.

The type of assembly.

Initializes a new instance of the class.

Gets the service if available

Creates the instrumentation provider

Internal use only

Initializes a new instance of the class.

The type.

Gets the package types.

Abstract base class for exploration decorator attributes

Initializes a new instance of the class.

Gets the name of this package.

The name.

This method provides the opportunity install or substitute services.

The exploration container.

Initializes the specified exploration package. May interact with services.

The host.

Callback that is executed before the exploration starts.

The host. some data

Callback that is executed after the exploration ends.

The host. The data returned by BeforeExploration.

This method can announce filters, focuses, and packages to IntelliTest.

The location of the decorator. The host. This method is called once when IntelliTest inspects all decorators. A package, that is added at this point, may later create components for individual explorations or paths.

Abstract base class for exploration decorator attributes

Initializes a new instance of the class.

Gets the name of this package.

The name.

This method provides the opportunity install or substitute services.

The exploration container.

this method provides the opportunity to query services and interact with them.

The engine.

Abstract base class for exploration decorator attributes

Initializes a new instance of the class.

Gets the name of this package.

The name.

This method provides the opportunity install or substitute services.

The exploration container.

Callback that is executed before the path starts.

The host. some data

Callback that is executed after the path ends.

The host. The data returned by BeforeRun.

This method can announce filters, focuses, and packages to IntelliTest.

The location of the decorator. The host. This method is called once when IntelliTest inspects all decorators. A package, that is added at this point, may later create components for individual explorations or paths.

A static helper class that contains a set of methods to express assertions in parameterized unit tests.

PexAssert is similar in behavior to Assert. The methods make various statements about the code under test. If the statement is false, the method throws . Any message in the exception object is displayed in IntelliTest Exploration window.

Creates the assumption/assertion exception instance

Asserts unconditionally, with a specified message and formatting for the exception object.

Asserts unconditionally. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables. whose values are to be inserted in . Always thrown.

Asserts unconditionally, with a specified message in the exception object.

The message string. Always thrown.

Asserts Fail unconditionally. Test will throw a PexAssertFailedException.

Always thrown.

Asserts unconditionally.

inner exception Message to be displayed on failure. Always thrown.

Asserts that the condition evaluates to true.

Asserts that the condition evaluates to true. A Boolean condition. If the condition evaluates to false.

Asserts that the condition evaluates to true, with a specified message and format in the exception object.

A Boolean condition. The message string. If the condition evaluates to false.

Asserts that the condition evaluates to true, with a specified message in the exception object.

A Boolean condition. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables. whose values are to be inserted in . If the condition evaluates to false.

Asserts that the object reference is null.

Asserts that the object reference is null. An object. If the object reference is not null.

Asserts that the object reference is null with a specified message in the exception object.

An object. A message string. If the object reference is not null.

Asserts that the object reference is null with a specified message in the exception object. if the object reference is not null.

An object. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables. whose values are to be inserted in . If the object reference is not null.

Asserts that the object reference is not null.

Asserts that the object reference is not null. An object. If the object reference is null.

Asserts that the object reference is not null with a specified message in the exception object.

An object. A message string. If the object reference is null.

Asserts that the object reference is not null with a specified message in the exception object.

An object. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables. whose values are to be inserted in . If the object reference is null.

Asserts that two bool values are equal.

This method ensures MC/DC coverage of the conjuncts. The expected value. The value to be tested. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables. whose values are to be inserted in . If the expected and actual values are not equal.

Asserts that two bool values are equal.

This method ensures MC/DC coverage of the conjuncts. The expected value. The value to be tested. If the expected and actual values are not equal.

Asserts that two bool values are equal.

This method ensures MC/DC coverage of the conjuncts. The expected value. The value to be tested. The message to be inserted in case of failure If the expected and actual values are not equal.

Asserts that two double values are equal within a specified precision.

Asserts that two values are equal. The expected value. The value to be tested. The test's precision. This value must be positive. The assertion fails if the absolute value of the difference between the expected and actual values is greater than delta. If the expected and actual values are not equal. If delta is negative.

Asserts that two double values are equal within a specified precision, with a specified message in the exception object.

The expected value. The value to be tested. The test's precision. This value must be positive. The message string. The assertion fails if the absolute value of the difference between the expected and actual values is greater than delta. If the expected and actual values are not equal. If delta is negative.

Asserts that two double values are equal within a specified precision, with a specified message in the exception object.

The expected value. The value to be tested. The test's precision. This value must be positive. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables. whose values are to be inserted in . The assertion fails if the absolute value of the difference between the expected and actual values is greater than delta. If the expected and actual values are not equal. If delta is negative.

Asserts that two float values are equal within a specified precision.

The expected value. The value to be tested. The test's precision. This value must be positive. The assertion fails if the absolute value of the difference between the expected and actual values is greater than delta. If the expected and actual values are not equal. If delta is negative.

Asserts that two float values are equal within a specified precision, with a specified message in the exception object.

The expected value. The value to be tested. The test's precision. This value must be positive. The message string. The assertion fails if the absolute value of the difference between the expected and actual values is greater than delta. If the expected and actual values are not equal. If delta is negative.

Asserts that two float values are equal within a specified precision, with a specified message in the exception object.

The expected value. The value to be tested. The test's precision. This value must be positive. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables. whose values are to be inserted in . The assertion fails if the absolute value of the difference between the expected and actual values is greater than delta. If the expected and actual values are not equal. If delta is negative.

Asserts that two strings are equal, using the Ordinal comparer.

The expected string. The actual string. Set this value to true for case-sensitive comparison and false otherwise. If the strings are not equal.

Asserts that two strings are equal with a specified message in the exception object.

The expected string. The actual string. Set this value to true for case-sensitive comparison and false otherwise. The message string. If the strings are not equal.

Asserts that two strings are equal with a specified message in the exception object.

The expected string. The actual string. Set this value to true for case-sensitive comparison and false otherwise. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables. whose values are to be inserted in . If the strings are not equal.

Asserts that a culture-specific comparison of two strings is true.

The expected string. The actual string. Set this value to true for case-sensitive comparison and false otherwise. A System.Globalization.CultureInfo object that contains the culture-specific comparison information. If the strings are not equal. For more information, see System.String.Compare.

Asserts that a culture-specific comparison of two strings is true, with a specified message in the exception object.

The expected string. The actual string. Set this value to true for case-sensitive comparison and false otherwise. A System.Globalization.CultureInfo object that contains the culture-specific comparison information. The message string. If the strings are not equal. For more information, see System.String.Compare.

Asserts that a culture-specific comparison of two strings is true, with a specified message in the exception object.

The expected string. The actual string. Set this value to true for case-sensitive comparison and false otherwise. A System.Globalization.CultureInfo object that contains the culture-specific comparison information. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables. whose values are to be inserted in . If the strings are not equal. For more information, see System.String.Compare.

Asserts that two object instances are equal.

The expected object. The actual object. If the objects are not equal. The assertion fails if object.Equals(expected, actual) returns false.

Asserts that two object instances are equal, with a specified message in the exception object.

The expected object. The actual object. The message string. If the objects are not equal. The assertion fails if object.Equals(expected, actual) returns false.

Asserts that two object instances are equal, with a specified message in the exception object.

The expected object. The actual object. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables. whose values are to be inserted in . If the objects are not equal. The assertion fails if object.Equals(expected, actual) returns false.

Asserts that two object instances with a specified type are equal.

The objects' type. The expected object. The actual object. If the objects are not equal. The assertion fails if object.Equals(expected, actual) returns false.

Asserts that two object instances with a specified type are equal, with a specified message in the exception object.

The object's type. The expected object. The actual object. The message string. If the objects are not equal. The assertion fails if object.Equals(expected, actual) returns false.

Asserts that two object instances with a specified type are equal, with a specified message in the exception object.

The objects' type. The expected object. The actual object. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables. whose values are to be inserted in . If the objects are not equal. The assertion fails if object.Equals(expected, actual) returns false.

Asserts that two object instances with a specified type are equal, based on an EqualityComparison delegate.

The objects' type. The expected object. The actual object. An EqualityComparison delegate, which returns true if the two objects are equal and false otherwise. If the objects are not equal.

Asserts that two double values are not equal within a specified precision.

Asserts that two values are not equal. The expected value. The value to be tested. The test's precision. This value must be positive. The assertion fails if the absolute value of the difference between the expected and actual values is less than or equal to delta. If the expected and actual values are equal. If delta is negative.

Asserts that two double values are not equal within a specified precision, with a specified message in the exception object.

The expected value. The value to be tested. The test's precision. This value must be positive. The message string. The assertion fails if the absolute value of the difference between the expected and actual values is less than or equal to delta. If the expected and actual values are equal. If delta is negative.

Asserts that two double values are not equal within a specified precision, with a specified message in the exception object.

The expected value. The value to be tested. The test's precision. This value must be positive. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables. whose values are to be inserted in . The assertion fails if the absolute value of the difference between the expected and actual values is less than or equal to delta. If the expected and actual values are equal. If delta is negative.

Asserts that two float values are not equal within a specified precision.

The expected value. The value to be tested. The test's precision. This value must be positive. The assertion fails if the absolute value of the difference between the expected and actual values is less than or equal to delta. If the expected and actual values are equal. If delta is negative.

Asserts that two float values are not equal within a specified precision, with a specified message in the exception object.

The expected value. The value to be tested. The test's precision. This value must be positive. The message string. The assertion fails if the absolute value of the difference between the expected and actual values is less than or equal to delta. If the expected and actual values are equal. If delta is negative.

Asserts that two float values are not equal within a specified precision, with a specified message in the exception object.

The expected value. The value to be tested. The test's precision. This value must be positive. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables. whose values are to be inserted in . The assertion fails if the absolute value of the difference between the expected and actual values is less than or equal to delta. If the expected and actual values are equal. If delta is negative.

Asserts that two strings are not equal.

The expected string. The actual string. Set this value to true for case-sensitive comparison and false otherwise. If the strings are equal.

Asserts that two strings are not equal, with a specified message in the exception object.

The expected string. The actual string. Set this value to true for case-sensitive comparison and false otherwise. The message string. If the strings are equal.

Asserts that two strings are not equal, with a specified message in the exception object.

The expected string. The actual string. Set this value to true for case-sensitive comparison and false otherwise. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables. whose values are to be inserted in . If the strings are equal.

Asserts that a culture-specific comparison of two strings is false.

The expected string. The actual string. Set this value to true for case-sensitive comparison and false otherwise. A System.Globalization.CultureInfo object that contains the culture-specific comparison information. If the strings are equal. For more information, see System.String.Compare.

Asserts that a culture-specific comparison of two strings is false, with a specified message in the exception object.

The expected string. The actual string. Set this value to true for case-sensitive comparison and false otherwise. A System.Globalization.CultureInfo object that contains the culture-specific comparison information. The message string. If the strings are equal. For more information, see System.String.Compare.

Asserts that a culture-specific comparison of two strings is false, with a specified message in the exception object.

The expected string. The actual string. Set this value to true for case-sensitive comparison and false otherwise. A System.Globalization.CultureInfo object that contains the culture-specific comparison information. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables. whose values are to be inserted in . If the strings are equal. For more information, see System.String.Compare.

Asserts that two object instances are not equal.

The expected object. The actual object. If the objects are equal. The assertion fails if object.Equals(expected, actual) returns true.

Asserts that two object instances are not equal, with a specified message in the exception object.

The expected object. The actual object. The message string. If the objects are equal. The assertion fails if object.Equals(expected, actual) returns true.

Asserts that two object instances are not equal, with a specified message in the exception object.

The expected object. The actual object. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables. whose values are to be inserted in . If the objects are equal. The assertion fails if object.Equals(expected, actual) returns true.

Asserts that two object instances with a specified type are not equal.

The objects' type. The expected object. The actual object. If the objects are equal. The assertion fails if object.Equals(expected, actual) returns true.

Asserts that two object instances with a specified type are not equal, with a specified message in the exception object.

The object's type. The expected object. The actual object. The message string. If the objects are equal.

Asserts that two object instances with a specified type are not equal, with a specified message in the exception object.

The objects' type. The expected object. The actual object. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables. whose values are to be inserted in . If the objects are equal. The assertion fails if object.Equals(expected, actual) returns true.

Asserts that two object instances with a specified type are not equal, based on an EqualityComparison delegate.

The objects' type. The expected object. The actual object. An EqualityComparison delegate, which returns true if the two objects are equal and false otherwise. If the objects are equal.

Specifies that the default location in the program should be reached eventually.

Used to specify a location in the program that should be reached eventually. Must be used in combination with .

Specifies a location in the program that should be reached eventually.

A string that identifies a particular ReachEventually instance. This method identifies a particular goal in the code, and is typically used to identify multiple code branches that should be reached by tests. To use ReachEventually, annotate the method that contains the code branches with , and define the location string in the attribute. Then call ReachEventually in each of the branches, with set to one of the attribute's location strings.

Specifies a location in the program that should be reached eventually.

An integer that identifies a particular ReachEventually instance. This method identifies a particular goal in the code, and is typically used to identify multiple code branches that should be reached by tests. To use ReachEventually, annotate the method that contains the code branches with set to the number of goals. Call ReachEventually in each of the branches, with set to one of the goal numbers. The goals are numbered in sequence, starting with 0.

Clears the Reached event

Raised when the Reached method is invoked

Unmonitored 'failing' class

DO NOT INSTRUMENT THIS CLASS

Event argument when a reachability point is touched.

Gets the location

Initializes a new instance of the class.

This attribute is used in conjunction with to specify one or more goals that should be executed during exploration.

The attribute identifies methods that contain goals in the form of one or more calls. If the method contains multiple goals, each one must have a string or integer identifier that is unique within the method. Use the attribute's positional parameters to define the identifiers, and pass them to the appropriate call.

Identifies a method with one or more goals, each goal identified by a string identifier.

One or more strings, each of which identifies one of the method's goals.

Identifies a method with one or more goals, which are identified by a series of integers, starting with zero and ending with - 1.

The number of goals in the method.

Identifies a method with one or more goals, each identified by a specified integer.

One or more integers, each of which identifies a particular goal.

Identifies a method with one goal.

A named parameter that specifies whether exploration should stop when all the goals have been reached.

Set this value to true to specify that exploration should stop when all goals are reached and false otherwise.

Installs the exploration goal.

Delegate that compares two values for equality.

The parameter types. A value of type . A value of type . Returns true if the values are equal and false otherwise.

A static helper class that contains a set of methods to express preconditions in parameterized unit tests.

The PexAssume methods can be used to filter out undesirable test inputs. If the specified condition does not hold for a test input, IntelliTest throws and silently ignores the test.

Creates the assumption/assertion exception instance

The test case failes unconditionally, with a specified message in the exception object.

Asserts unconditionally. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables, whose values are to be inserted in the string. Always.

The test case failes unconditionally, with a specified message in the exception object.

A message string. Always.

The test case failes unconditionally.

Always.

The test case fails if the condition evaluates to false.

The test case fails if the condition evaluates to false. A Boolean condition. If the condition evaluates to false.

A delegate that takes no input and returns a value of type T.

The return type. Returns a value of type T.

The test case fails if the condition evaluates to false, otherwise it runs the delegate and returns the result.

A Boolean condition. A delegate that returns a value of type T The return type of . If the condition evaluates to false. Returns the return value of .

The test case fails if the condition evaluates to false, with a specified message in the exception object.

A Boolean condition. A message string. If the condition evaluates to false.

The test case fails if the condition evaluates to false, with a specified message in the exception object.

A Boolean condition. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables, whose values are to be inserted in the string. If the condition evaluates to false.

The test case fails if the value is not a null reference.

The test case fails if the value is not a null reference. An object. If the value is not a null reference.

The test case fails if the value is not a null reference, with a specified message in the exception object.

An object. A message string. If the value is not a null reference.

The test case fails if the value is not a null reference, with a specified message in the exception object.

An object. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables, whose values are to be inserted in the string. If the value is not a null reference.

The test case fails if the value is a null reference.

The test case fails if the value is a null reference. An object. If the value is a null reference.

The test case fails if the value is a null reference, with a specified message in the exception object.

An object. A message string. If the value is a null reference.

The test case fails if the value is a null reference, with a specified message in the exception object.

An object. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables, whose values are to be inserted in the string. If the value is a null reference.

Assumes that two bool values are equal.

This method ensures MC/DC coverage of the conjuncts. The expected value. The value to be tested. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables. whose values are to be inserted in . If the expected and actual values are not equal.

Assumes that two bool values are equal.

This method ensures MC/DC coverage of the conjuncts. The expected value. The value to be tested. If the expected and actual values are not equal.

Assumes that two bool values are equal.

This method ensures MC/DC coverage of the conjuncts. The expected value. The value to be tested. The message to be inserted in case of failure If the expected and actual values are not equal.

The test case fails if two double values are not equal within a specified precision.

The test case fails if the values are not equal. The expected value. The value to be tested. The test's precision. This value must be positive. The test fails if the absolute value of the difference between the expected and actual values is greater than . If the values are not equal. If is negative.

The test case fails if two double values are not equal within a specified precision, with a specified message in the exception object.

The expected value. The value to be tested. The test's precision. This value must be positive. A message string. The test fails if the absolute value of the difference between the expected and actual values is greater than . If the values are not equal. If is negative.

The test case fails if two double values are not equal within a specified precision, with a specified message in the exception object.

The expected value. The value to be tested. The test's precision. This value must be positive. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables, whose values are to be inserted in . The test fails if the absolute value of the difference between the expected and actual values is greater than . If the values are not equal. If is negative.

The test case fails if two float values are not equal within a specified precision.

The expected value. The value to be tested. The test's precision. This value must be positive. The test fails if the absolute value of the difference between the expected and actual values is greater than . If the values are not equal. If is negative.

The test case fails if two float values are not equal within a specified precision, with a specified message in the exception object.

The expected value. The value to be tested. The test's precision. This value must be positive. A message string. The test fails if the absolute value of the difference between the expected and actual values is greater than . If the values are not equal. If is negative.

The test case fails if two float values are not equal within a specified precision, with a specified message in the exception object.

The expected value. The value to be tested. The test's precision. This value must be positive. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables, whose values are to be inserted in . The test fails if the absolute value of the difference between the expected and actual values is greater than . If the values are not equal. If is negative.

The test case fails if two strings are not equal.

The expected string. The string to be tested. Set this value to true for case-sensitive comparison and false otherwise. If the strings are not equal.

The test case fails if two strings are not equal, with a specified message in the exception object.

The expected string. The string to be tested. Set this value to true for case-sensitive comparison and false otherwise. A message string. If the strings are not equal.

The test case fails if two strings are not equal, with a specified message in the exception object.

The expected string. The string to be tested. Set this value to true for case-sensitive comparison and false otherwise. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables, whose values are to be inserted in . If the strings are not equal.

The test fails if a culture-specific comparison of two strings is false.

The expected string. The actual string. Set this value to true for case-sensitive comparison and false otherwise. A System.Globalization.CultureInfo object that contains the culture-specific comparison information. If the strings are not equal. For more information, see System.String.Compare.

The test fails if a culture-specific comparison of two strings is false, with a specified message in the exception object.

The expected string. The actual string. Set this value to true for case-sensitive comparison and false otherwise. A System.Globalization.CultureInfo object that contains the culture-specific comparison information. A message string. If the strings are not equal. For more information, see System.String.Compare.

The test fails if a culture-specific comparison of two strings is false, with a specified message in the exception object.

The expected string. The actual string. Set this value to true for case-sensitive comparison and false otherwise. A System.Globalization.CultureInfo object that contains the culture-specific comparison information. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables, whose values are to be inserted in . If the strings are not equal. For more information, see System.String.Compare.

The test fails if two object instances are not equal.

The expected object. The actual object. If the objects are not equal.

The test fails if two object instances are not equal, with a specified message in the exception object.

The expected object. The actual object. A message string. If the objects are not equal.

The test fails if two object instances are not equal, with a specified message in the exception object.

The expected object. The actual object. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables, whose values are to be inserted in . If the objects are not equal.

The test fails if two object instances of a specified type are not equal.

The object types. The expected object. The actual object. If the objects are not equal.

The test fails if two object instances of a specified type are not equal, with a specified message in the exception object.

The object types. The expected object. The actual object. A message string. If the objects are not equal.

The test fails if two object instances of a specified type are not equal, with a specified message in the exception object.

The object types. The expected object. The actual object. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables, whose values are to be inserted in . If the objects are not equal.

Assumes that a boolean value is either zero or one

The test fails if the value is not defined in the specified enumeration.

The enumeration type. The value to be tested. If is not a member of the enumeration.

The test fails if a specified string is not null or empty.

The test fails if a specified string is not null or empty. The string. If the the string is not null or of zero length.

The test fails if a specified string is null or empty.

The test fails if a specified string is not null or empty. The string. If the the string is null or of zero length.

Unmonitored 'failing' class

DO NOT INSTRUMENT THIS CLASS

Static class that contains methods to record values computed during test execution.

As IntelliTest explores the code, PexObserve methods record IntelliTest-generated values using their formatted string representations. IntelliTest displays the values in Visual Studio and records them in the HTML reports.

Internal helper methods

Adds a parameter for logging

Adds a parameter for logging and inline validation

Inline validation level

Inline validation not supported

Indirect validation supported, e.g. through accessible fields and safe properties

Direct validation supported, e.g. the value has a primitive type

Internal class.

Internal.

Internal.

The type.

Internal.

Internal.

Internal.

Internal.

The name. The value.

Fields and properties

Fields

Properties

Gets a value indicating whether this has any elements.

true if any; otherwise, false.

Initializes a new instance of the struct.

The fields. The properties.

Metadata cache

Internal use

Internal use

Gets the declared visible fields and safe property getters.

The type.

Gets the visible fields and safe property getters.

The type.

Maps a type to its proxy type

Tries to get the proxied type fromm a given type definition

A manager for value writers

Maximum number of elements written per array

Generic string when replacing a value

Gets the current rendering context

Gets the string builder

Gets the default value writer for nested values

Intializes a new instance of the value writer context

A delegate that writes a value to a string writer

A factory for value writers

Tries to create a value writer for a given .

Adds a new value writer factory

Gets a value indicating whether the value writer can create pretty printed values for this parameter

Writes a given value to a pretty printed string

Writes a given value to a pretty printed string

Writes a given value to a pretty printed string

This method runs in a protected context.

Internal use

Initializes a new test containing observed values.

Initializes a new test containing observed values. Returns an interface.

Initializes a new test containing observed values.

The generated values. The observed values. Returns an interface.

Clears the current context.

Gets the current observer context

A context object to observe and store values.

Initializes a new instance of the class.

Initializes a new instance of the class.

The generated values. The observed values.

Gets the generated values.

The generated values.

Gets the observed values.

The observed values.

Gets a named observed value

Logs a value in the parameter table.

Logs a value in the parameter table. The value's name. A message format string. The syntax for this string is identical to the format string used by Console.Writeline. In particular, insert "{0}", "{1}" and so on at appropriate locations in the string to represent the values of the variables in the array. One or more variables. whose values are to be inserted in .

Logs a string value in the parameter table.

The value's name. A string value.

Logs a value of in the parameter table.

The value's type. The value's name. A value of type .

Logs the value at the end of a test

The value's type. The value's name. A value of type .

Logs a value for viewing and performs inline validation if the type is supported.

The value's type. The value's name. A value of type .

Determines whether inline validation can be applied to this type.

The type. Returns true if inline validation can be applied to and false otherwise.

Exception indicating that a test is inconclusive

Initializes a new instance of the class.

Initializes a new instance of the class.

The message.

Initializes a new instance of the class.

The message. The inner.

Initializes a new instance of the class.

The that holds the serialized object data about the exception being thrown. The that contains contextual information about the source or destination. The parameter is null. The class name is null or is zero (0).

Exception representing a failed test case.

Creates an instance of this class.

Creates an instance of this class.

Creates an instance of this class.

Creates an instance of this class.

Internal exception representing a violated assumption.

Creates an instance of this class.

Creates an instance of this class.

Creates an instance of this class.

Creates an instance of this class.

Registers a custom exception type as an assumption exception

Initializes a new instance of the class.

Type of the exception.

Gets the type of the exception.

The type of the exception.

Callback that is executed before the exploration starts.

The host. some data

Base class for all IntelliTest exceptions

Initializes a new instance of the class.

Initializes a new instance of the class.

The message.

Initializes a new instance of the class.

The message. The inner.

Initializes a new instance of the class.

The info. The context.

Retry exception; thrown when new invariants were found, and new test inputs must be computed before the path is re-executed

Identifier of the point of retry. May be used to detect if we get stuck in a loop. (Each retryid may only be used once in each path.)

The retry id.

Lets IntelliTest retry the current test case

Initializes a new instance of the class.

Initializes a new instance of the class.

The message.

Initializes a new instance of the class.

The message. The inner.

Initializes a new instance of the class.

The that holds the serialized object data about the exception being thrown. The that contains contextual information about the source or destination. The parameter is null. The class name is null or is zero (0).

IntelliTest unverifiable unsafe memory access exception

Initializes a new instance of the class.

Initializes a new instance of the class.

The message.

Initializes a new instance of the class.

The message. The inner.

Initializes a new instance of the class.

The that holds the serialized object data about the exception being thrown. The that contains contextual information about the source or destination. The parameter is null. The class name is null or is zero (0).

Exception thrown by the Trace methods

Initializes a new instance of the class.

Initializes a new instance of the class.

The message.

Initializes a new instance of the class.

The message. The inner.

Initializes a new instance of the class.

The object that holds the serialized object data. The contextual information about the source or destination.

Explorable from constructor and setters

Initializes a new instance of the class.

Type of the explorable. The constructor parameter types.

Which fields should be considered to create instances (default: all)

Which properties should be considered to create instances (default: all)

Creates the explorable instance

The host. The explorable.

Abstract base class to define new implementations

Creates explorable guessers.

The host.

Callback that is executed before the execution starts.

The host. some data

Callback that is executed after the execution ends.

The host. The data returned by .

this method provides the opportunity to query services and interact with them.

The engine.

This method provides the opportunity install or substitute services.

The exploration container.

Generates a sequence of test from a systematic cross-product of api calls. This is the default strategy.

Creates a product explorable strategy that applies to all types.

Gets or sets the maximum sequence length.

Creates a product explorable strategy that applies to a set of (possibly generic) types.

The types.

Creates a product explorable strategy that applies to a set of (possibly generic) types.

The type of assembly. The fully qualified type names.

Determines whether this instance can create a session of the specified type.

The type.

Creates a new session.

The host. The type.

Attribute to define how instances of a particular type can be created by exploring a (parameterized) method

Initializes a new instance of the class.

Type of the explorable.

Gets the type to be created by exploration.

Creates the explorable instance

The host. The explorable.

Callback that is executed before the exploration starts.

The host. some data

Callback that is executed after the exploration ends.

The host. The data returned by BeforeExploration.

This method provides the opportunity install or substitute services.

The exploration container.

Initializes the specified exploration package. May interact with services.

The host.

Attribute to define how instances of a particular type can be created by using property setters and setter methods to set field values

Initializes a new instance of the class.

Type which can be constructed by exploring one of its constructors. The constructor parameter types.

Returns a that represents the current .

A that represents the current .

Creates the explorable instance

The host. The explorable.

Attribute that scans an assembly for methods marked by located in a static types.

Initializes a new instance of the class.

The type containing the factories.

Gets the list of explorable methods

Attribute to define how instances of a particular type can be created by using property setters and setter methods to set field values

Initializes a new instance of the class.

Type which can be constructed by exploring a (parameterized) Method. Type which declares the method which should be explored. Name of the exploration method. The exploration method parameter types; or null for any types.

Initializes a new instance of the class.

The explorable type assembly. Type which can be constructed by exploring a (parameterized) Method. Type which declares the method which should be explored. Name of the exploration method. The exploration method parameter types; or null for any types.

Initializes a new instance of the class.

Type of the explorable. The exploration method.

Gets the exploration method.

The exploration method.

Validates the exploration method.

The log. The target. The visibility context of generated tests.

Validates the attribute in a particular visibility context.

The log. The target. The visibility context of generated tests.

Creates the explorable instance

The host. The explorable.

Returns a that represents the current .

A that represents the current .

Attribute to define how instances of a particular type can be mutated by exploring a (parameterized) instance method

Initializes a new instance of the class.

Explorable type which contains instance method The instance method.

Initializes a new instance of the class.

Explorable type which contains instance method Name of the mutator method. The parameter types; or null for any types.

Initializes a new instance of the class.

The type of explorable type assembly. Full name of the explorable type. Name of the mutator method. The parameter types; or null for any types.

Gets the type to be created by exploration.

Gets the method which mutates an instance of the desired type.

Validates the instance method.

The log. The target. The visibility context of generated tests.

Validates the attribute in a particular visibility context.

The log. The target. The visibility context of generated tests.

Gets the explorable mutators.

The host. Type of the explorable.

Gets the explorable mutators.

The target method.

Callback that is executed before the exploration starts.

The host. some data

Abstract base class for attributes implementing the

Initializes a new instance of the class.

Callback that is executed before the exploration starts.

The host. some data

Determines whether this instance can create a session of the specified type.

The type.

Creates a new session.

The host. The type.

Generates random sequences of mutators within bounds.

Creates a random explorable strategy that applies to all types.

Gets or sets the maximum sequence length.

Gets or sets the maximum sequence length.

Creates a random explorable strategy that applies to a set of (possibly generic) types.

The types.

Creates a random explorable strategy that applies to a set of (possibly generic) types.

The type of assembly. The fully qualified type names.

Determines whether this instance can create a session of the specified type.

The type.

Creates a new session.

The host. The type.

Attribute that scans an assembly for methods marked by located in static types.

Initializes a new instance of the class.

The assembly.

Initializes a new instance of the class.

The type of assembly.

Initializes a new instance of the class.

Initializes a new instance of the class.

Name of the assembly.

Validates the attribute in a particular visibility context.

The log. The target. The visibility context of generated tests.

Gets a list of explorable methods

Attribute that scans an assembly for methods marked by located in static types.

Initializes a new instance

Callback that is executed before the exploration starts.

The host. some data

Tries to create an explorable factory method

Tries to validate the factory type.

Gets the list of explorable methods

Gets the list of explorable methods from a type

Helper method to create instances of types which have a contract invariant method

Creates an instance of a type with a contract invariant method.

Sets a field of an object.

The object. Name of the field. The value.

Checks the invariant, if any exists.

The object.

Metadata describing the methods in .

A metadata entity.

A metadata entity.

A metadata entity.

Base class for implementations

Initializes a new instance of the class.

The owner.

Gets the owner.

The owner.

Gets the coverage domain.

if set to true [selected].

Gets a value indicating wheter the assembly is ignored.

The module. true if the specified module is ignored; otherwise, false.

Gets the of the method

The method. The domain.

Determines whether the specified method is selected.

The method. true if the specified method is selected; otherwise, false.

Code coverage domain

No coverage domain

Included in reports and statistics

Include in the reports but excluded from statistics

Totally ignored

Attributes that define an assembly to include/exclude/ignore in the coverage reports

Gets the name of the target assembly.

The name of the target assembly.

Initializes a new instance of the class.

The coverage domain. The type from the assembly to exclude.

Initializes a new instance of the class.

The coverage domain. Name of the assembly.

Creates the filter

Gets a value indicating wheter the assembly is ignored.

The module. true if the specified module is ignored; otherwise, false.

Returns a that represents the current .

A that represents the current .

Base class Attribute for coverage filtering

Gets the domain.

The domain.

Initializes a new instance of the class.

The coverage domain.

Creates the filter

Decorates component with custom decorators

The location of the decorator. The host.

Attributes that define a method name to include/exclude/ignore in the coverage reports

Initializes a new instance of the class.

The coverage domain. Name of the method.

Creates the filter

Determines whether the specified method is selected.

The method. true if the specified method is selected; otherwise, false.

Returns a that represents the current .

A that represents the current .

Attributes that define an assembly to include/exclude/ignore in the coverage reports

Gets the namespace suffix

Initializes a new instance of the class.

The coverage domain. The namespace suffix.

Creates the filter

Gets a string representation of the attribute

Attributes that define a to include/exclude/ignore in the coverage reports

Initializes a new instance of the class.

The coverage domain. The target types.

Initializes a new instance of the class.

The coverage domain. The target types.

Creates the filter

Gets a string representation of the attribute

Specifies the coverage domain for a set of assemblies

Initialies a new instance of the attribute.

the desired coverage domain the set of assemblies that belong to this domain

Creates the filter

Includes an in the coverage reports

Initializes a new instance of the class.

The type of assembly.

Initializes a new instance of the class.

The type of assembly. The search priority.

Initializes a new instance of the class.

Name of the assembly.

Initializes a new instance of the class.

Name of the assembly. The search priority.

Gets or sets a value indicating whether the types or assemblies by this attribute might not be present on the system

Gets the name of the target assembly.

The name of the target assembly.

Gets the uncached included assemblies.

Gets the uncached included types.

Gets the uncached included methods.

Abstract base class where IntelliTest should focus its search

Initializes a new instance of the class.

Initializes a new instance of the class.

The search priority.

Gets the uncached included assemblies.

Tries to get the focused assemblies.

The log. The assemblies.

Gets the uncached included types.

Gets the included types.

The included types.

Gets the uncached included methods.

Tries to get the focused methods.

The log. The methods.

Gets or sets the priority

The priority.

Gets a value indicating whether it should not report coverage.

true do not report coverage; otherwise, false.

Decorates component with custom decorators

The location of the decorator. The host.

Includes types from a namespace

Gets the namespace prefix.

The namespace prefix.

Gets or sets a value indicating whether this is strict.

true if strict; otherwise, false.

Initializes a new instance of the class.

The type of assembly. The namespace prefix.

Gets the uncached included types.

Attribute to focus on a type

Gets the type of the target.

The type of the target.

Initializes a new instance of the class.

Type of the target.

Initializes a new instance of the class.

The target type definition.

Initializes a new instance of the class.

The type of assembly. The type.

Gets or sets a value indicating whether nested types should be instrumented as well

Recursively adds type,

Gets the uncached included types.

Gets the uncached included assemblies.

Gets the uncached included methods.

Used by , specifies the priority of the target in the test search algorithm

The default priority

The lowest priority

A low priority

The normal medium priority

A high priority

The highest priority

Base class for decorator attributes

Initializes a new instance of the class.

This method can announce filters, focuses, and packages to IntelliTest.

This method is called once when IntelliTest inspects all decorators. A package, that is added at this point, may later create components for individual explorations or paths. The location of the decorator. The host.

Validates the attribute in a particular visibility context.

The log. The target. The visibility context of generated tests.

This interface can be queried by a mock object to decide on the behavior of a method call.

Chooses the value of an out-parameter.

Chooses the result value.

Chooses the result value, assuming it is not null.

Returns a choice of valid HRESULT value.

Chooses whether the method should throw an exception.

Returns an exception (not null)

Returns an exception that has one of the specified types

if set to true [allow subtypes]. The exception types.

Returns an exception that has one of the specified types

The exception types.

Returns an exception that has one of the specified types

The exception types.

This interface is used during a session with the . Each test case may involve several sessions. Seperate sessions help IntelliTest to differentiate between different choices.

Returns a value compatible with the type parameter.

The description of the choice.

Returns a value compatible with the Enum definition

must be an enum type The description.

Returns a value compatible with the type parameter.

The description of the choice.

Returns a integer in the array indexable length

The description. The array.

Returns a value compatible with the type parameter.

The description of the choice. Whether the returned reference must not be null. Whether subtypes of the types may be considered A list of types assignable to the type parameter

Returns a value of a set of possible values.

The description of the choice. The values to choose from.

Returns a value within a range.

The description of the choice. The minimum value (inclusive). The maximum value (exclusive.

Helper functions to deal with symbolic inputs

DOT NOT INSTRUMENT THIS CLASS

Forgets all constraints associated with passed value

A delegate representing a nullary function.

A delegate representing a nullary method.

Evaluates a given function, but forgets all constraints associated with the computation of the result.

The function.

Performs a given action, but forgets all constraints associated with the computation.

The action.

Forgets all constraints associated with the enumeration

Computes the derivative of formula with respect to variable

Turns a value into a string that represents the symbolic value.

Checks whether the given value has any symbolic information attached to it. In other words, it checks whether the value was derived from the test inputs. Note that this check only applies to the given value itself, and not to its fields if it is an object

Turns a value into a string that represents the symbolic value.

Gets a textual representation of the path condition at this point.

Gets a textual representation of the path condition at this point.

Gets a textual representation of inputs directly or indirect affecting the given value.

Instruct IntelliTest to minimize a particular value.

Instruct IntelliTest to minimize a particular value.

Instruct IntelliTest to minimize a particular value.

Instruct IntelliTest to minimize a particular value.

Internal helper methods

Identity; associates a value with a symbolic name.

The name. The value.

Checks the argument predicate.

The value. Name of the parameter.

Checks the argument is not null.

The value. Name of the parameter.

Checks the argument is not null.

The value. Name of the parameter.

Checks the argument is not null.

The value. Name of the parameter.

Checks the argument is not null.

The value. Name of the parameter.

Checks indices whitin bounds.

Helper class to properly initialize raw memory to run tests that take pointers.

Initializes the pointer space at the specified base address with the specified size.

The base address. The size.

Initializes the pointer space with a given virtual memory instance.

The new virtual memory.

Gets the length of the pointer space

The length.

Gets the length of the pointer space

The length.

Determines whether the specified pointer is valid.

The pointer. The size. true if the specified pointer is valid; otherwise, false.

Determines whether the specified pointer is valid.

The pointer. The size. true if the specified pointer is valid; otherwise, false.

Clears the values in the memory region

Validates the content of the pointer space.

Static helper class to deal with unsafe memory

Typed malloc.

The type.

Typed free.

The type. The pointer.

Attribute to define a type definition to not be suppressed

Initializes a new instance of the class.

Gets the target type

Creates the preparable instance

The preparable.

Callback that is executed before the exploration starts.

The host. some data

Callback that is executed after the exploration ends.

The host. The data returned by BeforeExploration.

This method provides the opportunity install or substitute services.

The exploration container.

Initializes the specified exploration package. May interact with services.

The host.

Attribute to define how preparation methods should be registered before a type is allowed to execute

Initializes a new instance of the class.

Type of the preparable.

Gets the type to be created by exploration.

Creates the preparable instance

The host. The preparable.

Callback that is executed before the exploration starts.

The host. some data

Callback that is executed after the exploration ends.

The host. The data returned by BeforeExploration.

This method provides the opportunity install or substitute services.

The exploration container.

Initializes the specified exploration package. May interact with services.

The host.

Attribute that scans an assembly for methods marked by located in static types.

Initializes a new instance

Callback that is executed before the exploration starts.

The host. some data

Tries to validate the factory type.

Gets the list of preparable methods

Gets the list of preparable methods from a type

Attribute that scans an assembly for methods marked by located in static types.

Initializes a new instance of the class.

The assembly.

Initializes a new instance of the class.

The type of assembly.

Initializes a new instance of the class.

Initializes a new instance of the class.

Name of the assembly.

Validates the attribute in a particular visibility context.

The log. The target. The visibility context of generated tests.

Gets a list of explorable methods

Filters out irrelevant stack frame in stack traces

Initializes a new instance of the class.

Creates a stack frame filter

Callback that is executed before the execution starts.

The host. some data

Callback that is executed after the execution ends.

The host. The data returned by .

this method provides the opportunity to query services and interact with them.

The engine.

This method provides the opportunity install or substitute services.

The exploration container.

Suppresses stack frames from an assembly

Gets the name of the assembly.

The name of the assembly.

Initializes a new instance of the class.

The type of assembly.

Initializes a new instance of the class.

Name of the assembly.

Creates the filter.

Creates a stack frame filter

Suppresses stack frames from a namespace

Gets the namespace.

The namespace.

Initializes a new instance of the class.

The namespace.

Creates the filter.

Creates a stack frame filter

Abstract base class for uninstrumented call filters

Creates an instance of this type.

Creates an instance of this type.

Callback that is executed before the exploration starts.

The host. some data

Gets a value indicating whether the static-field-store should be ignored.

The field.

Marks a fixture or exploration to be ignored from the execution

Initializes a new instance of the class.

The message.

Gets the message.

The message.

Gets or sets the work item id.

The work item id.

Returns a that represents the current .

A that represents the current .

Abstract base class for uninstrumented call filters

Creates the filter

Callback that is executed before the exploration starts.

The host. some data

Callback that is executed after the exploration ends.

The host. The data returned by BeforeExploration.

Initializes the specified exploration package. May interact with services.

The host.

This method provides the opportunity install or substitute services.

The exploration container.

Suppresses uninstrumented call messages from a particular assembly

Gets the name of the assembly.

The name of the assembly.

Initializes a new instance of the class.

Name of the assembly.

Initializes a new instance of the class.

The type of assembly.

Creates the filter.

Creates the filter

Suppresses uninstrumented call for any type in namespace and subnamespaces

Gets the namespace.

The namespace.

Gets a value indicating whether methods defined in classes that are not part of any namespace should be reported.

Initializes a new instance of the class.

The @namespace.

Initializes a new instance of the class.

The type of namespace.

Creates the filter

Suppresses uninstrumented call for any type in namespace and subnamespaces

Gets the type full names.

The type full names.

Initializes a new instance of the class.

Full name of the type.

Initializes a new instance of the class.

The type.

Initializes a new instance of the class.

The type full names.

Initializes a new instance of the class.

The types.

Creates the filter

Abstract base class for log event filters

Creates a instance.

Callback that is executed before the execution starts.

The host. some data

Callback that is executed after the execution ends.

The host. The data returned by .

this method provides the opportunity to query services and interact with them.

The engine.

This method provides the opportunity install or substitute services.

The exploration container.

Suppresses uninstrumented call for any type in namespace and subnamespaces

Gets the type full names.

The type full names.

Initializes a new instance of the class.

Full name of the type.

Initializes a new instance of the class.

The type.

Initializes a new instance of the class.

The type full names.

Initializes a new instance of the class.

The types.

Callback that is executed before the exploration starts.

The host. some data

Abstract base attribute to define and register new implementations

Creates a new test namer.

The host.

Callback that is executed before the exploration starts.

The host. some data

Initializes the specified exploration package. May interact with services.

The host.

This method provides the opportunity install or substitute services.

The exploration container.

Callback that is executed after the exploration ends.

The host. The data returned by BeforeExploration.

Attribute that excludes members from a particular type to be asserted

Initializes a new instance of the attribute with a type definition

Initializes a new instance of the attribute with a type definition

the member name filter

Creates the filter

Base class for attribute creating IPexAttributeFilter instances

Initializes a new instance of

Load the filters if any

Tries to create a set of filters

Method for After Exploration actions.

Initializes the PexAssertionAttributeFilterBase class.

Attribute that announce a type of IntelliTest.

Initializes a new instance of the class.

Type of the target.

Initializes a new instance of the class.

The type of assembly. Full name of the type.

Initializes a new instance of the class.

Name of the assembly. Full name of the type.

Create an instance of .

This method uses ExtendedReflection; it is not a constructor so that it does not show up in intellisense.

Gets the type of the target.

The type of the target.

Gets the types.

The host.

Returns a that represents the current .

A that represents the current .

Attribute base class for generic argument providers.

Initializes a new instance of the class.

Gets the generic argument tuples.

Abstract base class of attributes that announce types to IntelliTest

Initializes a new instance of the class.

Gets the types.

The host.

Callback that is executed before the exploration starts.

The host. some data

A collection of types to add to the guesser hints

Initializes a new instance of the class.

The types.

Gets the type definitions.

The host.

Abstrat base class for stub types providers

Initializes a new instance of the class.

Callback that is executed before the exploration starts.

The host. some data

Gets the type definitions.

The host.

Allows failures of code contracts requires clauses when they occur at the surface of the type-under-test code from the test code.

Allows failures of code contracts requires clauses when they occur at the surface of the type-under-test code from the test code.

Gets or sets a value indicating whether inner exception should be inspected.

true if accept inner exception; otherwise, false.

Gets or sets whether this exception validator only applies to exceptions that have been thrown at the surface of the type-under-test.

Gets or sets a message filter; uses the default naming conventions for filters.

Gets or sets a value indicating whether the exception type should be documented

Determines whether the exception type is allowed.

Type of the exception.

Determines whether the source assembly is allowed.

The assembly name

Determines whether the target method is allowed.

The target site.

Describes what this validator does.

Allows the exception from any location

Initializes a new instance of the class.

Type of the exception.

Initializes a new instance of the class.

assembly of the exception exception type full name

Determines whether the source assembly is allowed.

The assembly name

Determines whether the target method is allowed.

The target site.

Allows documented exception from visible target sites

Gets or sets a value indicating whether the exception type should be documented

Gets or sets a value indicating whether inner exception should be inspected.

true if accept inner exception; otherwise, false.

Describes what this validator does.

Determines whether the exception type is allowed.

Type of the exception.

Determines whether the source assembly is allowed.

The assembly name

Determines whether the target method is allowed.

The target site.

Specifies an exception that is allowed to occur from a specified assembly. If the execption occurs, the generated test will be tagged with 'ExpectedException'.

Initializes a new instance of the class.

The type of assembly. Type of the allowed exception.

Initializes a new instance of the class.

Name of the assembly. Type of the allowed exception.

Initializes a new instance of the class.

The allowed exception type assembly. Full name of the assembly exception type. Name of the assembly.

Gets the name of the source assembly.

The name of the source assembly.

Determines whether the source assembly is allowed.

true if [is assembly accepted] [the specified assembly]; otherwise, false.

Determines whether target method is allowed

The target site. true if [is target site allowed] [the specified target site]; otherwise, false.

Specifies an exception that is allowed to occur from a specified method. If the execption occurs, the generated test will be tagged with 'ExpectedException'.

Initializes a new instance of the class.

Type of the allowed exception. is a null reference.

Initializes a new instance of the class.

Type of the allowed exception. if set to true [accept exception subtypes]. is a null reference.

Callback that is executed before the exploration starts.

The host. some data

Callback that is executed after the exploration ends.

The host. The data returned by BeforeExploration.

Determines whether the source assembly is allowed.

true if [is assembly accepted] [the specified assembly]; otherwise, false.

Determines whether target method is allowed

The target site. MAY BE NULL true if [is target site allowed] [the specified target site]; otherwise, false.

Specifies an exception that is allowed to occur from a specified type. If the execption occurs, the generated test will be tagged with 'ExpectedException'.

Initializes a new instance of the class.

Type of the allowed exception. Type of the source.

Initializes a new instance of the class.

Type of the allowed exception. The type of assembly. Full name of the source type.

Determines whether the source assembly is allowed.

true if [is assembly accepted] [the specified assembly]; otherwise, false.

Determines whether target method is allowed

The target site. true if [is target site allowed] [the specified target site]; otherwise, false.

What this checker really does: It provides a nice test and wiki topic if an assertion is violated.

Specifies an exception that is allowed to occur. If the execption occurs, the generated test will be tagged with 'ExpectedException'.

Initializes a new instance of the class.

Type of the allowed exception. is a null reference.

Appends to the description.

Gets or sets a value that determines whether exception should be checked by equality or sub-typing

Determines whether the exception type is allowed.

Type of the exception.

Gets the expected type of the exception.

The expected type of the exception.

Describes what this validator does.

Validates the attribute in a particular visibility context.

The log. The target. The visibility context of generated tests.

Base class for Exception validators

Initializes a new instance of the class.

Gets or sets a value indicating whether inner exception should be inspected.

true if accept inner exception; otherwise, false.

Gets or sets a value indicating whether the exception type should be documented

Gets or sets whether this exception validator only applies to exceptions that have been thrown at the surface of the type-under-test.

Gets or sets a message filter; uses the default naming conventions for filters.

Gets the wiki topic.

The wiki topic.

Gets the exploration host

Determines whether the exception instance is allowed.

The ex.

Determines whether the exception type is allowed.

Type of the exception.

Determines whether the exception location is allowed.

The ex. The stack trace. Kind of the failure. true if [is exception location valid] [the specified ex]; otherwise, false.

Determines whether the source assembly is allowed.

The assembly name

Determines whether the target method is allowed.

The target site.

Determines whether the stack trace of an exception is allowed.

The exception. The filtered stack trace. Kind of the failure. true if [is stack trace valid] [the specified ex]; otherwise, false.

Gets or sets a value indicating whether the filtered stack trace should be cut before the first call to the Code Contract runtime method

Filters the stacktrace

The ex. Kind of the failure.

Determines whether the exception is documented on any method present in the stack trace

Type of the exception. methods from the stack

Determines whether the exception message is valid.

Describes what this validator does.

Describes the specified type.

The type.

Appends to the description.

Gets a value indicating whether this exception was expected

The exception. optional; may provide more information about why the validator came to its conclusion optional; may provide more information

Analyzes the exception.

The exception. The wiki topic. The message.

Callback that is executed before the exploration starts.

The host. some data

Callback that is executed after the exploration ends.

The host. The data returned by BeforeExploration.

Gets the type-under-test, if any.

Whether the given method is defined in the type under test.

may be null

Gets the opportunity to annotate the test with more information about the exception. By default, does nothing.

exception that was caught, if any (may be null)

Attribute to specify expected numbers of tests

indicates whether this feature relies on symbols

Gets or sets the total count.

The total count.

Gets or sets the total minimum count.

The total count.

Gets or sets the duplicate count.

The duplicate count.

Gets or sets the failure count.

The failure count.

Gets or sets the new count.

The new count.

Gets or sets the inconclusive count.

The inconclusive count.

Tries to create an exploration goal instance

Allows failures of code contracts requires clauses.

Allows failures of code contracts requires clauses,

Gets or sets a value indicating whether inner exception should be inspected.

true if accept inner exception; otherwise, false.

Gets or sets whether this exception validator only applies to exceptions that have been thrown at the surface of the type-under-test.

Gets or sets a message filter; uses the default naming conventions for filters.

Gets or sets a value indicating whether the exception type should be documented

Determines whether the exception type is allowed.

Type of the exception.

Determines whether the source assembly is allowed.

The assembly name

Determines whether the target method is allowed.

The target site.

Describes what this validator does.

Abstract base class for Assume attributes

Initializes a new instance of the class.

Initializes a new instance of the class.

The type.

Initializes a new instance of the class.

The type. Name of the field.

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

The log. Name of the target.

Validates that the target is defined.

The log. Name of the target.

Checks a list of types compatible with this domain.

Type of the target. The types. Whether the list of types is exclusive.

The test fails if the specified parameter is a null reference.

This attribute provides a convenient alternative to and related overloads.

A constructor to be used only on target declarations.

A constructor for a specified type

A positional parameter that specifies the type.

A constructor for a specified type and public field.

A positional parameter that specifies the declaring type. A positional parameter that specifies the field name.

Tries to get an invariant.

The host. The layout. The invariant builder.

Validates the domain against the target.

Abstract base class for all IntelliTest attributes

Initializes a new instance of the class.

Used to specify additional settings about parameterized test methods.

Initializes a new instance of the class.

Initializes a new instance of the class.

The type under test.

Initializes a new instance of the class.

the type under test assembly name the type under test type name

Gets or sets the type under test.

The type under test.

Gets or sets the fixture suite.

The suite.

Creates the fixtures.

The assembly. The type.

Supported bitness for an exploration

Any process bitness

32-bit only processes

64-bit only processes

Abstract base class for exploration attributes

Validates the method.

The log. The method.

Clones this instance.

Creates a empty clone of the attribute

Speficies the supported bitness for this test

Gets of sets the SupportedPlatform value.

Tags factory methods used to instantiate objects. The method must be visible, static in a static class.

This attribute is attached to a method to indicate the actual type of the values returned by the method.

Initializes a new instance of the class.

Initializes a new instance of the class.

Type of the factored.

Initializes a new instance of the class.

The factored type assembly. Full name of the factored type.

Initializes a new instance of the class.

The factored type assembly. Full name of the factored type.

Gets the factored type.

Identifies a method as a parameterized unit test for IntelliTest.

Creates a empty clone of the attribute

Validates the method.

The log. The method.

A user-implemented delegate that creates an exception object.

Returns an exception object.

Supplies auxiliary input values to a test method.

PexChoose methods do not determine whether a test passes or fails, they simply specify input values. You must still use and to restrict input values and define whether a test passes or fails. All PexChoose methods have a user-defined assigned name, which is used for purposes such as column headings in a parameter table. Some methods take a "short" name which is passed to a user-implemented object that supports INamed. The object converts the short name into a full name that is then used by Pex. The object could be used, for example, to create a scoped name from a short name, such as converting shortName to A.B.shortName.

Helper methods to support test execution.

Initializes for test.

Helper methods to support the infrastucture.

Initialization of the oracle with a particular provider.

Retrieves a method-call specific oracle.

Gets a value from a specified enum type.

The enum type. A name. Returns a value from the enum.

Gets a value of a specified type.

The value's type. The value's name. Returns a value of type T.

Gets a non-null value of a specified type.

The value's type. The value's name. Returns a non-null value of type T.

Gets a value from an argument list.

The value's type. The value's name. One or more arguments of type T. Returns a value from the argument list.

Gets an integer from a specified range.

The value's name The range's lower bound, which is inclusive. The range's upper bound, which is exclusive. Returns an integer from the specified range.

Gets an index value from a specified array.

The array type. The value's name. An array of type T. Returns an index value from the array.

Gets a value from an argument list that is compatible with the specified type.

The value's type. The value's name. Set to true if the value must be non-null, an false otherwise. Set to true to allow Value to also return subtypes of the specified type and false otherwise. One or more Type objects. Returns a value from one of the types in the argument list, including subtypes of those arguments if set to true.

Gets an array of a specified type and length.

Gets an array of a specified type and length. The array type. The array's name. The array length. Returns an array of the specified type and length.

Allows IntelliTest to throw an exception of a specified type.

The exception type. The exception's name. must have a public default constructor.

Allows IntelliTest to throw an exception from a list of exception types.

The exception's name. One or more exception types. The types in must have public default constructors.

Allows IntelliTest to throw one of the exceptions provided by a list of exception factories.

The exception's name. One or more user-implemented exception factory delegates.

Creates a delegate of type .

The delegate type. Returns the delegate. The delegate cannot support out or ref parameters.

Attempts to create a delegate of a specified type.

The delegate's type. Receives the delegate. Returns true if the delegate was successfully created and false otherwise. The delegate cannot support out or ref parameters.

This helper class takes care of compiling delegates in a protected setting.

Defines a test target: not null and precise type matching.

Initializes a new instance of the class.

Tries to get an invariant.

The host. The layout. The invariant builder.

Validates the domain against the target

Assembly level settings attribute

Gets or sets the test framework.

The test framework.

Gets or sets the test language.

The test language.

Gets or sets a value indicating whether no partial classes should be emitted.

Gets or sets a value indicating whether no test classes should be emitted.

Gets or sets a value indicating whether readonly files should be overridden.

Gets or sets a value indicating whether duplicate tests should be emitted.

Gets or sets the test root namespace.

The test root namespace.

Gets or sets a value indicating whether fixture setup and teardown methods should be executed on each test.

Gets the copyright header to be added on generated files

Gets or sets the test copyright that is inserted into all generated test case files.

The test copyright.

Gets or sets the required coverage percentile.

The required coverage percentile.

Gets or sets a value indicating whether a separate app domain should be used.

Gets or sets a value indicating whether ignores app config files (instead of forcing loading in a separate app domain)

Clones this instance.

Design time settings categories

Boundaries

Tests

Experimental

Miscellaneous

Strategy

Coverage

Main

Filters

Thread appartment state for the explorations

The System.Threading.Thread will create and enter a single-threaded apartment.

The System.Threading.Thread will create and enter a multithreaded apartment.

The System.Threading.Thread.ApartmentState property has not been set.

Base attribute for settings

Initializes a new instance of the class.

A named parameter that specifies the fixture categories.

The categories.

A named parameter that specifies the maximum number of execution tree nodes.

The maximum number of nodes.

A named parameter that specifies the maximum number of branches that can be taken along a single execution path.

The maximum number of branches.

A named parameter that specifies maximum number of method calls that can be performed to construct an object of a given type.

The maximmum number of method calls. This parameter applies only when no custom exploration strategy is configured.

A named parameter that specifies maximum number of runs that will be tried during an exploration.

The maximum number of runs.

A named parameter that specifies the maximum number of runs that IntelliTest will attempt which result in distinct execution paths.

The maximum number of distinct paths. If the program is non-deterministic, or IntelliTest cannot capture all constraints, some runs may follow the same execution paths.

A named parameter that specifies the maximum number of .

The maximum number of consecutive runs that do not yield any new tests.

A named parameter that specifies the maximum number of method calls during an exploration.

The maximum number of method calls.

A named parameter that specifies the maximum stack size during an exploration

The maximum stack size.

A named parameter that specifies the maximum number of conditions over the inputs that can be checked during a single execution path.

The maximum conditions that can be checked during a single execution path.

A named parameter that specifies the maximum number of new exceptions before stopping.

The maximum number of new exceptions before stopping.

A named parameter that specifies the maximum working set.

The max working set, in MB.

A named parameter that specifies the constraint solver's time out value.

The constraint solver's time out value, in seconds.

A named parameter that specifies the constraint solver's memory limit.

The constraint solver's memory limit, in MB.

A named parameter that specifies the exploration time out value.

The time out value, in seconds.

A named parameter that specifies whether to disable the post analysis.

Set to true to disable the post analysis and false otherwise.

The priority of the generated tests if supported by the test framework

The desiered test priority. -1 if not specified.

Owners for the generated tests if any and if supported by the test framework.

List of owners for the generated tests.

A named parameter that specifies the format string for the the test class name.

The test class name's format string.

A named parameter that specifies whether to ignore execution paths that exceed , or .

Set this value to true to ignore execution paths that exceed , or and false otherwise.

A named parameter that specifies grounds on which IntelliTest should generate test cases.

Which test cases IntelliTest should emit.

A named parameter that specifies whether IntelliTest should include non-final segment coverage in coverage reports and when deciding whether to emit tests.

Set this value to true to include non-final segment coverage and false otherwise.

A named parameter that specifies whether IntelliTest can emit a new test case if the branch coverage increases, considering how often branches have been hit, capped by this option.

The max branch hits.

A value that indicates whether choices should be observed in the parameter table.

Experimental.

A named parameter that specifies in which apartment state the test thread should be.

The test thread's apartment state, STA or MTA.

A named parameter that specifies whether generated tests are not reproducible

Set this parameter to true to specify that generated tests are not reproducible and false otherwise.

A named parameter that specifies whether observed values should not be asserted

Set this parameter to true to specify that IntelliTest should not assert observed values and false otherwise.

Attribute that defines a variation of settings

Initializes a new instance of the class.

Name of the mix.

Gets or sets the name of the mix.

The name of the mix.

Gets or sets the mix report order.

The mix report order.

Base class of IntelliTest settings store.

Initializes a new instance of the class.

Locks all properties of this instance.

Sets the value.

The name. The value. the instance has been locked

Gets a value

The key. The default value.

Gets a value

Gets the string value.

The name. The default value.

Gets the enum value.

The name. The default value. must be enum

Gets the int value.

The name. The default value.

Gets the bool value.

The name.

Tries to query the value.

The name. The value.

Overrides the settings.

The attribute.

Integrates settings from attribute that have not been set in the current store yet

Writes the settings as XML attributes

The writer.

Copies the values to

The attribute.

Gets a value indicating whether this instance has settings that have been set.

true if it contains settings; otherwise, false.

Gets the list of settings name that have been set

Creates a custom attribute

Test filter strategies

All unique failures

All unique failures or increased coverage tests

All unique failures or increased filtered coverage tests

All unique failures or unique paths

All

Defines a single type tuple that will be used to instantiate generic test methods.

Initializes a new instance of the class.

The generic argument.

Initializes a new instance of the class.

The first generic argument. The second generic argument.

Initializes a new instance of the class.

The first generic argument. The second generic argument. The third generic argument.

Initializes a new instance of the class.

The generic arguments.

Gets the generic argument tuples.

Attribute to register a method as an assert method

Initializes a new instance of the class.

Initializes a new instance of the class.

Callback that is executed before the execution starts.

The host. some data

Attribute to enable the assert coverage metric

Initializes a new instance of the class.

Callback that is executed before the path starts.

The Visual Studio host object. Returns the assertCoverageMonitor object. If not available, returns null

Callback that is executed after the path ends.

The Visual Studio host object. The data returned by BeforeRun.

Tags methods used to prepare types. The method must be visible, static in a static class. It may have parameters.

This attribute is attached to a method to indicate the type that needs to be prepared.

Initializes a new instance of the class.

Type that needs to be prepared.

Initializes a new instance of the class.

The prepared type assembly. Full name of the prepared type.

Initializes a new instance of the class.

The prepared type assembly. Full name of the prepared type.

Gets the prepared type

Anonymous action

Anonymous action

Anonymous action

Returns true if left is equal to right

Abstract base class for attribute implementing a IPexRuntimeContext instance

Initializes a new instance of the class.

Tries to create runtime context.

The host. The context.

Callback that is executed before the exploration starts.

The host. some data

Callback that is executed after the exploration ends.

The host. The data returned by BeforeExploration.

Specifies the intended method under test for the current exploration. This attribute is used for exploration of private methods that require Reflection. Usually, this information can be mined by reading the method body byte code but when private method calls involving reflection are involved, we need this attribute.

This attribute requires the test class to be annotated with the 'TypeUnderTest' setting.

Specifies a method under test

method short name including parameter types

Gets the member under test

Gets the Method under test's name

A strongly-typed resource class, for looking up localized strings, etc.

Returns the cached ResourceManager instance used by this class.

Overrides the current thread's CurrentUICulture property for all resource lookups using this strongly typed resource class.

Looks up a localized string similar to Add Attribute.

Looks up a localized string similar to Analysis has stopped because the test case ran too long for these inputs..

Looks up a localized string similar to an element of types is null.

Looks up a localized string similar to Argument in {0} has wrong type: {1} expected, actual {2}.

Looks up a localized string similar to array has null or empty element.

Looks up a localized string similar to As .

Looks up a localized string similar to Assumed '{0}' different from '{1}'.

Looks up a localized string similar to Assumed '{0}', got '{1}'.

Looks up a localized string similar to buffer length minus count is less than count.

Looks up a localized string similar to call to {0} method {1}.

Looks up a localized string similar to cannot allocate memory at {0} with size {1}.

Looks up a localized string similar to {0} cannot be applied to non-reference type {1}.

Looks up a localized string similar to Cannot create instance of {0}.

Looks up a localized string similar to Cannot get file list.

Looks up a localized string similar to Cannot read file {0}.

Looks up a localized string similar to Cannot retrieve singleton value.

Looks up a localized string similar to Click 'Fix' to Edit Factory, or, as a workaround, create a parameterized test that constructs the value from simpler values..

Looks up a localized string similar to Constructor {0} doesn't need receiver {1}.

Looks up a localized string similar to Convert to parameterized test.

Looks up a localized string similar to Could not create explorable of type {0}.

Looks up a localized string similar to could not create an instance of {0}.

Looks up a localized string similar to Could not create preparable filter.

Looks up a localized string similar to Could not create preparable of type {0}.

Looks up a localized string similar to Could not find field '{0}' in {1}, defined in binding {2}.{3}.

Looks up a localized string similar to could not guess how to create {0}.

Looks up a localized string similar to Could not obtain Visual Basic {0} message.

Looks up a localized string similar to creatable type and factory container must be the same when the factory is a constructor.

Looks up a localized string similar to Creation method {0} returned null.

Looks up a localized string similar to Creation method {0} returned value of type {1} instead of {2}.

Looks up a localized string similar to Creation of fixture of type {0} failed.

Looks up a localized string similar to decorator '{0}' was used without loading it's corresponding assembly package.

Looks up a localized string similar to Dispose of fixture {0} failed.

Looks up a localized string similar to do not know type on which to apply {0}.

Looks up a localized string similar to Don't know how to make {0}.

Looks up a localized string similar to test {0} is a duplicate or outdated.

Looks up a localized string similar to element of types is null.

Looks up a localized string similar to element of typesOfNamespace is null.

Looks up a localized string similar to Expected '{0}', got '{1}'.

Looks up a localized string similar to Expected '{0}'. Got '{1}' with tolerance '{2}'..

Looks up a localized string similar to Expected {0} to not be equal to {1} (within {2})..

Looks up a localized string similar to Expected '{0}' which is different from '{1}'.

Looks up a localized string similar to Expected a non-null reference..

Looks up a localized string similar to Expected a null reference..

Looks up a localized string similar to Expected true, got false.

Looks up a localized string similar to Failed to load previous xml report at {0}.

Looks up a localized string similar to Failed to create instances of {0}..

Looks up a localized string similar to Failed to get the callee for call from {0} to {1}.

Looks up a localized string similar to Failed to get state coverage.

Looks up a localized string similar to Failed to guess a factory for '{0}' using visible APIs. Click 'Fix' to Edit Factory, or, as a workaround, create a parameterized test that constructs the object from simpler values..

Looks up a localized string similar to Failed to scan method for type under test.

Looks up a localized string similar to Failed to set some fields of '{0}'. Value types which perform argument validation are not supported.As a workaround, create a parameterized test that constructs the value from simpler values..

Looks up a localized string similar to --- failed to write value: {0}: {1}.

Looks up a localized string similar to Failing test: {0}.

Looks up a localized string similar to Failing test: {0}, {1}.

Looks up a localized string similar to field {0} and property {1} do not have the same type, defined by binding {2}.{3}.

Looks up a localized string similar to Field {0} and property {1} do not have the same type, defined by binding {2}.{3}.

Looks up a localized string similar to field holding singleton {0} must be static.

Looks up a localized string similar to flags enumeration not supported.

Looks up a localized string similar to Found {0} files.

Looks up a localized string similar to Guessed a factory for '{0}' using visible APIs. Click 'Fix' to Accept/Edit Factory..

Looks up a localized string similar to guessed how to create {0}.

Looks up a localized string similar to Ignore limitation.

Looks up a localized string similar to Ignore Testability issue.

Looks up a localized string similar to Ignore uninstrumented method.

Looks up a localized string similar to Inconclusive since symbol manager is not present.

Looks up a localized string similar to index or count cannot be negative.

Looks up a localized string similar to instance.

Looks up a localized string similar to Help to create an instance of {0} needed..

Looks up a localized string similar to Instance method {0} needs receiver of type {1}.

Looks up a localized string similar to invalid methodBase.

Looks up a localized string similar to invalid value.

Looks up a localized string similar to {0} is not defined in {1}.

Looks up a localized string similar to Issues trying to create an instance of {0}.As a workaround, create a parameterized test that constructs the object from simpler values..

Looks up a localized string similar to Location: {0} at {1}.

Looks up a localized string similar to Location: {0} at [{1}]{2}.

Looks up a localized string similar to metadata error: {0}.

Looks up a localized string similar to metadata event: {0}.

Looks up a localized string similar to metadata warning: {0}.

Looks up a localized string similar to {0} may not have parameters, defined by binding {1}.{2}.

Looks up a localized string similar to {0} method already loaded: {1}.

Looks up a localized string similar to {0} method cannot be constructor: {1}.

Looks up a localized string similar to {0} method must be {1}: {2}.

Looks up a localized string similar to method under test {0}.{1} was not found.

Looks up a localized string similar to minInclusive < maxExclusive.

Looks up a localized string similar to must be called on enum types.

Looks up a localized string similar to Must be positive..

Looks up a localized string similar to {0} namespaces ending in '{1}'.

Looks up a localized string similar to no factory container given.

Looks up a localized string similar to no factory container or name given.

Looks up a localized string similar to non-value type must have factor.

Looks up a localized string similar to Otherwise, click 'Fix' to {0}, and run again..

Looks up a localized string similar to Outdated existing generated test detected..

Looks up a localized string similar to Passing test.

Looks up a localized string similar to If you want to analyze the code further, click 'Fix' to {0}, and run again..

Looks up a localized string similar to PexObserve not initialized..

Looks up a localized string similar to Post analysis failed, some metrics might be unavailable..

Looks up a localized string similar to preparation method cannot be constructor.

Looks up a localized string similar to preparation method is not visible.

Looks up a localized string similar to preparation method may not have out or ref parameters.

Looks up a localized string similar to preparation method or its declaring type must have the same generic arguments as the prepared type.

Looks up a localized string similar to reached.

Looks up a localized string similar to Remove Test Attribute.

Looks up a localized string similar to Searching: {0} / {1}, {2}.

Looks up a localized string similar to Setter {0} does not belong to type {1}.

Looks up a localized string similar to Setter {0} invocation failed for type {1}.

Looks up a localized string similar to Setter {0} of {1} has wrong type.

Looks up a localized string similar to Setter {0} of {1} is indexed.

Looks up a localized string similar to Setter {0} of {1} is not public.

Looks up a localized string similar to Setter {0} of {1} is static.

Looks up a localized string similar to static.

Looks up a localized string similar to Static method {0} doesn't need receiver {1}.

Looks up a localized string similar to Static method {0} doesn't need receiver of type {1}.

Looks up a localized string similar to TEnum must be an enumeration type..

Looks up a localized string similar to Test: {0}.

Looks up a localized string similar to Test suite of the fixture.

Looks up a localized string similar to the PexMethodUnderTestAttribute requires the TypeUnderTest to be set on the test class.

Looks up a localized string similar to This assertion has not been reached.

Looks up a localized string similar to Too many arguments in {0}.

Looks up a localized string similar to Type not supported..

Looks up a localized string similar to Type-under-test not speficied.

Looks up a localized string similar to Uncovered OS write to object {0} from location {1}.

Looks up a localized string similar to Uncovered static OS write from location {0}.

Looks up a localized string similar to Uncovered write.

Looks up a localized string similar to unknown message about {0}.

Looks up a localized string similar to Using file {0}: {1} bytes.

Looks up a localized string similar to valid malloc pointer.

Looks up a localized string similar to Value is not null or empty..

Looks up a localized string similar to Value is null or empty..

Looks up a localized string similar to {0}/{1}.

Parameterized model that simulates arbitrary text reader

Initializes a new instance of the class.

Initializes a new instance of the class.

Gets a value indicating whether this is touched.

true if touched; otherwise, false.

Gets a value indicating whether this is disposed.

true if disposed; otherwise, false.

Releases the unmanaged resources used by the and optionally releases the managed resources.

true to release both managed and unmanaged resources; false to release only unmanaged resources.

Closes the and releases any system resources associated with the TextReader.

Reads a maximum of count characters from the current stream and writes the data to buffer, beginning at index.

When this method returns, this parameter contains the specified character array with the values between index and (index + count -1) replaced by the characters read from the current source. The place in buffer at which to begin writing. The maximum number of characters to read. The number of characters that have been read. The number will be less than or equal to count, depending on whether all input characters have been read. An I/O error occurs. index or count is negative. The buffer length minus index is less than count. buffer is null. The is closed.

Reads a maximum of count characters from the current stream and writes the data to buffer, beginning at index.

When this method returns, contains the specified character array with the values between index and (index + count - 1) replaced by the characters read from the current source. The place in buffer at which to begin writing. The maximum number of characters to read. If the end of the stream is reached before count of characters is read into buffer, the current method returns. The number of characters that have been read. The number will be less than or equal to count, depending on whether the data is available within the stream. This method returns zero if called when no more characters are left to read. An I/O error occurs. index or count is negative. The buffer length minus index is less than count. buffer is null. The is closed.

Reads the next character from the input stream and advances the character position by one character.

The next character from the input stream, or -1 if no more characters are available. The default implementation returns -1. An I/O error occurs. The is closed.

Reads the next character without changing the state of the reader or the character source. Returns the next available character without actually reading it from the input stream.

The next character to be read, or -1 if no more characters are available or the stream does not support seeking. An I/O error occurs. The is closed.

Reads a line of characters from the current stream and returns the data as a string.

The next line from the input stream, or null if all characters have been read. The number of characters in the next line is larger than An I/O error occurs. There is insufficient memory to allocate a buffer for the returned string. The is closed.

Reads all characters from the current position to the end of the TextReader and returns them as one string.

A string containing all characters from the current position to the end of the TextReader. The number of characters in the next line is larger than An I/O error occurs. There is insufficient memory to allocate a buffer for the returned string. The is closed.

Reflection event level

Error

Warning

Reflection event

Initializes a new instance of the class.

The level. Name of the target. Name of the attribute type. The wiki topic. The code update. The message.

Gets the event level.

The level.

Gets the message.

The message.

Tries to get the name of the attribute type.

The name of the attribute type.

Gets the short name of the attribute type.

The short name of the attribute type.

Gets the name of the target.

The name of the target.

Gets the help topic.

The help topic.

Tries to get a code update.

The update.

Writes the XML.

The writer. The element.

Indicates whether the current object is equal to another object of the same type.

An object to compare with this object. true if the current object is equal to the parameter; otherwise, false.

Determines whether the specified is equal to the current .

The to compare with the current . true if the specified is equal to the current ; otherwise, false. The parameter is null.

Serves as a hash function for a particular type.

A hash code for the current .

Internalizes this instance.

Reflection event event args

Gets the reflection event.

The reflection event.

Initializes a new instance of the class.

The reflection event.