The WMI type provider

This tutorial shows the use of the Windows Management Instrumentation (WMI) type provider.

1: 
2: 
3: 
4: 
5: 
6: 
7: 
8: 
9:

// reference the type provider dll
#r "System.Management.dll"
#r "FSharp.Management.WMI.dll"

open FSharp.Management

// Let the type provider infer the local machine
type Local = WmiProvider<"localhost">
let data = Local.GetDataContext()

alt text

 1: 
 2: 
 3: 
 4: 
 5: 
 6: 
 7: 
 8: 
 9: 
10: 
11: 
12: 
13: 
14:

// Add a handler to watch WMI queries getting executed (optional)
data.QueryExecuted.Add(printfn "Query executed: %s")

// list all local drives
[for d in data.Win32_DiskDrive -> d.Name, d.Description]
Query executed: select * from Win32_DiskDrive
val it : (string * string) list =
  [("\\.\PHYSICALDRIVE0", "Laufwerk"); ("\\.\PHYSICALDRIVE1", "Laufwerk")

// Access some WMI data from the data connection
[for d in data.CIM_DiskDrive -> 
    [for c in d.Capabilities -> c.Is_SMART_Notification]]
Query executed: select * from CIM_DiskDrive
val it : bool list list = [[false; false]; [false; false]]

namespace FSharp

namespace FSharp.Management

type Local = WmiProvider<...>

Full name: WMIProvider.Local

type WmiProvider

Full name: FSharp.Management.WmiProvider

<summary>Accesses management information using the schema of the indicated machine. Use 'localhost' for the local machine.</summary>
              <param name='MachineName'>The name of the remote machine to connect to. Use 'localhost' for the local machine.</param>
              <param name='Namespace'>The root WMI namespace (e.g. root\cimv2)</param>
              <param name='Locale'>The used language for WMI (default is 'MS_409' which is en-US)</param>

val data : WmiProvider<...>

Full name: WMIProvider.data

WmiProvider<...>.GetDataContext() : WmiProvider<...>
WmiProvider<...>.GetDataContext(machineName: string) : WmiProvider<...>

event Runtime.DataContext.QueryExecuted: IEvent<Handler<string>,string>

member System.IObservable.Add : callback:('T -> unit) -> unit

val printfn : format:Printf.TextWriterFormat<'T> -> 'T

Full name: Microsoft.FSharp.Core.ExtraTopLevelOperators.printfn

val d : WmiProvider<...>.ServiceTypes.Win32_DiskDrive

property WmiProvider<...>.Win32_DiskDrive: WmiProvider<...>.ServiceTypes.Win32_DiskDriveCollection

The Win32_DiskDrive class represents a physical disk drive as seen by a computer running the Win32 operating system. Any interface to a Win32 physical disk drive is a descendent (or member) of this class. The features of the disk drive seen through this object correspond to the logical and management characteristics of the drive. In some cases, this may not reflect the actual physical characteristics of the device. Any object based on another logical device would not be a member of this class.
Example: IDE Fixed Disk.

property WmiProvider<...>.ServiceTypes.CIM_ManagedSystemElement.Name: string

property WmiProvider<...>.ServiceTypes.CIM_ManagedSystemElement.Description: string

val d : WmiProvider<...>.ServiceTypes.CIM_DiskDrive

property WmiProvider<...>.CIM_DiskDrive: WmiProvider<...>.ServiceTypes.CIM_DiskDriveCollection

The CIM_DiskDrive class represents a physical disk drive as seen by the operating system. The features of the drive seen through this object correspond to the logical and management characteristics of the drive and, in some cases may not reflect the actual physical characteristics of the device. Any interface to a physical drive is a member of this class. Any object based on another logical device would not be a member of this class.
Example: IDE Fixed Disk.

val c : WmiProvider<...>.ServiceTypes.CIM_MediaAccessDevice.CapabilitiesValues

property WmiProvider<...>.ServiceTypes.CIM_MediaAccessDevice.Capabilities: WmiProvider<...>.ServiceTypes.CIM_MediaAccessDevice.CapabilitiesValues []

Capabilities of the media access device. For example, the device may support "Random Access", removable media and "Automatic Cleaning". In this case, the values 3, 7 and 9 would be written to the array.
Several of the enumerated values require some explanation: 1) Value 11, Supports Dual Sided Media, distinguishes a Device that can access both sides of dual sided Media, from a Device that reads only a single side and requires the Media to be flipped; and, 2) Value 12, Predismount Eject Not Required, indicates that Media does not have to be explicitly ejected from the Device before being accessed by a PickerElement.

property WmiProvider<...>.ServiceTypes.CIM_MediaAccessDevice.CapabilitiesValues.Is_SMART_Notification: bool

Check if the property 'Capabilities' of class 'CIM_MediaAccessDevice' is value 'SMART Notification', of underlying value '10'