ExplorationResultLoader.LoadState Method

  • [アーティクル]

Gets state entity from exploration result with given label.

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

Usage

'Usage

Syntax

'Declaration

public StateEntity LoadState (
    string label
)

Parameters

  • label
    State label.

Return Value

Returns StateEntity.

Exceptions

Exception type Condition
ArgumentNullException

Thrown when label is null.
ExplorationResultLoadingException

Thrown when error occurred during loading exploration result.

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

ExplorationResultLoader Class
ExplorationResultLoader Members
Microsoft.SpecExplorer.ObjectModel Namespace