Share via


ExplorationResultPacker.Save Method

Saves exploration result into file.

Namespace: Microsoft.SpecExplorer.ObjectModel
Assembly: Microsoft.SpecExplorer.ObjectModel (in Microsoft.SpecExplorer.ObjectModel.dll)

Usage

'Usage

Syntax

'Declaration
public void Save (
    string path
)

Parameters

  • path
    The file path into which the exploration result should be written.

Exceptions

Exception type Condition
ArgumentNullException

Thrown when path is null.

Thread Safety

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

Platforms

Development Platforms

Microsoft Windows 7, Microsoft Windows Vista, Microsoft Windows XP SP2 or later, Microsoft Windows Server 2008, Microsoft Windows Server 2003

See Also

Reference

ExplorationResultPacker Class
ExplorationResultPacker Members
Microsoft.SpecExplorer.ObjectModel Namespace