Sdílet prostřednictvím

IPostProcessor.PostProcess Method

  • Článek

Post processing executed

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

Usage

'Usage

Syntax

'Declaration

void PostProcess (
    IEnumerable<TransitionSystem> transitionSystems,
    IDictionary<string,Object> environment
)

Parameters

  • transitionSystems
    The transition system collection to be post-processed.
  • environment
    The environment properties provided by Spec Explorer. Current built-in properties: environment["WorkingDirectory"] indicates the current working directory.

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

IPostProcessor Interface
IPostProcessor Members
Microsoft.SpecExplorer.ObjectModel Namespace