Compartir a través de

Node Constructor (NodeKind, Int32, Int32, Int32, Node[])

  • Artículo

Constructs a node which can represent a state, thread, stack frame, constraint or value.

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

Usage

'Usage

Syntax

'Declaration

public Node (
    NodeKind kind,
    int nameIndex,
    int typeIndex,
    int valueIndex,
    Node[] subNodes
)

Parameters

  • kind
    Node kind.
  • nameIndex
    Node's display name index.
  • typeIndex
    Node's type index. Pass -1 if none.
  • valueIndex
    Node's value index. Pass -1 if none.
  • subNodes
    Sub nodes of this node. Pass null if none.

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

Node Class
Node Members
Microsoft.SpecExplorer.ObjectModel Namespace