OLE

structure OLE : OLE =
struct
  open OLE_DataConverter
  structure OLEString = UTF16LECodec.String
  structure Decimal = OLE_Decimal
  structure SafeArray = OLE_SafeArray
  type string = UTF16LECodec.String.string
  type decimal = Decimal.decimal
  type Unknown = OLE_COM.Unknown
  type 'a safearray = 'a Automation.safearray
  type TypeInfo = Automation.TypeInfo
  type Dispatch = Automation.Dispatch
  type EnumVARIANT = Automation.EnumVARIANT
  datatype coinit = datatype OLE_COM.coinit
  datatype variant = datatype Automation.variant
  datatype error = datatype OLE_Error.error
  exception OLEError = OLE_Error.OLEError
  val initialize : coinit list -> unit
  val uninitialize : unit -> unit
  val NullUnknown : Unknown
  val isNullUnknown : Unknown -> bool
  val wrapUnknown : UnmanagedMemory.address -> Unknown
  val createInstanceOfProgID : string -> Dispatch
  val createInstanceOfCLSID : string -> Dispatch
  val getObject : string -> Dispatch
  val wrapDispatch : Unknown -> Dispatch
  val wrapEnumVARIANT : Unknown -> EnumVARIANT
  val variantToString : variant -> String.string
  val NullDispatch : Dispatch
  val isNullDispatch : Dispatch -> bool
  val NOPARAM : variant
  val L : String.string -> string
  val A : string -> String.string
  val fold_enum : (variant * 'accum -> 'accum) -> 'accum -> Dispatch -> 'accum
  val for_each : (variant -> unit) -> Dispatch -> unit
  val enumAll : Dispatch -> variant list
end

The OLE structure provides access to Microsoft COM and OLE automation.

Author:

YAMATODANI Kiyoshi

Copyright:

(c) 2007, Tohoku University.

Version:

$Id: StrOLE.html,v 1.4 2010/07/09 03:09:29 kiyoshiy Exp $

 

Type detail

string

type string = UTF16LECodec.String.string

decimal

type decimal = Decimal.decimal

Unknown

type Unknown = OLE_COM.Unknown

safearray

type 'a safearray = 'a Automation.safearray

TypeInfo

type TypeInfo = Automation.TypeInfo

Dispatch

type Dispatch = Automation.Dispatch

EnumVARIANT

type EnumVARIANT = Automation.EnumVARIANT

 

Datatype detail

coinit

datatype coinit = datatype OLE_COM.coinit

variant

datatype variant = datatype Automation.variant

error

datatype error = datatype OLE_Error.error

   

Value detail

initialize

val initialize : coinit list -> unit

uninitialize

val uninitialize : unit -> unit

NullUnknown

val NullUnknown : Unknown

isNullUnknown

val isNullUnknown : Unknown -> bool

wrapUnknown

val wrapUnknown : UnmanagedMemory.address -> Unknown

createInstanceOfProgID

val createInstanceOfProgID : string -> Dispatch

createInstanceOfCLSID

val createInstanceOfCLSID : string -> Dispatch

getObject

val getObject : string -> Dispatch

wrapDispatch

val wrapDispatch : Unknown -> Dispatch

wrapEnumVARIANT

val wrapEnumVARIANT : Unknown -> EnumVARIANT

variantToString

val variantToString : variant -> String.string

NullDispatch

val NullDispatch : Dispatch

isNullDispatch

val isNullDispatch : Dispatch -> bool

NOPARAM

val NOPARAM : variant

L

val L : String.string -> string

A

val A : string -> String.string

fold_enum

val fold_enum : (variant * 'accum -> 'accum) -> 'accum -> Dispatch -> 'accum

for_each

val for_each : (variant -> unit) -> Dispatch -> unit

enumAll

val enumAll : Dispatch -> variant list

 

Exception detail

OLEError

exception OLEError = OLE_Error.OLEError