Method and System for Referring to and Binding to Objects Using Identifier Objects

This invention relates generally to a computer method and system for referencing objects and, more specifically, to a method and system for naming objects and binding to objects.

Current document processing computer systems allow a user to prepare compound documents. A compound document is a document that contains information in various formats. For example, a compound document may contain data in text format, chart format, numerical format, etc. FIG. 1 is an example of a compound document. In this example, the compound document 101 is generated as a report for a certain manufacturing project. The compound document 101 contains scheduling data 102, which is presented in chart format; budgeting data 103, which is presented in spreadsheet format; and explanatory data 104, which is presented in text format. In typical prior systems, a user generates the scheduling data 102 using a project management computer program and the budgeting data 103 using a spreadsheet computer program. After this data has been generated, the user creates the compound document 101, enters the explanatory data 104, and incorporates the scheduling data 102 and budgeting data 103 using a word processing computer program.

FIG. 2 shows a method for incorporating the scheduling data, budgeting data, and explanatory data into the compound document. A user generates scheduling data using the project management program 201 and then stores the data in the clipboard 203. The user also generates budgeting data using the spreadsheet program 204 and then stores the data in the clipboard 203. The clipboard 203 is an area of storage (disk or memory) that is typically accessible by any program and is used to transfer data between programs. The project management program 201 and the spreadsheet program 204 typically store the data into the clipboard in a presentation format. A presentation format is a format in which the data is easily displayed on an output device. For example, the presentation format may be a bitmap that can be displayed with a standard bitmap block transfer operation (BitBlt). The storing of data into a clipboard is referred to as "copying" to the clipboard.

After data has been copied to the clipboard 203, the user starts up the word processing program 206 to create the compound document 101. The user enters the explanatory data 104 and specifies the locations in the compound document 101 to which the scheduling data and budgeting data that are in the clipboard 203 are to be copied. The copying of data from a clipboard to a document is referred to as "pasting" from the clipboard. The word processing program 206 then copies the scheduling data 102 and the budgeting data 103 from the clipboard 203 into the compound document 101 at the specified locations. Data that is copied from the clipboard into a compound document is referred to as "embedded" data. The word processing program 206 treats the embedded data as simple bitmaps that it displays with a BitBlt operation when rendering the compound document 101 on an output device. In some prior systems, a clipboard may only be able to store data for one copy command at a time. In such a system, the scheduling data can be copied to the clipboard and then pasted into the compound document. Then, the budgeting data can be copied to the clipboard and then pasted into the compound document.

Since word processors typically process only text data, users of the word processing program can move or delete embedded dam, but cannot modify embedded data, unless the data is in text format. Thus, if a user wants to modify, for example, the budgeting data 103 that is in the compound document 101, the user must start up the spreadsheet program 204, load in the budgeting data 103 from a file, make the modifications, copy the modifications to the clipboard 203, start up the word processing program 206, load in the compound document 101, and paste the modified clipboard data into the compound document 101.

Some prior systems store links to the data to be included in the compound document rather than actually embedding the data. When a word processing program pastes the data from a clipboard into a compound document, a link is stored in the compound document. The link points to the data (typically residing in a file) to be included. These prior systems typically provide links to data in a format that the word processing program recognizes or treats as presentation format. For example, when the word processing program 206 is directed by a user to paste the scheduling data and budgeting data into the compound document by linking, rather than embedding, the names of files in which the scheduling data and budgeting data reside in presentation format are inserted into the document. Several compound documents can contain links to the same data to allow one copy of the data to be shared by several compound documents.

A link is conceptually a path name to the data. Some prior systems store two-level links. A two-level link identifies both a file and an area within the file. For example, the two-level link ".backslash.BUDGET.XLS.backslash.R2C2:R7C4" identifies a spreadsheet file ".backslash.BUDGET.XLS" and the range of cells "R2C2:R7C4." The use of two-level links limits the source of the links to data that is nested one level within a file. If a file contains multiple spreadsheets, then a two-level link could identify the file and a spreadsheet, but could not identify a range within the spreadsheet. It would be desirable to have a method and system of supporting links to an arbitrary level.

Since the present invention is described below using object-oriented programming, an overview of well-known object-oriented programming techniques is provided. Two common characteristics of object-oriented programming languages are support for data encapsulation and data type inheritance. Data encapsulation refers to the binding of functions and data. Inheritance refers to the ability to declare a data type in terms of other data types.

In the C++ language, object-oriented techniques are supported through the use of classes. A class is a user-defined type. A class declaration describes the data members and function members of the class. For example, the following declaration defines data members and a function member of a class named CIRCLE.

Variables x and y specify the center location of a circle and variable radius specifies the radius of the circle. These variables are referred to as data members of the class CIRCLE. The function draw is a user-defined function that draws the circle of the specified radius at the specified location. The function draw is referred to as a function member of class CIRCLE. The data members and function members of a class are bound together in that the function operates on an instance of the class. An instance of a class is also called an object of the class.

In the syntax of C++, the following statement declares the objects a and b to be of type class CIRCLE.

CIRCLE a, b;

This declaration causes the allocation of memory for the objects a and b. The following statements assign data to the data members of objects a and b.

a.x=2;

a.y=2;

a.radius=1;

b.x=4;

b.y=5;

b.radius=2;

The following statements are used to draw the circles defined by objects a and b.

a.draw();

b.draw();

A derived class is a class that inherits the characteristics--data members and function members--of its base classes. For example, the following derived class CIRCLE.sub.-- FILL inherits the characteristics of the base class CIRCLE.

This declaration specifies that class CIRCLE.sub.-- FILL includes all the data and function members that are in class CIRCLE in addition to those data and function members introduced in the declaration of class CIRCLE.sub.-- FILL, that is, data member pattern and function member fill. In this example, class CIRCLE.sub.-- FILL has data members x, y, radius, and pattern and function members draw and fill. Class CIRCLE.sub.-- FILL is said to "inherit" the characteristics of class CIRCLE. A class that inherits the characteristics of another class is a derived class (e.g., CIRCLE.sub.-- FILL). A class that does not inherit the characteristics of another class is a primary (root) class (e.g., CIRCLE). A class whose characteristics are inherited by another class is a base class (e.g., CIRCLE is a base class of CIRCLE.sub.-- FILL). A derived class may inherit the characteristics of several classes, that is, a derived class may have several base classes. This is referred to as multiple inheritance.

A derived class may specify that a base class is to be inherited virtually. Virtual inheritance of a base class means that only one instance of the virtual base class exists in the derived class. For example, the following is an example of a derived class with two nonvirtual base classes.

class CIRCLE.sub.-- 1: CIRCLE {. . . };

class CIRCLE.sub.-- 2: CIRCLE {. . . };

class PATTERN: CIRCLE.sub.-- 1, CIRCLE.sub.-- 2{. . . };

In this declaration class PATTERN inherits class CIRCLE twice nonvirtually through classes CIRCLE.sub.-- 1 and CIRCLE.sub.-- 2. There are two instances of class CIRCLE in class PATTERN.

The following is an example of a derived class with two virtual base classes.

class CIRCLE.sub.-- 1: virtual CIRCLE {. . . };

class CIRCLE 2: virtual CIRCLE {. . . };

class PATTERN: CIRCLE.sub.-- 1, CIRCLE.sub.-- 2{. . . };

The derived class PATTERN inherits class CIRCLE twice virtually through classes CIRCLE.sub.-- 1 and CIRCLE.sub.-- 2. Since the class CIRCLE is virtually inherited twice, there is only one object of class CIRCLE in the derived class PATTERN. One skilled in the art would appreciate virtual inheritance can be very useful when the class derivation is more complex.

A class may also specify whether its function members are virtual. Declaring that a function member is virtual means that the function can be overridden by a function of the same name and type in a derived class. In the following example, the function draw is declared to be virtual in classes CIRCLE and CIRCLE.sub.-- FILL.

The C++ language provides a pointer dam type. A pointer holds values that are addresses of objects in memory. Through a pointer, an object can be referenced. The following statement declares variable c.sub.-- ptr to be a pointer on an object of type class CIRCLE and sets variable c.sub.-- ptr to hold the address of object c.

CIRCLE *c.sub.-- ptr;

c.sub.-- ptr=&c;

Continuing with the example, the following statement declares object a to be of type class CIRCLE and object b to be of type class CIRCLE.sub.-- FILL.

CIRCLE a;

CIRCLE.sub.-- FILL b;

The following statement refers to the function draw as defined in class CIRCLE.

a.draw();

Whereas, the following statement refers to the function draw defined in class CIRCLE.sub.-- FILL.

b.draw();

Moreover, the following statements type cast object b to an object of type class CIRCLE and invoke the function draw that is defined in class CIRCLE.sub.-- FILL.

Thus, the virtual function that is called is function CIRCLE.sub.-- FILL::draw.

FIG. 3 is a block diagram illustrating typical dam structures used to represent an object. An object is composed of instance data (data members) and member functions, which implement the behavior of the object. The data structures used to represent an object comprise instance data structure 301, virtual function table 302, and the function members 303, 304, 305. The instance data structure 301 contains a pointer to the virtual function table 302 and contains data members. The virtual function table 302 contains an entry for each virtual function member defined for the object. Each entry contains a reference to the code that implements the corresponding function member. The layout of this sample object conforms to the model defined in U.S. patent application Ser. No. 07/682,537, entitled "A Method for Implementing Virtual Functions and Virtual Bases in a Compiler for an Object Oriented Programming Language," which is hereby incorporated by reference. In the following, an object will be described as an instance of a class as defined by the C++ programming language. One skilled in the art would appreciate that objects can be defined using other programming languages.

An advantage of using object-oriented techniques is that these techniques can be used to facilitate the sharing of objects. In particular, object-oriented techniques facilitate the creation of compound documents. A compound document (as described above) is a document that contains objects generated by various computer programs. (Typically, only the data members of the object and the class type are stored in a compound document.) For example, a word processing document that contains a spreadsheet object generated by a spreadsheet program is a compound document. A word processing program allows a user to embed a spreadsheet object (e.g., a cell) within a word processing document. To allow this embedding, the word processing program is compiled using the class definition of the object to be embedded to access function members of the embedded object. Thus, the word processing program would need to be compiled using the class definition of each class of objects that can be embedded in a word processing document. To embed an object of a new class into a word processing document, the word processing program would need to be recompiled with the new class definition. Thus, only objects of classes selected by the developer of the word processing program can be embedded. Furthermore, new classes can only be supported with a new release of the word processing program.

To allow objects of an arbitrary class to be embedded into compound documents, interfaces are defined through which an object can be accessed without the need for the word processing program to have access to the class definitions at compile time. An abstract class is a class in which a virtual function member has no implementation (pure). An interface is an abstract class with no data members and whose virtual functions are all pure.

The following class definition is an example definition of an interface In this example, In this example, for simplicity of explanation, rather than allowing to be embedded in its documents, a word processing program allows spreadsheet objects to be embedded. Any spreadsheet object that provides this interface can be embedded, regardless of how the object is implemented. Moreover, any spreadsheet object, whether implemented before or after the word processing program is compiled, can be embedded.

The developer of a spreadsheet program would need to provide an implementation of the interface to allow the spreadsheet objects to be embedded in a word processing document. When the word processing program embeds a spreadsheet object, the program needs access to the code that implements the interface for the spreadsheet object. To access the code, each implementation is given a unique class identifier. For example, a spreadsheet object developed by Microsoft Corporation may have a class identifier of "MSSpreadsheet," while a spreadsheet object developed by another corporation may have a class identifier of "LTSSpreadsheet." A persistent registry in each computer system is maintained that maps each class identifier to the code that implements the class. Typically, when a spreadsheet program is installed on a computer system, the persistent registry is updated to reflect the availability of that class of spreadsheet objects. So long as a spreadsheet developer implements each function member defined by the interface and the persistent registry is maintained, the word processing program can embed the developer's spreadsheet objects into a word processing document.

Various spreadsheet developers may wish, however, to implement only certain function members. For example, a spreadsheet developer may not want to implement database support, but may want to support all other function members. To allow a spreadsheet developer to support only some of the function members, while still allowing the objects to be embedded, multiple interfaces for spreadsheet objects are defined. For example, the interfaces IDatabase and IBasic may be defined for a spreadsheet object as follows.

Each spreadsheet developer would implement the IBasic interface and, optionally, the IDatabase interface.

At run time, the word processing program would need to determine whether a spreadsheet object to be embedded supports the IDatabase interface. To make this determination, another interface is defined (that every spreadsheet object implements) with a function member that indicates which interfaces are implemented for the object. This interface is named IUnknown (and referred to as the unknown interface or the object management interface) and is defined as follows.

The IUnknown interface defines the function member (method) QueryInterface. The method QueryInterface is passed an interface identifier (e.g., "IDatabase") in parameter iid (of type REFIID) and returns a pointer to the implementation of the identified interface for the object for which the method is invoked in parameter ppv. If the object does not support the interface, then the method returns a false. (The type HRESULT indicates a predefined status, and the type ULONG indicates an unsigned long integer.)

Code Table 1 contains C++ pseudocode for a typical implementation of the method QueryInterface for class XX, which inherits the class IUnknown. If the spreadsheet object supports the IDatabase interface, then the method QueryInterface includes the appropriate case label within the switch statement. The variables pLBasic and pLDatabase point to a pointer to the virtual function tables of the IBasic and IDatabase interfaces, respectively. The method QueryInterface invokes the method AddRef (described below) to increment a reference count for the object of class XX when a pointer to an interface is returned.

The interface IUnknown also defines the methods AddRef and Release, which are used to implement reference counting. Whenever a new reference to an interface is created, the method AddRef is invoked to increment a reference count of the object. Whenever a reference is no longer needed, the method Release is invoked to decrement the reference count of the object and, when the reference count goes to zero, to deallocate the object. Code Table 2 contains C++ pseudocode for a typical implementation of the methods AddRef and Release for class XX, which inherits the class IUnknown.

The IDatabase interface and IBasic interface inherit the IUnknown interface. The following definitions illustrate the use of the IUnknown interface.

FIG. 4 is a block diagram illustrating a sample data structure of a spreadsheet object. The spreadsheet object comprises object data structure 401, IBasic interface data structure 403, IDatabase interface data structure 404, the virtual function tables 402, 405, 406 and methods 407 through 421. The object data structure 401 contains a pointer to the virtual function table 402 and pointers to the IBasic and IDatabase interface. Each entry in the virtual function table 402 contains a pointer to a method of the IUnknown interface. The IBasic interface data structure 403 contains a pointer to the virtual function table 405. Each entry in the virtual function table 405 contains a pointer to a method of the IBasic interface. The IDatabase interface data structure 404 contains a pointer to the virtual function table 406. Each entry in the virtual function table 406 contains a pointer to a method of the IDatabase interface. Since the IBasic and IDatabase interfaces inherit the IUnknown interface, each virtual function table 405 and 406 contains a pointer to the methods QueryInterface, AddRef, and Release. In the following, an object data structure is represented by the shape 422 labeled with the interfaces through which the object may be accessed.

The following pseudocode illustrates how a word processing program determines whether a spreadsheet object supports the IDatabase interface.

The pointer pSpreadsheet is a pointer to the IBasic interface of the object. If the object supports the IDatabase interface, the method QueryInterface sets the pointer pLDatabase to point to the IDatabase data structure and returns the value S.sub.--OK.

Normally, an object can be instantiated (an instance of the object created in memory) by a variable declaration or by the "new" operator. However, both techniques of instantiation need the class definition at compile time. A different technique is needed to allow a word processing program to instantiate a spreadsheet object at run time. One technique provides a global function CreateInstanceXX, which is defined in the following.

static void CreateInstanceXX (REFIID iid, void **ppv)=0;

The method CreateInstanceXX (known as a class factory) instantiates an object of class XX and returns a pointer ppv to the interface of the object designated by parameter iid.

It is an object of the present invention to provide a method and system for generating links to source data incorporated within a compound document.

It is another object of the present invention for binding links to source data.

It is another object of the present invention for interfacing with these links in a manner that is independent of the underlying source data.

It is another object of the present invention for linking to data nested to an arbitrary level within a compound document.

These and other objects, which will become apparent as the invention is more fully described below, are provided by a method and system for naming and binding data objects. In a preferred embodiment, a link to an object incorporated is stored as a moniker. A moniker is an identifier object that encapsulates the information needed to access the incorporated data and provides methods which bind to the incorporated data.

FIG. 1 is a block diagram of an example of a compound document.

FIG. 2 is a block diagram illustrating scheduling data, budgeting data, and explanatory data.

FIG. 3 is a block diagram illustrating typical data structures used to represent an object.

FIG. 4 is a block diagram illustrating a sample data structure of a spreadsheet object.

FIG. 5 is a block diagram showing a sample compound document.

FIGS. 6, 7, and 8 are block diagrams illustrating the use of a moniker by a word processing program.

FIG. 9 is a block diagram of a generic composite moniker.

FIGS. 10A, 10B, and 10C are block diagrams illustrating moniker composition.

FIG. 11 is a flow diagram of the method BindToObject of the class CFileMoniker.

FIG. 12 is a flow diagram of the function FileBindToObject.

FIG. 13 is a flow diagram of the method BindToObject of the class CIternMoniker.

FIG. 14 is a flow diagram of the method BindToObject of the class CCompositeMoniker.

FIGS. 15A through 15G are block diagrams illustrating the binding to an object identified by a generic composite moniker.

FIG. 16 is a flow diagram illustrating the overall behavior of implementations of the method ComposeWith.

FIG. 17 is a flow diagram of the method ComposeWith of the class CCompositeMoniker.

FIGS. 18, 19A, 19B, 19C, 20A, 20B, 20C, 21A, 21B, and 21C are block diagrams illustrating sample generic composite monikers.

FIG. 22 is a block diagram illustrating moniker reduction.

FIG. 23 is a flow diagram of the method Reduce of the class CCompositeMoniker.

FIG. 24 is a flow diagram of the method Reduce of the sample class CAliasMoniker.

FIG. 25 is a flow diagram of the method IsEqual of the class CFileMoniker.

FIG. 26 is a flow diagram of the method IsEqual of the class CCompositeMoniker.

FIG. 27 is a flow diagram of the method Hash of the class CCompositeMoniker.

FIGS. 28A, 28B, and 28C are block diagrams illustrating composition with inverse monikers.

FIG. 29 is a flow diagram of the method Inverse of the class CCompositeMoniker.

FIG. 30 a flow diagram of the method Inverse of the class CIternMoniker.

FIG. 31 is a flow diagram of the method ComposeWith of the class CIternMoniker.

FIG. 32 is a flow diagram of the method AnnihilateOne of the class CAntiMoniker.

FIG. 33 is flow diagram of the method ComposeWith of the class CAntiMoniker.

FIG. 34 is a block diagram illustrating a common prefix of generic composite monikers.

FIG. 35 is a flow diagram of the method CommonPrefixWith of the class CCompositeMoniker.

FIG. 36 is a flow diagram of the method CommonPrefixWith of the class CFileMoniker.

FIG. 37 is a flow diagram of the method CommonPrefixWith of the class CIternMoniker.

FIG. 38 is a flow diagram of the method CommonPrefixWith of the class CAntiMoniker.

FIG. 39 is a flow diagram of the function MonikerCommonPrefixWith.

FIG. 40 is a block diagram illustrating a relative path to moniker.

FIGS. 41A, and 41B are block diagrams illustrating a usage of the method RelativePathTo.

FIGS. 42A, 42B, and 42C comprise a flow diagram of the method RelativePathTo of the class CCompositeMoniker.

FIG. 43 is a flow diagram of the function MonikerRelativePathTo.

FIG. 44 is a flow diagram of the method Enum of the class CCompositeMoniker.

FIG. 45 is a flow diagram of the method GetNext of the class CCompositeMonikerEnum.

FIG. 46 is a flow diagram of the method Next of the class CCompositeMonikerEnum.

FIG. 47 is a flow diagram of the method Create of the class CPointerMoniker.

FIG. 48 is a flow diagram of the method BindToObject of the class CPointerMoniker.

FIG. 49 is a block diagram illustrating a pointer moniker.

The present invention provides a computer implemented method and system for naming and binding to linked data. In a preferred embodiment, a compound document that incorporates linked data stores a persistent data handle, called a "moniker," which is a reference to the link source. A moniker is an identifier object that contains information to identify the linked data and provides methods through which a program can bind to the linked data. A binding method returns an instance of an interface through which the linked data can be accessed. A moniker may link to data that is itself embedded data within another compound document. For example, a moniker may link to a range of cells within a spreadsheet table that is contained in a word processing document. A moniker may link to data at any level within a compound document. During execution of the binding method, several applications may be invoked to locate the link data. For example, to bind to the range of cells within a spreadsheet table that is within a word processing document, the word processing program may be invoked to locate the embedded spreadsheet table and the spreadsheet program may be invoked to bind to the range of cells. The present invention defines an interface through which a moniker is accessed. A moniker can identify source data that is stored persistently or nonpersistently.

In a preferred embodiment, monikers can be composed to form a composite moniker. A composite moniker is conceptually a path to a source object that is identified by the concatenation of the monikers. For example, if a moniker specifying a certain path (e.g., "c:.backslash.reports") is composed with a moniker specifying a certain file name (e.g., "Q3.doc") then the result is the complete path name to the file (e.g., "c:.backslash.reports.backslash.Q3.doc"). Each composite moniker comprises a plurality of component monikers. The present invention provides a method and system for decomposing a composite moniker. In a preferred embodiment, each moniker provides a method that is used to retrieve each component moniker.

In a preferred embodiment, a moniker provides a reducing method which returns another moniker that is a more efficient representation of a moniker to the same source object. The reducing method may interpret a macro script that identifies the source object. Alternatively, the reducing method may evaluate a query request that identifies the source object.

In a preferred embodiment, a moniker provides an equality method and a hash method. The equality method determines whether two monikers identify the same source object. The hash method provides a hash value for a moniker. The equality method and hash method are used to implement hash tables indexed by monikers.

In a preferred embodiment, a moniker provides an inverse method that generates another moniker that is the inverse of the moniker. When a moniker is composed with its inverse, the result is NULL. The inverse moniker is said to annihilate the moniker. An inverse moniker may be used, for example, to remove portions of a path and is analogous to the ".." functionality of traditional file systems.

In a preferred embodiment, a moniker provides a common prefix with method and a relative path to method. The common prefix with method determines the common prefix portion of two monikers. For example, if one moniker identifies the object "c:.backslash.reports3.doc" and another moniker identifies the object "c:.backslash.reports.backslash.data.backslash.Q3.xls" the common prefix is "c:.backslash.reports". The relative path to method generates relative path to moniker that when composed with one moniker results in specified moniker. For example, the moniker specifying the path that is the inverse of a moniker identifying object "Q3.doc" composed with a moniker specifying the path "data.backslash.Q3.xls" is a relative path to moniker from the moniker "c:.backslash.reports.backslash.Q3.doc" to the moniker "c:.backslash.reports.backslash.data.backslash.Q3.xls". Relative path to monikers are preferably used when identifying objects by relative paths from another object.

In a preferred embodiment, the present invention provides several implementation monikers including a file moniker, an item moniker, a genetic composite moniker, a pointer moniker, and an anti moniker. Each implementation is referred to as a moniker class and has a class identifier. A file moniker provides a moniker that conceptually is a path name in a file system. An item moniker provides a moniker that conceptually identifies a portion of an object. A genetic composite moniker provides a mechanism for composing monikers with arbitrary implementations. For example, a file moniker can be composed with an item moniker to specify a portion of a file. A generic composite moniker is preferably created by the composing method of the file moniker. A pointer moniker is a moniker that wraps an instantiated source object in a moniker. A pointer moniker contains a pointer to the instantiated source object and when a pointer moniker is bound, it returns the pointer. An anti moniker is a moniker that is the inverse of other monikers. When a moniker is composed with an anti moniker, the result is NULL. If a genetic composite moniker is composed with an anti moniker, the result is a moniker comprising all but the last component moniker. The anti moniker annihilates the last component moniker of a genetic composite moniker.

In a preferred embodiment of the present invention, an application program that creates a compound document controls the manipulation of linked or embedded data generated by another application. In object-oriented parlance, this data is referred to as an object. (The reference Budd, T., "An Introduction to Object-Oriented Programming," Addison-Wesley Publishing Co., Inc., 1991, provides an introduction to object-oriented concepts and terminology.) An object that is either linked or embedded into a compound document is "contained" within the document. Also, a compound document is referred to as a "container" object and the objects contained within a compound document are referred to as "contained" objects. Referring to FIGS. 1 and 2, the scheduling data 102 and budgeting data 103 are contained objects and the compound document 101 is a container object. The user can indicate to the word processor that the user wants to edit a contained object, such as the budgeting data 103. When the user indicates that the budgeting data 103 is to be edited, the word processing program determines which application should be used to edit the budgeting data (e.g., the spreadsheet program) and launches (starts up) that application. The user can then manipulate the budgeting data using the launched application, and changes are reflected in the compound document. The same procedure is used whether the budgeting data is stored as an embedded or linked object.

FIG. 5 is a block diagram showing a sample compound document. The weekly project report 501 is the same compound document of FIG. 1. The executive summary report 503, contains a budgeting chart 505 that is linked to the weekly project 501. The weekly project 501 contains an embedded spreadsheet 502. The embedded spreadsheet 502 was created by the spreadsheet program 204 in FIG. 2. The data for this spreadsheet, the budget for the project, is stored within the storage of the weekly project report 501 because it is an embedded object. The executive summary document 503 is a compound document which contains native text 504 and a contained object, the budget chart 505. The budget chart 505 is linked to the data contained within in the spreadsheet 502 which is embedded in the compound document 501.

In a preferred embodiment, application programs ("applications") cooperate using object linking and embedding facilities to create and manipulate compound documents. An application that creates a compound document is referred to as a client application, and an application that creates and manipulates contained objects are referred to as server applications. An application can behave as both a client and a server. Referring to FIG. 2, the project management program 201 and the spreadsheet program 204 are server applications, and the word processing program 206 is a client application. A client application is responsible for selection of the various objects within the container object and for invoking the proper server application to manipulate the selected contained object. A server application is responsible for manipulating the contents of the contained objects.

In a preferred embodiment, applications are provided with an implementation-independent Application Programming Interface (API) that provides the object linking and embedding functionality. The section entitled "Details of Moniker Related Interfaces" contains a detailed description of several functions within a preferred object linking and embedding system. This preferred object linking and embedding system is further described in Microsoft Corp., OBJECT Linking & Embedding OLE 2.0 Design Specification, Microsoft Corp., Apr. 15, 1993, which is herein incorporated by reference in its entirety. The API is a set of functions that are invoked by client and server applications. These functions manage, among other things, the setup and initialization necessary for client applications to send and receive messages and data to and from server applications. The API provides functions to invoke the correct server application to act upon a particular containee object and to manipulate contained objects.

In addition, the object linking and embedding API defines "interfaces" through which client applications can communicate with their contained objects. An interface is a set of methods which abide by certain input, output, and behavior rules. If a contained object supports a particular interface, the client application can invoke the methods of that interface to effect the defined behavior. In a preferred embodiment, the client application is not allowed direct access to the object dam; it manipulates the object using the supported interfaces. A client application is bound to a contained object through a pointer to an interface. The client application accesses the object by invoking the methods of the interface. To access the object data, the methods may send messages to the server application requesting the specified access. In a preferred embodiment, messages are sent between clients and servers using interprocess communications mechanisms provided by the underlying operating system.

An example will help illustrate the relationship between a client process and a server process. Referring again to FIG. 1, if a user wants to edit the budgeting data 103 of the compound document 101, then the following sequence of events occurs. First, the user starts up the word processor program, which is dynamically linked to the object linking and embedding API. Second, the user opens the compound document for editing. Third, the user selects the budgeting data, which is a contained object, and indicates that the selected object is to be edited. Fourth, the client application invokes a client API routine for performing an action on an object passing the routine a handle (which uniquely identifies the selected object) to the object and an indicator that the action is edit. Fifth, the client API routine determines that the spreadsheet program provides the actions for the budgeting dam. Sixth, the client API code starts up the spreadsheet program as a server process, if it is not already started. Seventh, the word processor application sends a message to the spreadsheet program that it should edit the budgeting data. Eighth, the server API code receives the request to edit and invokes a routine in the spreadsheet program for editing the data. When editing is complete, the spreadsheet routine returns to the server API code. The server API code sends a message to the word processor application to indicate that editing is complete. The client API code receives the message and returns from its invocation. Upon return from the invocation, the word processor application knows that the editing is complete.

In addition to the client and server API, the object linking and embedding facilities of the present invention provide information to client and server applications through a persistent global "registry." This registry is a database of information such as (1) for each type of object, the server application that implements the object type, (2) the actions that the each server application provides to client applications, (3) where the executable files for each server application are located, and (4) whether each server application has an associated object handler. An object handler is a collection of functions in a dynamic link library. An object handler can be used to provide certain functions without launching the server.

FIGS. 6, 7, and 8 are block diagrams illustrating the use of a moniker by a word processing program. In FIG. 6, the document "RPT.DOC" 601 contains a link 602 to the chart file 603. The link 602 is a moniker that is persistently stored in the document 601. The persistent storage of the moniker includes the class identifier "CLSID.sub.-- FileMoniker" and the name of the chart file 603 ("Q3.CHT"). When the word processing program displays the chart of chart file 603, it first instantiates a moniker object of type CLSID.sub.-- FileMoniker, requests the moniker to load its persistent data (e.g., "Q3.CHT"), and then requests the moniker to bind to the file indicated by the loaded data. FIG. 7 is a block diagram illustrating the instantiation of a moniker object. The word processing program first reads in the class identifier of link 602. To determine how to instantiate an object of that class, the program accesses the global registry 704. The global registry includes a mapping from class identifiers to the location of a class factory to create an instance of that class. For example, table 704B indicates that the class factory for the moniker class identified by CLSID.sub.-- FileMoniker is contained in the dynamic link library named "FileMkr.DLL." The program links to the class factory code within the dynamic link library 706. The program invokes the function CreateInstance to create an instance of an object of class CFileMoniker 702 (a file moniker). The program then requests the IPersistStream interface of the file moniker. The IPersistStream interface (described in detail in the section entitled "Details of the Moniker Related Interfaces") provides methods through which the internal state (e.g., "Q3.CHT") of a moniker can be saved to persistent storage and then loaded into memory from the persistent storage. Using the methods of the IPersistStream interface, the program loads the moniker internal state persistently stored in link 602 into the file moniker 702. The program then requests the IMoniker interface to the file moniker 702. The pointer to the IMoniker interface is stored in pointer 701. FIG. 8 is a block diagram illustrating the binding of the file moniker 702 to the chart file 603. When a binding method of the file moniker 702 is invoked, the method determines the class identifier for the file identified by the file moniker by accessing the global registry table 704A. The class identifier for files with suffix "CHT" is CLSID.sub.-- Chart. The program then retrieves the class factory for the class CLSID.sub.-- Chart from the registry table 704B. The program links to the dynamic link library "CHART.DLL" 806. The program then invokes the CreateInstance method within the dynamic link library 806, which creates an instance of a chart object 807 and returns a pointer to the IDataObject interface. The IDataObject interface (described in detail in the section entitled "Details of the Moniker Related Interfaces") provides methods to pass data to and from an object (e.g., methods GetData and SetData). Through the chart object 807, the program can access the chart file 603 through the chart server 808.

In a preferred embodiment, a moniker is an object that supports the IMoniker interface of Code Table 3. The IMoniker interface inherits the IPersistStream interface; thus, monikers can be saved to and loaded from streams. The persistent form of a moniker contains the class identifier (CLSID) of its implementation which is used during the loading process, and new classes of monikers can be created transparently to clients.

The IMoniker interface provides for binding to the object to which it points, which is supported by the method BindToObject. This method takes as a parameter the interface identifier by which the caller wishes to talk to the object, runs whatever algorithm is necessary in order to locate the object, then returns a pointer of that interface type to the caller. Each moniker class can store arbitrary data its persistent representation, and can run arbitrary code at binding time.

If there is an identifiable piece of persistent storage in which the object referenced by the moniker is stored, then the method BindToStorage can be used to access it. Many objects have such identifiable storage (e.g., a file), but some, such as the objects which are the ranges in a spreadsheet do not.

In a preferred embodiment, a particular moniker class is designed to be one step along the path (a component) to a dam source. These components can be composed together to form a moniker which represents the complete path to the data source. For example, the moniker stored inside the chart of FIG. 5 might be a generic composite moniker formed from three component as illustrated in FIG. 9. This composite is itself a moniker; it is a moniker which is a sequenced collection of other composite monikers. The composition is generic in that it has no knowledge of the component monikers involved other than that they are monikers.

The example of FIGS. 6, 7, and 8 illustrate the use of a moniker that identifies a file. The present invention allows moniker to be combined (composed) to an arbitrary level. FIGS. 10A, 10B, and 10C illustrate moniker composition. For example, if the chart file 603 contained multiple charts, it would be useful to designate a specific chart to be the source of a link. In one embodiment of the present invention, a moniker class named "CChartMoniker" could be implemented by the developer of the chart program. A chart moniker 1001 would contain a name of a chart file ("Q3.CHT") and an indication of a chart within the file ("CHART2"). The methods of the class CChartMoniker would have a behavior similar to that provided by the class CFileMoniker plus behavior needed to bind to the identified chart. As described above, the present invention allows two monikers to be composed to form a third moniker. By composing monikers, a developer can use an implementation developed by someone else. For example, the developer of the chart program could define and implement the class CChartMoniker to contain only an indication of a chart within a file. The class CChartMoniker can be developed assuming that an instance of chart moniker 1003 will be composed with a file moniker (e.g., file moniker 1002). In a preferred embodiment, to facilitate the composing of monikers, a moniker of class CCompositeMoniker is defined and implemented. The class CCompositeMoniker encapsulates any two monikers into single generic composite moniker. The generic composite moniker 1004 encapsulates the file moniker 1002 and the chart moniker 1003. A link to a chart is stored as a generic composite moniker which encapsulates a file moniker and a chart moniker. The client of the link need only know that the moniker supports the IMoniker interface.

In the following, each method of the IMoniker interface is defined. In addition, several implementations of various methods are described. In particular, implementations of methods of the classes CFileMoniker, CCompositeMoniker, and CIternMoniker are described. The class CFileMoniker (a file moniker) is a moniker class that identifies a path name in a file system. When a file moniker is bound to, it determines the class of the file by using the persistent global registry, ensures that the appropriate class server is running, and then requests the server to open the file. The class CCompositeMoniker (a generic composite moniker) is a moniker class that identifies a composition of two monikers (a left and a right moniker). When a generic composite moniker is bound to, it invokes the binding method of the right moniker indicating that the left moniker is composed with the right moniker. The right moniker performs its binding behavior, which may include invoking the binding method of the left moniker. The class CIternMoniker (an item moniker) is a moniker class that implements behavior common to the identification of contained objects. An item moniker can be used to identify, for example, a chart contained within a chart file or a range within a spreadsheet. An item moniker uses the IOleItemContainer interface (described in detail in the section entitled "Details of the Moniker Interfaces") to interact with the container. Code Table 4 contains the class definitions for a file moniker, a generic composite moniker, an item moniker, an anti moniker, and a pointer moniker. An anti moniker and a pointer moniker are described below in detail. A file moniker contains a string (m.sub.-- szPath) indicating a path name and a count of anti monikers (m.sub.-- cAnti). A generic composite moniker contains a pointer to the left moniker (m.sub.-- pmkLeft) and a pointer to the right moniker (m.sub.-- pmkRight) of the generic composite and a flag (m.sub.-- fReduced) indicating whether the composite is reduced. An item moniker contains a pointer to a string (m.sub.-- IpszItem) that defines the item.

HRESULT IMoniker::BindToObject(pbc, pmkToLeft, iidResult, ppvResult)

The method BindToObject locates and loads the object semantically referred to by this moniker according to the interface specified by iidResult and returns a pointer to the object through ppvResult. In the following, the term "this moniker" refers to the moniker for which a method is invoked. In general, each class of moniker is designed to be used as one component in a generic composite moniker which gives the complete path to the referenced object. In a generic composite, any component moniker has a certain prefix of the generic composite to its left, and a certain suffix to its right. If the method BindToObject is invoked on a component moniker, then the implementation of BindToObject typically requires certain services of the object indicated by the prefix to its left. Item monikers, for example, require the IOleItemContainer interface of the object to their left. The Item Moniker implementation of the method BindToObject (as described below) recursively calls pmkToLeft.fwdarw.BindToObject in order to obtain this interface. If the moniker does not need services of the object to its left, yet one is provided by the caller nevertheless, no error occurs. Rather, the moniker ignores the object to its left. If the object indicated by the moniker does not exist, then the error MK.sub.-- E.sub.-- NOOBJECT is returned.

In general, binding a moniker can be a complicated process, since it may need to launch servers, open files, etc. This may involve binding to other objects, and the binding components of a generic composite to the right of certain components will require the same other objects. In order to avoid loading the object, releasing it, then having it loaded again later, the method BindToObject can use the bind context passed through the pbc parameter to defer releasing objects until the binding process overall is complete. The bind context described in detail in the section entitled "Details of the Moniker Related Interfaces".

Binding to a moniker a second time typically returns the same running object as binding the first time, rather than reloading it again from storage. This functionality is supported with a running object table. The running object table is a lookup table keyed by a moniker whose values are pointers to the corresponding now-running object. As objects become running, they register themselves in this table. Implementations of the method BindToObject uses this table to determine if the object to which they point is already running. More precisely, if the passed pmkToLeft parameter is NULL (and this is not an error; that is, the moniker does not require something to its left), then the moniker fully reduces itself, then looks itself up in the running object table, and returns the pointer to the object found there. The running object table is described in detail in the section entitled "Details of the Moniker Related Interfaces".

The following table describes the parameters of the method BindToObject:

FIG. 11 is a flow diagram of the method BindToObject of the class CFileMoniker. This method determines the class identifier of the file, determines the server for that file, launches the server (if necessary), and requests the server to open and bind to the file. In step 1101, if a moniker to the left of this moniker is specified, then the method continues at step 1105, else the method continues at step 1102. In steps 1102 through 1104, the method determines whether the object identified by the moniker to the left is in the running object table. If the object to the left is in the running object table, then the requested interface (iidResult) is retrieved from that object and returned. In step 1102, if the object to the left is in the running object table, then the method continues at step 1103, else the method continues at step 1105. In step 1103, the method retrieves a pointer to the object to the left from the running object table. In step 1104, the method retrieves the requested interface from the object to the left by invoking the method QueryInterface of the object to the left and then returns. In step 1105, the method retrieves the class identifier corresponding to the path (m.sub.-- szPath) of this moniker. The class identifier is preferably retrieved from a persistent global registry that maps file name suffixes to class identifiers. In step 1106, the method invokes the function FileBindToObject to bind to the file and returns the requested interface. The method then returns.

FIG. 12 is a flow diagram of the function FileBindToObject. This function is passed a class identifier and a requested interface. This function instantiates an object of the passed class identifier and returns a pointer to the requested interface. In step 1201, the function creates an instance of an object of the passed class identifier and retrieves the IUnknown interface. In step 1202, the function retrieves the IPersistFile interface from the instantiated object. The IPersistFile interface provides methods to load and save files and is described in detail in the section entitled "Details of the Moniker Related Interfaces". In step 1203, the function initializes binding options, which are described in detail in the section entitled "Details of the Moniker Related Interfaces". In step 1204, the function invokes the method Load of the IPersistFile interface to load the data for the created object. In step 1205, the function retrieves the requested interface from the created object and returns.

FIG. 13 is a flow diagram of the method BindToObject of the class CIternMoniker. In step 1301, if no moniker to the left of this moniker is specified, then the method returns an error, else the method continues at 1302. An item moniker identifies a contained object and requires a moniker to a container object to its left. In step 1302, the method invokes the method BindToObject of the moniker of the object to the left. The method requests the IOleItemContainer interface from the object to the left. In step 1303, the method invokes the method GetObject of the IOleItemContainer interface and passes the item name (m.sub.-- IpszItem) and the requested interface. The method then returns with the interface retrieved by the method GetObject.

FIG. 14 is a flow diagram of the method BindToObject of the class CCompositeMoniker. The method binds to a generic composite moniker in a right-to-left manner. Conceptually, a generic composite moniker forwards the bind request to its last component moniker informing the last component moniker of the moniker to its left in the composite. The last component moniker, if it needs to, recursively binds to the object to its left. In step 1401, if no moniker to the left of this moniker is specified, the method continues at step 1402, else the method continues at step 1405. In step 1402, if this moniker is in the running object table, then the method continues at step 1403, else the method continues at step 1405. In step 1403, the method retrieves a pointer to the object from the running object table. In step 1404, the method retrieves the requested interface of the object by invoking the method QueryInterface of the object and returns. In steps 1405 through 1408, the method invokes the method BindToObject of the last component moniker of this moniker passing a moniker comprising the prefix component monikers as the moniker to the left. In step 1405, if no monikers to the left of this moniker is specified, then the method continues at step 1406, else the method continues at step 1407. In step 1406, the method creates a new left moniker that contains all but the last component moniker of this moniker. The method then invokes the method BindToObject of the last component moniker of this moniker passing it the newly-created left moniker and the requested interface in step 1408 and returns. In step 1407, the method composes the moniker to the left with all but the last component moniker of this moniker by invoking the method ComposeWith of the moniker to the left. The method then invokes the method BindToObject of the last component moniker of this moniker passing it the newly-created composed moniker and the identifier of the requested interface in step 1408 and returns.

FIGS. 15A through 15F are block diagrams illustrating the binding to an object identified by a genetic composite moniker. FIG. 15A illustrates the genetic composite moniker that is to be bound. The generic composite moniker comprises components 1501, 1502, and 1503. The component monikers 1501, 1502, and 1503 represent a reference to an object identified by "C:.backslash.Q3RPT.DOC.backslash.SALESTBL.backslash.R2C2:R7C4". The component moniker 1501 is the first component moniker of the genetic composite moniker, and the component moniker 1503 is the last component moniker of the genetic composite moniker. The component monikers 1502 and 1503 are all but the first component monikers of the genetic composite moniker, and the component monikers 1501 and 1502 are all but the last component monikers of the genetic composite moniker. These component monikers are composed using generic composite monikers 1504 and 1505. To bind to the object identified by the genetic composite moniker 1504, the method BindToObject is invoked indicating that there is no moniker to the left and indicating the identifier of a requested interface. Since moniker 1504 is a generic composite moniker, the method represented by the flow diagram of FIG. 14 is executed. Since there is no moniker to the left and since for this example the genetic composite moniker 1504 is not in the running object table, the method continues at step 1406. In step 1406, the method creates the generic composite moniker 1506 that contains all but the last component moniker of the generic composite moniker 1504. In step 1408, the method invokes the method BindToObject of the last component moniker 1503 passing the genetic composite moniker 1506 as the moniker to the left and the identifier of the requested interface. Since the component moniker 1503 is an item moniker, the method represented by the flow diagram of FIG. 13 is executed. Since a moniker to the left is specified, step 1302 is executed. In step 1302, the method invokes the method BindToObject of the moniker to the left (generic composite moniker 1506) passing no moniker to the left and requesting the IOleItemContainer interface. Since the generic composite moniker 1506 is a genetic composite moniker, the method represented by the flow diagram of FIG. 14 is executed. Since no moniker to the left is specified, the method continues at step 1406. In step 1406, the method sets the new left moniker to the moniker 1501. In step 1408, the method invokes the method BindToObject of the item moniker 1502 passing the new left moniker 1501 and requesting the passed interface, which is the interface to the IOleItemContainer. Since the item moniker 1502 is an item moniker, the method represented by the flow diagram of FIG. 13 is executed. Since there is a moniker to the left is specified, step 1302 is executed. In step 1302, the method invokes the method BindToObject of the moniker to the left (file moniker 1501). Since the file moniker 1501 is a file moniker, the method represented by the flow diagram of FIG. 11 is executed. Since no moniker to the left is specified, the method continues at step 1105. In steps 1105 and 1106, the method binds to the file object and returns the requested interface as shown in FIG. 15F. The invocation of the method BindToObject of the item moniker 1503 eventually in step 1303 invokes the method GetObject of the IOleItemContainer interface returned in step 1302 to retrieve the requested interface.

RESULT IMoniker::ComposeWith(pmkRight, fOnlylfNotGeneric, ppmkComposite)

This method with this moniker a new moniker which is a composite formed with this moniker on the left and the passed moniker (pmkRight) on the fight. There are two kinds of composite monikers: those composite monikers that know nothing about their component monikers other than that they are monikers (a generic composite moniker), and those composite monikers that know more (a special composite moniker). For example, a file moniker containing a relative path may be composed on to the end of another file moniker. The resulting composite moniker could be a new file moniker containing the complete path. The new file moniker is a special composition. A special composition is useful for monikers that are capable of collapsing a path within a storage domain to a more efficient representation in a subsequent reduction.

Each moniker class may have a set of other kinds of special monikers that can be composed onto the end of it in a non-generic way. Each implementation of the method ComposeWith examines the passed moniker on the right (pmkRight) to see if it is such a special moniker for the implementation. If the specified moniker on the right is special, then the implementation does whatever is appropriate for that special case. If it is not, then the passed flag fOnlylfNotGeneric controls what occurs. If flag fOnlylfNotGeneric is true, then NULL is passed back through parameter ppmkComposite and the status MK.sub.-- E.sub.-- NEEDGENERIC returned; if fOnlylfNotGeneric is false, then a generic composite moniker is created using the function CreateGenericComposite and returned.

If the specified moniker on the tight (pinkRight) completely annihilates this moniker, the resulting composite is empty and the parameter ppmkComposite is set to NULL and the status S.sub.-- OK returned.

Composition of monikers is an associative operation. That is, if A, B, and C are monikers, then

(A.smallcircle.B).smallcircle.C

is always equal to

A.smallcircle.(B.smallcircle.C)

where .smallcircle. represents the composition operation.

The following table describes the parameters of the method ComposeWith:

FIG. 16 is a flow diagram illustrating the overall behavior of implementations of the method ComposeWith. In step 1601, if the moniker to the right (pinkRight) is special, then the method continues at step 1602, else the method continues at step 1603. In step 1602, the method performs a composition associated with the special moniker and returns. In step 1603, if the caller wants a generic composition when no special composition occurs (fOnlylfNotGeneric==FALSE), then the method continues at step 1604, else the method continues at step 1605. In step 1604, the method creates a generic composite moniker by invoking the function CreateGenericMoniker and returns. In step 1605, the method returns an indication that composite moniker is NULL and sets the return flag to indicate that no special or generic composition occurred.

FIG. 17 is a flow diagram of the method ComposeWith of the class CCompositeMoniker. The method invokes the function CreateGenericComposite (described below) and returns.

HRESULT CreateGenericComposite(pmkFirst, pmkRest, ppmkComposite)

The function CreateGenericComposite allocates and returns a new generic composite moniker. The parameters pmkFirst and pmkRest point to the first and trailing monikers that are to comprise the genetic composite monikers, respectively. Either pmkFirst or pmkRest may be a generic composite moniker, or another kind of moniker. The following table describes the parameters of the function CreateGenericComposite:

Code Table 4 contains C++ pseudocode for the function CreateGenericComposite. The function handles four specific cases. The first case occurs when neither the first moniker (pmkFirst) nor the rest moniker (pmkRest) are generic composite monikers. The second case occurs when the first moniker is not a generic composite moniker, but the rest moniker is a generic composite moniker. The third case occurs when the first moniker is a generic composite moniker, but the rest moniker is not a generic composite moniker. The fourth case occurs when both the first moniker and the rest moniker are generic composite monikers.

In the first case, the function CreateGenericComposite invokes the method ComposeWith of the first moniker passing the rest moniker and specifying that a composition should occur only if not generic. If the rest moniker is not a special moniker for the first moniker, then no composition occurs and the function creates a composite moniker by invoking the method Create of the class CCompositeMoniker passing the first moniker and the rest moniker. The method Create of the class CCompositeMoniker creates a generic composite moniker that points to the specified monikers and returns a pointer to the created moniker. FIG. 18 illustrates the resulting generic composite moniker 1803 of the first case when the rest moniker 1802 is not a special moniker of the first moniker 1801. In the second case, the function CreateGenericComposite invokes the method ComposeWith of the first moniker passing the first component moniker of the rest moniker. If the first component moniker of the rest moniker is not a special moniker for the first moniker, then no composition occurs and the method creates a composite moniker by invoking the method Create of the class CCompositeMoniker passing the first moniker and the rest moniker. FIG. 19A illustrates a representative resulting generic composite moniker 1905 when the first component moniker 1903 of the rest moniker 1902 is not a special moniker of the first moniker 1901. If, however, a composition of the first moniker and the first component of the rest moniker occurs and a moniker is returned, then the function recursively calls the function CreateGenericComposite to compose the moniker returned with all but the first component moniker of the rest moniker. FIG. 19B illustrates the resulting genetic composite moniker 1907 that contains the composite moniker 1906, which is the composition of the first moniker and the first component moniker of the rest moniker, and contains the moniker 1904, which includes all but the first component moniker of the rest moniker. If the composition of the first moniker and the first component moniker of the rest moniker resulted in an annihilation of the monikers (pink==NULL), then the function returns a pointer to a moniker formed by all but the first component moniker of the rest moniker as illustrated in FIG. 19C. In the third case, the function CreateGenericComposite invokes the method ComposeWith of the last component moniker of the first moniker passing the rest moniker. If the rest moniker is not a special moniker for the last component moniker of the first moniker, then no composition occurs and the function creates a composite moniker by invoking the method Create of the class CCompositeMoniker passing the first moniker and the rest moniker as illustrated by the representative generic composite moniker in FIG. 20A. If, however, a composition occurs, and a moniker is returned, then the method recursively invokes the function CreateGenericComposite passing all but the last component moniker of the first component moniker and the returned moniker as indicated in FIG. 20B. If, however, the composition of the first moniker with the first component moniker of the rest moniker resulted in an annihilation of the monikers, then the function returns a moniker comprising all but the last component moniker of the first moniker as the composite moniker as illustrated by FIG. 20C. In the fourth case, the function CreateGenericComposite invokes the method ComposeWith of the last component moniker of the first moniker passing the first component moniker of the rest moniker. If the first component moniker of the rest moniker is not a special moniker for the last component moniker of the first moniker, then no composition occurs and the function invokes the method Create of the class CCompositeMoniker passing the first moniker and the rest moniker resulting in the sample generic composite moniker of FIG. 21A. If, however, a composition does occur without annihilation, then the function recursively invokes the function CreateGenericComposite passing the composed moniker and all but the last component moniker of the first moniker. The function then recursively invokes the function CreateGenericComposite passing the resulting composite moniker and all but the first component moniker of the rest moniker resulting in the representative composite moniker of FIG. 21B. If the composition results in annihilation of the last component moniker of the first moniker and the first component moniker of the rest moniker, then the function recursively invokes the function CreateGenericComposite passing all but the last component moniker of the first moniker and all but the first component moniker of the rest moniker resulting in the representative generic composite moniker of FIG. 21C.

HRESULT IMoniker::Reduce(pbc, dwReduceHowFar, ppmkToLeft, ppmkReduced)

The method Reduce requests a moniker to re-write itself into another equivalent moniker. This method returns a new moniker that will bind to the same object, but does so in a more efficient way. This capability has several uses:

It enables the construction of user-defined macros or aliases as new kinds of moniker classes. When reduced, the moniker to which the macro evaluates is returned.

It enables the construction of a kind of moniker which tracks data as it moves about. When reduced, the moniker of the data in its current location is returned.

On certain file systems which support an ID-based method of accessing files that is independent of file names, a file moniker could be reduced to a moniker which contains one of these IDs.

FIG. 22 shows an example of moniker reduction. This example illustrates the reduction of a moniker which names the net income entry for this year's report in the "Projects" directory of the current user's home directory. (Note that the particular classes of monikers used here are for illustrative purposes only.) Several monikers in this example are reduced to something completely different, and some bind to something during their reduction, but some do not. For example, to reduce the alias "Home", the reduction must access the information that "Home" was an alias for ".backslash..backslash.server.backslash.share.backslash.fred". Monikers may reduce to themselves, when they cannot be rewritten any further. A moniker which reduces to itself indicates this by returning itself through parameter ppmkReduced and the returning status code MK.sub.-- S.sub.-- REDUCED.sub.-- TO.sub.-- SELF. A moniker which reduces to nothing returns NULL in parameter ppmkReduced and the status code S.sub.-- OK. If a moniker does not reduce to itself, then this method does not reduce this moniker in-place; instead, it returns a new moniker.

The reduction of a moniker which is a composite of other monikers repeatedly reduces the component monikers of which it is composed until they all reduce to themselves, and then returns the composite of the reduced components. The parameter dwReduceHowFar controls the stopping point of the reduction process. It controls to what extent the reduction should be carried out. It has the following values.

These values have the following semantics.

The following table describes the parameters of the method Reduce:

FIG. 23 is a flow diagram of the method Reduce of the class CCompositeMoniker. The method reduces each of the component monikers in a left-to-right manner and creates a composite of the result. If any of the component monikers do not reduce to themselves (and thus, the generic composite moniker overall does not reduce to itself), then the process of reduction is repeated. In an alternate embodiment, the method tracks component monikers that reduce to themselves and suppresses their re-reduction. In step 2301, if this moniker is already reduced as indicated by the data member m.sub.-- fReduced, then the method continues at step 2302, else the method continues at step 2303. In step 2302, the method sets the pointer to the reduced moniker to point to this moniker and returns indicating that the moniker reduced to itself. In step 2303, if the left moniker is NULL, then the method continues at step 2306, else the method continues at step 2304. In step 2304, the method invokes the method Reduce of the left moniker passing the moniker to the left of this moniker and returning a left reduced moniker (pmkLeftReduced). In step 2305, if no error occurred or the left moniker reduced to itself, then the method continues at step 2306, else the method returns an error. If this moniker has no right moniker (m.sub.-- pmkRight), then the method continues at step 2309, else the method continues at step 2307. In step 2307, the method invokes the method Reduce of the right moniker passing an indicator of a NULL moniker to the left and returning a right reduced moniker (pmkRightReduced). In step 2308, if no error occurred or the right moniker reduced to itself, then the method continues at step 2309, else the method returns an error. In step 2309, if both the left and fight monikers reduced to themselves, then the method continues at step 2310, else the method continues at step 2312. In step 2310, the method sets the state of this moniker to reduced (m.sub.-- fReduced). In step 2311, the method sets the pointer to the reduced moniker to point to this moniker and the method returns with an indication that this moniker reduced to itself. In step 2312, the method invokes the method Create of the class CCompositeMoniker passing the left reduced moniker and the right reduced moniker and returning the result as a composite reduced moniker (pmkCompositeReduced). In step 2313, the method sets the state of the composite reduced moniker to reduced (m.sub.-- fReduced). In step 2314, the method sets the pointer to the reduced moniker to point to the composite reduced moniker and returns.

FIG. 24 is a flow diagram of the method Reduce of the sample class CAliasMoniker. The reduction of an alias moniker is illustrated in FIG. 22. In step 2401, if the alias moniker indicates the home directory, then the method continues at step 2402, else the method tests for other types of alias indicated by the ellipsis. In step 2402, the method retrieves the network volume associated with the user. In step 2403, the method retrieves the home directory for the user. In step 2404, the method creates a net volume moniker passing it the name of the network volume. In step 2405, the method creates a file moniker passing it the name of the user's home directory. In step 2406, the method creates a generic composite moniker passing it the net volume moniker and the file moniker. In step 2407, the method sets the generic composite moniker to indicate that it is reduced. In step 2408, the method sets the pointer to the reduced moniker to the composite moniker (pmkCompositeReduced) and returns.

In a preferred embodiment, a macro moniker allows for arbitrary moniker creation. A macro moniker contains a macro script that controls the reduction of a macro moniker to another moniker. During reduction, the script is parsed and processed by the method Reduce. One skilled in the art would appreciate that parsing and processing macro scripts are well known. The result of the processing is another moniker that is returned as the reduced moniker. For example, Code Table 5 contains a script that directs the macro moniker to reduce to a moniker referencing the directory "c:.backslash.reports.backslash.expenses.backslash.weekly.backslash.user.b ackslash.dayofweek", where user is the current user name (e.g., "Smith") and dayofweek is the day of week of yesterday (e.g., "Thursday"). The macro moniker with the script of Code Table 5 may reduce to a file moniker with a path name of "c:.backslash.reports.backslash.expenses.backslash.weekly.backslash.smith. backslash.thursday". The macro moniker may contain a pointer to the reduced moniker. The method BindToObject of a macro moniker would typically invoke the method Reduce and then invoke the method BindToObject of the reduced moniker. Code Table 6 contains a macro script that directs the macro moniker to reduce to a moniker and in the process prompts the user for a portion of the path.

In a preferred embodiment, a query moniker allows for arbitrary reduction to a moniker identified by a query. A query moniker contains a query that controls the reduction. The query is evaluated to produce a file moniker that satisfies the query. For example, Code Table 7 contains a query (in a structured query language) that may reduce to the file moniker with path name ".backslash..backslash.printserver10.backslash.printer2". The query evaluates to a list of printers that can accommodate either PostScript or PCL documents and that is in a certain building. The list is sorted by the length of the print queue, and the printer with the shortest print queue is selected.

HRESULT IMoniker::IsEqual(pmkOtherMoniker)

This method determines whether this moniker and the specified other moniker (pmkOtherMoniker) reference the same object. This method is used in a preferred implementation of a running object table. The following table describes the parameters of the method IsEqual:

FIG. 25 is a flow diagram of the method IsEqual of the class CFileMoniker. In step 2501, if the other moniker (pmkOtherMoniker) is a file moniker, then the method continues at step 2502, else the monikers are not equal and the method returns a false. In step 2502, if the count of anti-monikers for this moniker (m.sub.-- cAnti) is equal to the count of anti-monikers for the other moniker, then the method continues at step 2503, else the monikers are not equal and the method returns a false. In step 2503, if the path for this moniker (m.sub.-- lpszPath) is equal to the path for the other moniker, then the method returns indicating that the monikers are equal, else the method returns indicating that the monikers are not equal.

FIG. 26 is a flow diagram of the method IsEqual of the class CCompositeMoniker. In step 2601, if the other moniker is a composite moniker, then the method continues at step 2602, the method returns indicating that the monikers are not equal. In step 2602, if the left moniker of this moniker (m.sub.-- pmkLeft) is equal to the left moniker of the other moniker, then the method continues at step 2603, else the method returns an indication that the monikers are not equal. In step 2603, if the right moniker of this moniker (m.sub.-- pmkRight) is equal to the fight moniker of the other moniker, then the method returns an indication that the monikers are equal, else the method returns an indication that the monikers are not equal. In an alternate embodiment of the method IsEqual, the method checks each component moniker of this moniker and the other moniker to determine if the monikers are equal.

HRESULT IMoniker::Hash(pdwHash)

This method returns a 32-bit integer associated with this moniker. This integer is used for maintaining tables of monikers: the moniker can be hashed to determine a hash bucket in the table, then compared with the method IsEqual against all the monikers presently in that hash bucket. Two monikers that compare as equal have the same hash value. The following table describes the parameters of the method Hash:

FIG. 27 is a flow diagram of the method Hash of the class CCompositeMoniker. In step 2701, the method invokes the method Hash of the left moniker. In step 2702, the method invokes the method hash of the fight component moniker. In step 2703, the method generates the exclusive-or of the left hash value and the tight hash value and returns that as the hash value of the method. The method Hash of the class CIternMoniker performs a hash function on the item name and returns the value.

HRESULT IMoniker::Inverse(ppmk)

The method Inverse returns a moniker that when composed onto the end of this moniker or one of similar structure annihilates it; that is, composes to NULL. The method Inverse is an abstract generalization of the ".." operation in traditional file systems. For example, a file moniker that represents the path "a.backslash.b.backslash.c.backslash.d"has as its inverse a moniker containing the path "...backslash....backslash....backslash...", since "a.backslash.b.backslash.c.backslash.d"composed with "...backslash....backslash....backslash..." yields nothing. The inverse of a moniker does not annihilate just that particular moniker, but all monikers with a similar structure. Thus, the inverse of a genetic composite moniker is the reverse composite of the inverse of its component monikers. Certain classes of monikers may have trivial inverses. If a moniker adds one more component moniker to an existing structure, its inverse is a moniker that removes the last component of the existing structure. A moniker that when composed onto the end of a moniker removes the last component is referred to as an anti moniker. One skilled in the art would appreciate that not all monikers have inverses. The inverse of an anti moniker, for example, does not exist. The following table describes the parameters of the method Inverse.

An anti moniker is a moniker that when composed onto the end of a generic composite moniker removes the last component moniker. Composing an anti moniker onto the end of another kind of moniker preferably annihilates the other moniker. The class CAntiMoniker contains a data member that is a count of the number of anti monikers (m.sub.-- cAnti). Whenever an anti moniker is composed with another anti moniker, the resulting composition is an anti moniker with its count equal to the sum of the counts of the composed anti monikers.

FIGS. 28A, 28B, and 28C are block diagrams illustrating composition with inverse monikers. In FIG. 28A, an item moniker 2801 is composed with anti moniker 2802 which results in annihilation of the monikers. In FIG. 28B, the genetic composite moniker 2803 which comprises component moniker 2804 and 2801 is composed with anti moniker 2802. Since anti moniker 2802 is the inverse of item moniker 2801, the item moniker 2801 and the anti moniker 2802 is annihilated. The result of the composition is file moniker 2805. In FIG. 28C, generic composite moniker 2806 is composed with genetic composite moniker 2807 resulting in annihilation of generic composition monikers 2806 and 2807. Generic composite moniker 2806 comprises file moniker 2804 and item moniker 2801. Generic composite moniker 2807 comprises anti moniker 2802 and file moniker 2808. The anti moniker 2802 is the inverse of item moniker 2801, and file moniker 2808 is the inverse of file moniker 2804.

FIG. 29 is a flow diagram of the method Inverse of the class CCompositeMoniker. In step 2901, the method invokes the method Inverse of the left moniker of this moniker to retrieve its inverse moniker. In step 2902, the method invokes the method Inverse of the right moniker of this moniker to retrieve its inverse moniker. In step 2903, the method invokes the function CreateGenericComposite passing it the right inverse and the left inverse and returns. The left inverse moniker is composed onto the end of the tight inverse moniker so that during composition the fight moniker will compose with the right inverse and the left moniker will compose with the left inverse moniker resulting in annihilation.

FIG. 30 is a flow diagram of the method Inverse of the class CIternMoniker. Since the inverse of an item moniker is an anti moniker, the method creates an instance of an anti moniker and returns it.

FIG. 31 is a flow diagram of the method ComposeWith of the class CIternMoniker. This method illustrates the annihilation of monikers. In step 3101, if the moniker on the right to be composed with is an anti moniker, then the method continues at step 3102, else the method continues at step 3103. In step 3102, the method invokes the method AnnihilateOne of the anti moniker and returns the result as the composite moniker. Consequently, an item moniker that is composed with an anti moniker with a count greater than one results in an anti moniker. In step 3103, if the caller wants a generic composition returned (fOnlylfNotGeneric==FALSE), then the method continues at step 3104, else the method returns an indicator that a genetic composite moniker is needed. In step 3104, the method invokes the function CreateGenericComposite passing this moniker and the tight moniker and returns with the composite moniker.

FIG. 32 is a flow diagram of the method AnnihilateOne of the class CAntiMoniker. This method annihilates one of the counts of this moniker. In step 3201, if the count of the anti moniker is equal to one, then the method continues at step 3202, else the method continues at step 3203. In step 3202, the method sets the moniker to return to NULL and returns. In step 3203, the method creates a new anti moniker and sets its count to the count of this moniker minus one and returns that newly-created moniker.

FIG. 33 is flow diagram of the method ComposeWith of the class CAntiMoniker. In step 3301, if the fight moniker (pmkRight) is an anti moniker, then the method continues at step 3302, else the method continues at step 3304. In step 3302, the method calculates the sum of the count of this moniker and the count of the fight moniker. In step 3303, the method creates an anti moniker and sets its count to the sum and returns it as the composite moniker. In step 3304, if the caller wants a genetic composition, then the method continues at step 3305, else the method returns an indication that a genetic composition is needed. In step 3305, the method invokes a function CreateGenericComposite passing it this moniker and the fight moniker and returns the composite.

HRESULT IMoniker::CommonPrefixWith(pmkOther, ppmkPrefix)

This method determines the longest common prefix that this moniker shares with the other moniker (pmkOther). The following table describes the parameters of the method CommonPrefixWith.

FIG. 34 is a block diagram illustrating a common prefix of generic composite monikers. The generic composite moniker 3401 and 3402 represent generic composite monikers for whom a common prefix is to be determined. Generic composite moniker 3401 includes component item monikers A, B, C, and D. Generic composite moniker 3402 comprises component item monikers A, B, and D. The resulting moniker is a generic composite moniker 3403 with a component moniker for Item A and a component moniker for Item B. The common prefix of (A.smallcircle.B.smallcircle.C.smallcircle.D) and (A.smallcircle.B.smallcircle.D) is (A.smallcircle.B).

FIG. 35 is a flow diagram of the method CommonPrefixWith of the class CCompositeMoniker. In step 3501, if the other moniker (pmkOther) is a generic composite moniker, then the method continues at step 3505, else the method continues at step 3502. In step 3502, the method invokes the method CommonPrefixWith of the first component moniker of this moniker passing the other moniker and returning the common prefix. In step 3503, if the first component moniker of this component moniker is a common prefix with the other moniker, then the method returns an indication that a common prefix exists but neither this moniker nor the other moniker is the common prefix, else the method continues at step 3504. In step 3504, if the method returns an indication that the first component moniker of this moniker and the other moniker are common prefixes, then the method returns an indication that the other moniker is a common prefix of this moniker, else the method returns with the indication returned in step 3502. In step 3505, the method invokes the method CommonPrefixWith for the first component moniker of this moniker passing the first component moniker of the other moniker and returning the result. If the first component moniker of this moniker and the first component moniker of the other moniker are common prefixes of each other, then the method continues at step 3507, else the method continues at step 3509. In step 3507, the method invokes the method CommonPrefixWith for a moniker comprising all but the first component moniker of this moniker and passing it all but the first component moniker of the other moniker. This recursively invokes the method CommonPrefixWith to determine the extent of the common prefix. In step 3508, the method composes the result of step 3505 and step 3507 and returns. In step 3509, if the first component moniker of the other moniker is a prefix of the first component moniker of this moniker, then the method continues at step 3510, else the method continues at step 3511. In step 3510, the method indicates that the prefix is the first component moniker of the other moniker and returns. In step 3511, if the first component moniker of this moniker is the prefix of the first component moniker of the other moniker, then the method continues at step 3512, else the method returns the result that was returned in step 3505. In step 3511, the method sets the prefix to return to this moniker and returns.

FIG. 36 is a flow diagram of the method CommonPrefixWith of the class CFileMoniker. The method scans the path names of this moniker and the other moniker to determine the common prefix. The count of anti monikers is assumed to precede the path names. In step 3601, if the other moniker (pmkOther) is a file moniker, then the method continues at step 3603, else the method continues at step 3602. In step 3602, the method invokes the function MonikerCommonPrefixWith (described below) and returns. In step 3603, if the count of anti monikers for this moniker (m.sub.-- cAnti) is not equal to the count of anti monikers for the other moniker, then the method continues at step 3606, else the method continues at step 3604. In step 3604, the method scans the file path of the other moniker (m.sub.-- lpszPath) and the file path of this moniker to determine the common prefix. In step 3605, the method sets the result and returns. In step 3606, the method determines the minimum of the anti moniker count of this moniker and the anti moniker count of the other moniker. In step 3607, the method creates a file moniker as the prefix moniker to return. In step 3608, the method sets the count of the anti monikers of the prefix to the minimum count of anti monikers. In step 3609, if the minimum count of anti monikers is in this moniker, then the method continues at step 3611, else the method continues at step 3610. In step 3610, if the path of the other moniker is NULL, then the method returns an indication that the other moniker is a common prefix, else the method returns an indication that neither moniker is the common prefix. In step 3611, if the path of this moniker is NULL, then the method returns indicating that this moniker is a common prefix, else the method returns indicating that neither moniker is the common prefix.

FIG. 37 is a flow diagram of the method CommonPrefixWith of the class CIternMoniker. In step 3701, if this moniker is equal to the other moniker, then the method continues at step 3702, else the method returns an indication that there is no prefix in common. In step 3702, the method sets the prefix moniker equal to this moniker and returns an indication that both monikers are common prefixes.

FIG. 38 is a flow diagram of the method CommonPrefixWith of the class CAntiMoniker. In step 3801, if the other moniker is an anti moniker, then the method continues at step 3803, else the method continues at step 3802. In step 3802, the method invokes the function MonikerCommonPrefixWith and returns. If the count of this moniker is less than or equal to the count of the other moniker, then the method continues at step 3805, else the method continues at step 3804. In step 3804, the method sets the prefix moniker to point to the other moniker and returns an indication that the other moniker is the common prefix. In step 3805, the method sets the prefix moniker equal to this moniker. In step 3806, if the count of this moniker is equal to the count of the other moniker, then the method returns an indication that both monikers are common prefixes, else the method returns an indication that this moniker is a common prefix.

HRESULT MonikerCommonPrefixWith(pmkThis, pmkOther, ppmkPrefix)

This function is invoked by implementations of the method CommonPrefixWith. This function handles the situation when the implementation does not recognize the type of the other moniker. The following table describes the meters of the function MonikerCommonPrefixWith:

FIG. 39 is a flow diagram of the function MonikerCommonPrefixWith. In step 3901, if this moniker (pmkThis) is a generic composite moniker, then the method continues at step 3902, else the method continues at step 3903. In step 3902, the method invokes the method CommonPrefixWith of this moniker passing it the other moniker (pmkOther) and returns. In step 3903, if the other moniker is a generic composite, then the method continues at step 3905, else the method continues at step 3904. In step 3904, if neither moniker is a generic composite moniker, then the method sets the prefix to NULL and returns an indication that there is no prefix in common. In step 3905, the method invokes the method CommonPrefixWith of the other moniker passing this moniker. In step 3906, if this moniker is the common prefix, then the method returns with an indication, else the method continues at step 3907. In step 3907, if the other moniker is the common prefix, then the method returns with an indication, else the method returns with the indication returned in 3905.

HRESULT IMoniker::RelativePathTo(pmkOther, ppmkRelPath)

This method returns as a moniker that, when composed onto the end of this moniker or one with a similar structure, yields the other moniker (pmkOther). Implementations of this method preferably determine the longest prefix that this moniker and the other moniker have in common. This method separates this moniker and the other into two parts, say (P,T.sub.this) and (P,T.sub.other) respectively, where P is the common prefix. T.sub.this and T.sub.other represent the trailing components. The relative path result is then T.sup.-1.sub.this .smallcircle.T.sub.other, where T.sup.-1 indicates the inverse. Thus, (P,T.sub.this).smallcircle.(T.sup.-1.sub.this .smallcircle.T.sub.other)=(P, T.sub.other).

FIG. 40 is a block diagram illustrating a relative path to moniker. When generic composite moniker 4001 is composed with relative path to moniker 4002, the result is genetic composite moniker 4003. During composition, the component moniker Item C of generic composite moniker 4001 and the anti moniker of generic composite moniker 4002 annihilate. The generic composite moniker 4002 is the relative path to moniker to go from the composite generic moniker 4001 to 4003. More precisely, the relative path to moniker is the inverse of the portion that is not the common prefix of generic composite monikers 4001 and 4003 composed with the portion of generic composite moniker 4003 that is not the common prefix.

FIGS. 41A and 41B are block diagrams illustrating a usage of the method RelativePathTo. The document 4101 has a path name of "c:.backslash.reports.backslash.monthly.backslash.june.doc". The document 4101 contains a link to a range within the spreadsheet document 4102. The spreadsheet document has the path "c:.backslash.reports.backslash.monthly.backslash.data.backslash.june.xls" . The range is identified by "R4C7:R8C12". The document 4101 preferably stores a moniker indicating the absolute path name of the range and the relative path name of the range. In this way, when the document 4101 is moved to a new directory with a similar structure, the correct range can be retrieved from that directory structure using the relative path. FIG. 41B illustrates a generic composite moniker 4103 describing the absolute path to the spreadsheet range. The generic composite moniker 4103 includes a file moniker 4104 with the absolute path name of the spreadsheet file and an item moniker 4105 which describes the spreadsheet range. The relative path to moniker is generic composite moniker 4106. Generic composite moniker 4106 includes anti moniker 4107 and file moniker 4108, and item moniker 4109. The generic composite moniker 4106 is the relative path to moniker for the absolute path name of the document 4101. When the moniker for the absolute path name of the document 4101 is composed with the generic composite moniker 4106, the result is the proper composite moniker needed to access the spreadsheet file.

FIGS. 42A, 42B, and 42C comprise a flow diagram of the method RelativePathTo of the class CCompositeMoniker. In step 4201, if the other moniker (pmkOther) is a generic composite moniker, then the method continues at step 4202, else the method continues at step 4227. In step 4202 through 4207, the method loops determining the common prefix of this moniker and the other moniker. In step 4202, the method sets a variable nCount equal to 0. The variable nCount keeps track of the number of component monikers in the common prefix. In step 4203, the method selects the next component moniker of the other moniker, starting with the first. The enumeration of generic composite monikers is described below. In step 4204, the method selects the next component moniker of this moniker, starting with the first. In step 4205, if a component moniker of the other moniker and a component moniker of this moniker are selected, then the method continues at step 4206, else the method continues at step 4208. In step 4206, if the selected component monikers are equal, then the method continues at step 4207, else the method continues at step 4208. In step 4207, the method increments the variable nCount and loops to step 4203 to select the next component monikers. In step 4208, if the variable nCount equals 0, then this moniker and the other moniker have no common prefix and the method continues at step 4209, else the method continues at step 4214. In step 4209, the method invokes the method RelativePathTo of the first component moniker of this moniker passing it the first component moniker of the other moniker and indicating to return the result as the inverse of the first component of this moniker. In step 4210, if the invocation of the method RelativePathTo in step 4209 indicates that a non-trivial relative path exists, then the method continues at step 4211, else the method continues at step 4213. In step 4211, the method indicates that the first component moniker of this moniker is equal to the result of step 4209. In step 4212, the method selects the next component moniker of the other moniker and continues at step 4216. In step 4213, the method sets the relative path to point to the other moniker and returns an indication that the relative path is the other moniker. In step 4214, if not all the component monikers of the this moniker have been selected, then the method continues at step 4215, else the method continues at step 4216. In step 4215, the method determines the inverse of the selected component moniker of this moniker and continues at step 4216. In step 4216, if the selected component moniker of this moniker is not equal to NULL, then the method continues at step 4217, else the method continues at step 4221. In step 4217, the method determines the inverse of the component monikers of this moniker that have not been selected. In step 4218, if the inverse is not NULL, then the method continues at step 4219, else the method continues at step 4220. In step 4219, the method invokes the method ComposeWith of the inverse passing it the inverse of the last selected component moniker of this moniker to create an inverse for the tale portion of this moniker and the method continues at step 4221. In step 4220, the method sets the inverse of the tale portion of this moniker equal to the inverse of the last selected component moniker of this moniker and continues at step 4221. In step 4221, if the selected component moniker of the other moniker is not equal to NULL, then the method continues at step 4223, else the method continues at 4222. In step 4222, the method sets the tale of the other moniker equal to NULL and continues at step 4224. In step 4223, the method composes the selected component moniker of the other moniker with tale of the other moniker and continues at step 4224. In step 4224, if the inverse of the tale of this moniker is not equal to NULL, then the method continues at step 4226, else the method continues at step 4225. In step 4225, the method sets the relative path to the tale of the other moniker and returns. In step 4226, the method composes with the inverse of the tale of this moniker with the tale of the other moniker and returns that as a relative path. In step 4227, the method selects the next component moniker of this moniker. In step 4228, if the selected component moniker of this moniker is equal to the other moniker, then the method continues at step 4229, else the method continues at step 4230. In step 4229, the method gets the inverse of this moniker and returns it as the relative moniker. In step 4230, the method invokes a method RelativePathTo of the selected component moniker of this moniker passing it the other moniker. In step 4232, if the method invoked in step 4230 indicates that the other moniker is the relative path to moniker, then the method continues at step 4232, else the method continues at step 4233. In step 4232, the method sets the relative path to moniker to point to the other moniker and returns. In step 4233, the method gets the inverse of the tale of this moniker. In step 4234, the method composes with the inverse of the tale of this moniker with the relative path to moniker returned in step 4230 and returns.

HRESULT MonikerRelativePathTo(pmkSrc, pmkDest, ppmkRelPath, reserved)

This function is invoked by implementations of the method RelativePathTo. This method handles the situation when the implementation does not recognize the type of the other moniker.

FIG. 43 is a flow diagram of the function MonikerRelativePathTo. In step 4301 if the source moniker or the destination moniker is a generic composite moniker, then the method continues at step 4304, else the method continues at step 4302. In step 4302, if the parameter fCalledFromMethod is true, then the method continues at step 4303, else the method continues at step 4305. In step 4303, the method sets the relative path to the destination moniker and returns an indication moniker that the destination moniker is the relative path to. In step 4304, if the source moniker is a generic composite moniker, then the method continues at step 4305, else the method continues at step 4306. In step 4305, the method invokes the method RelativePathTo of the source moniker passing the destination moniker and returns the relative path from that invocation. In step 4306, if the source moniker is equal to the first component moniker of the destination moniker, then the method continues at step 4307, else the method continues at step 4308. In step 4307, the method sets the relative path to moniker equal to a moniker comprising all but the first component moniker of the destination moniker and returns. In step 4308, the method invokes the method RelativePathTo of the source moniker passing the first component moniker of the destination moniker. In step 4309, if no error is returned, then the method continues at step 4310, else the method continues at step 4311. In step 4310, the method invokes the function CreateGenericComposite passing the relative path to moniker returned in step 4308 and a moniker comprising all but the first component moniker of the destination moniker and returns. In step 4311, the method sets the relative path to moniker equal to the destination moniker and returns an indication that the destination moniker a relative path to moniker.

HRESULT IMoniker::Enum(fForward, ppenmMoniker)

This method returns an interface that permits the enumeration of the component monikers of which this moniker is logically a composite. For a generic composite moniker, this enumerates the components of which the composite is composed. For other monikers, the semantics of the components of which it is a composite are implementation-defined. For example, enumerating the components of a file moniker returns each portion of the internally stored path name, even though they are not stored internally as actual separate monikers. Monikers that have no discernible internal structure return NULL instead of an enumerator.

The IEnumMoniker interface is an enumerator that supports the enumeration of items which are monikers.

The following table describes the parameters of the method Enum:

FIG. 44 is a flow diagram of the method Enum of the class CCompositeMoniker. In step 4401, the method instantiates an enumerator object of type CCompositeMonikerEnum for this composite object. Code Table 44 illustrates the data members of a class definition for the enumerator. The object contains a pointer to the moniker being enumerated (m.sub.-- pCM), a flag indicating whether the enumeration is in the forward direction (m.sub.-- fForward), pointers indicating the base and the top of a stack (m.sub.-- pBase, m.sub.-- pTop), and a pointer to the next component moniker to be returned (m.sub.-- pNext). In steps 4402 through 4406, the method initializes the data members of the instantiated object. In step 4406, the method invokes the method GetNext passing this moniker and sets data member m.sub.-- pNext to the result.

FIG. 45 is a flow diagram of the private method GetNext of the class CCompositeMonikerEnum. The enumeration of a composite moniker is a left-to-right, depth-first traversal of the tree formed by the composite moniker. The enumerator maintains a stack to track the traversal of the tree. In step 4501, the method sets a pointer to a rover (pmkRover) equal to the passed moniker. The rover pointer is used to traverse the tree. In step 4502, if the passed moniker is NULL, then the method returns NULL, else the method continues at step 4503. In step 4503, if the moniker pointed to by the rover is a generic composite moniker, then the method continues at step 4504, else a component moniker is located and the method returns the moniker pointed to by the rover. In step 4504, the method invokes the method Push to push the generic composite moniker indicated by the rover onto the stack. In step 4505, if the enumeration is being performed in the forward direction, the method continues at step 4506, else the method continues at step 4507. In step 4506, the method sets the rover to point to the left moniker of the moniker pointed to by the rover and loops to step 4503. In step 4507, the method sets the rover to point to the right moniker of the moniker pointed to by the rover and loops to step 4503.

FIG. 46 is a flow diagram of the method Next of the class CCompositeMonikerEnum. Each time this method is invoked it returns the next component moniker of the composite moniker. The method Next returns an array of component monikers up to a maximum number specified as a parameter. In step 4601, the method initializes a count variable to 0. In step 4602, if the count is less than the requested count of component monikers and not all the component monikers have been returned, then the method continues at step 4603, else the method continues at 4607. In step 4603, the method stores the next component moniker in the return array. In steps 4604 and 4605, the method increments the count and index into the return array. In step 4606, the method sets the next component moniker to point to the moniker returned by the method Pop and loops to step 4602. In step 4607, if a pointer to the count of fetched elements is not equal to NULL, then the method sets the pointer equal to the count in step 4608. The method then returns.

The methods Push and Pop of the class CCompositeMonikerEnum implement a stack. The method Push pushes the passed genetic composite moniker onto a stack. The method Pop removes a top genetic composite moniker from the stack and invokes the method GetNext passing it the tight moniker if a search is being performed in the forward direction and a left moniker if the search is being performed in the reverse direction. The method Pop returns the component moniker returned by the method GetNext.

Pointer Moniker class

In a preferred embodiment, a pointer moniker is a class of moniker that wraps an existing pointer to an object in a moniker so that it may participate as a component moniker in the moniker binding process. A pointer is a reference into "active space," that is, memory of a process. A moniker typically is a reference into "passive space," that is, the representation of an object on disk. Pointer monikers provide a means by which a given use of a moniker can transparently reference either active or passive space.

In a preferred embodiment, the method BindToObject of a pointer moniker invokes the method QueryInterface of the pointed to object. The method BindToStorage returns MK.sub.-- E.sub.-- NOSTORAGE. The method Reduce reduces the moniker to itself. The method ComposeWith does a genetic composition. The method Enum returns NULL. The method IsSystemMoniker returns MKSYS.sub.-- NONE. The method IsEqual uses the identity test paradigm on pointers after first checking that the other moniker for the right class. The method Hash returns a constant. The method GetTimeOfLastChange returns MK.sub.-- E.sub.-- UNAVAILABLE. The method Inverse returns an anti moniker. The method RelativePathTo returns the other moniker. The method GetDisplayName returns NULL. The method ParseDisplayName binds to the punk pointer using IParseDisplayName interface. Pointer monikers do not serialize; that is, the Save of the IPersistStream interface returns an error.

HRESULT CreatePointerMoniker(punk, ppmk)

This function wraps a pointer in a pointer moniker so that it can be presented to interfaces that require monikers for generality, but specific uses of which can usefully deal with a moniker which cannot be saved to backing store. The following table describes the parameters of the method CreatePointerMoniker.

FIG. 47 is a flow diagram of the method Create of the class CPointerMoniker. In step 4701, the method instantiates a new pointer moniker. In step 4702, the method sets a data member (m.sub.-- Punk) the new pointer moniker to point to the passed object and returns.

FIG. 48 is a flow diagram of the method BindToObject of the class CPointerMoniker. In step 4801, the method invokes the method QueryInterface of the pointed to object passing the identifier of the requested interface. The method then returns with the requested interface.

FIG. 49 is a diagram illustrating a pointer moniker. Object 4901 is wrapped in pointer moniker 4902. Pointer moniker 4902 contains a pointer to the object 4901.

Although the present invention has been described in terms of preferred embodiments, it is not intended that the invention be limited to these embodiments. Modifications within the spirit of the invention will be apparent to those skilled in the art. The scope of the present invention is defined by the claims which follow.

Answer as to whether this moniker is in fact running. As usual, the Running Object Table in whose context this question is to be answered is obtained by this moniker from the Bind context. pmkToLeft is the moniker to the left of this object in the generic composite in which it is found, if any.

If non-NULL, pmkNewlyRunning is the moniker which has most recently been added to the Running Object Table; the implementation of IsRunning() can assume that without this object in the R.O.T., that IsRunning() would have reported that it was not running; thus, the only way that it can now be running is if this newly running moniker is in fact itself| This allows for some n.sup.2 -to-n reductions in algorithms that use monikers. (If the moniker implementation chose to ignore pmkNewlyRunning, no harm would come: this moniker is in fact in the R.O.T.)

Implementations of this method in various kinds of moniker classes are roughly as follows:

The arguments to this function are as follows:

HRESULT IMoniker::GetTimeOfLastChange(pbc, pmkToLeft, pfiletime)

Answer the earliest time after which the object pointed to by this moniker is known not to have changed.

The purpose of this function is to support the ability to determine whether a given OLE link object or OLE embedded object which contains links is up-to-date or not. This is usually done as user documents are opened; thus, in most cases it will be important that this operation is fast. Implementations should pay particular attention to the deadline parameter passed in the bind context.

If it is not the case that all the objects in a document are known to be up-to-date, the user will usually be prompted with a dialog as to whether they should be updated. If he says yes, then each of the objects which is not known to be up-to-date will be bound in order to retrieve a new presentation. The point germane to the present discussion is that GetTimeOfLastChange() is part of the mechanism of avoiding binding to objects unnecessarily. GetTimeOfLastChange() itself, therefore, should not bind to the object in order to obtain the most accurate answer. Rather, it should return the best available answer given objects that are already running. Many monikers denote an object contained in the object denoted by the moniker to their left. Implementations of GetTimeOfLastChange() in most of these monikers can take advantage of the fact they cannot have changed any later than the object in which they are contained. That is, these monikers can simply forward the call onto the moniker to their left.

The returned time of change is reported using a FILETIME. A FILETIME is a 64-bit value indicating a time in units of 100 nanoseconds, with an origin in 1601. A resolution of 100 nanoseconds allows us to deal with very fast-changing data; allocating this many bits given us a range of tens of thousands of years. It is not expected that most change times in objects will actually be internally recorded with this precision and range; they only need be reported with such.

If the time of last change is unavailable, either because the deadline was exceeded or otherwise, then it is recommended that a FILETIME Of {dwLowDateTime, dwHighDateTime}={OxFFFFFFFF,0x7FFFFFFF}(note the 0.times.7 to avoid accidental unsigned/signed confusions) should be passed back. If the deadline was exceeded, then the status MK.sub.-- E.sub.-- EXCEEDEDDEADLINE should be returned. If the time of change is unavailable, and would not be available no matter what deadline were used, then MK.sub.-- E.sub.-- UNAVAILABLE should be returned. Otherwise, S.sub.-- OK should be returned.

If pmkToLeft is NULL, then this function should generally first check for a recorded change-time in the Running Object Table with IRunningObjectTable::GetTimeOfLastChange() before proceeding with other strategies. Moniker classes that support wildcards will have to take into consideration exactly what does get put in the R.O.T. and look for the appropriate thing; since Generic Composite Monikers know nothing of wildcards, they may even need to do that in the non-NULL pmkToLeft case. See IMoniker::IsRunning().

The bind context parameter passed to many of the IMoniker operations serves a few purposes.

Its primary purpose is to accumulate the set of objects that get bound during an operation but which should be released when the operation is complete. This is particularly useful in generic composites: using the bind context in this way avoids binding an object, releasing it, only to have it bound again when the operation moves on to another piece of the composite.

Another purpose of the bind context is to pass a group of parameters which do not change as an operation moves from one piece of a generic composite to another. These are the binding options, and are described below. Some of these binding options have a related return value in certain error conditions; the bind context provides the means by which they can be returned.

The bind context is also the only means through which moniker operations should access contextual information about their environment. Preferably, there should be no direct calls in moniker implementations to API functions that query or set state in the environment; all such calls should instead funnel through the bind context. Doing this allows for future enhancements which can dynamically modify binding behaviour. In OLE 2, the most important piece of contextual information that moniker operations need to access is the Running Object Table; monikers should always access this table indirectly through IBindCtx::GetRunningObjectTable(), rather than using the global function GetRunningObjectTable(). IBindCtx interface allows for future extensions to the passed-in contextual information in the form the ability to maintain a stringkeyed table of objects. See IBindCtx::RegisterObjectParam() and related functions.

HRESULT IBindCtx::RegisterObjectBound(punk)

Remember the passed object as one of the objects that has been bound during a moniker operation and which should be released when it is complete overall. Calling this function causes the binding context to create an additional reference to the passed-in object with IUnknown::AddRef(); the caller is still required to Release() its own copy of the pointer independently.

The effect of calling this function twice with the same object is cumulative, in that it will require two RevokeObjectBound() calls to completely remove the registration of the object within the binding context.

HRESULT IBindCtx::RevokeObjectBound(punk)

This function undoes the effect of IBindCtx::RegisterObjectBound(): it removes the object from the set that will be released when the bind context in IBindCtx::ReleaseBoundObjects() (actually removes one occurrence of it). This function is likely to be rarely called, but is included for completeness.

HRESULT IBindCtx::ReleaseBoundObjects()

Releases all the objects currently registered with the bind context through RegisterObjectBound(). This function is (conceptually) called by the implementation of IBindCtx::Release().

HRESULT IBindCtx::SetBindOptions(pbindopts)

Store in the bind context a block of parameters that will apply to later IMoniker operations using this bind context. Using block of parameters like this is just an alternative way to pass parameters to an operation. We distinguish the parameters we do for conveyance by this means because 1) they are common to most IMoniker operations, and 2) these parameters do not change as the operation moves from piece to piece of a generic composite.

BINDOPTS is defined as follows:

The members of this structure have the following meanings:

The enumeration BINDFLAGS, which contains the legal values for the bitfield BINDOPTS::grfFlags, is defined as follows:

These flags have the following interpretation.

HRESULT IBindCtx::GetBindOptions(pbindopts)

Return the current binding options stored in this bind context. See IBindCtx::SetBindOpts() for a description of the semantics of each option.

Notice that the caller provides a BINDOPTS structure, which is filled in by this routine. It is the caller's responsibility to fill in the cbStruct member correctly.

HRESULT IBindCtx::GetRunningObjectTable(pprot)

Return access to the Running Object Table relevant to this binding process. Moniker implementations should get access to the Running Object Table using this function rather than the global API GetRunningObjectTable(). The appropriate Running Object Table is determined implicitly at the time the bind context is created.

HRESULT IBindCtx::RegisterObjectParam(lpszKey, punk)

Register the given object pointer under the name lpszKey in the internally-maintained table of object pointers. The intent of this table is that it be used as an extensible means by which contextual information can be passed to the binding process. String keys are compared case-sensitive.

Like IBindCtx::RegisterObjectBound(), this function creates an additional reference to the passed-in object using IUnknown::AddRef(). The effect of calling this function a second time with the same lpszKey is to replace in the table the object passed-in the first time.

By convention, moniker implementors may freely use object parameters whose names begin with the string representation of the class id of the moniker implementation in question.

This facility is also used as means by which various errors can convey information back to the caller. Associated with certain error values are the following object parameters:

New moniker authors can freely use parameter names that begin with the string form of the CLSID of their moniker; see StringFromCLSID().

The arguments to this function are as follows:

HRESULT IBindCtx::GetObjectParam(lpszKey, ppunk)

Lookup the given key in the internally-maintained table of contextual object parameters and return the corresponding object, if one exists.

HRESULT IBindCtx::EnumObjectParam(ppenum)

Enumerate the strings which are the keys of the internally-maintained table of contextual object parameters.

HRESULT IBindCtx::RevokeObjectParam(lpszKey)

Revoke the registration of the object currently found under this key in the internally-maintained table of contextual object parameters, if any such key is currently registered.

HRESULT CreateBindCtx(reserved, ppbc)

Allocate and initialize a new BindCtx using an OLE-supplied implementation.

Now that we understand how monikers provide a generalized abstraction of a reference to data, we will examine in detail the workings of the most common place in which monikers are actually used: OLE2 linked compound-document objects.

As mentioned earlier, OLE2 provides for tracking links as they move about relative to their sources. In order to support the most general such support it is necessary to ask the moniker of the link source to generate a tracking representation of itself (which would be another moniker, of course, perhaps called a "tracking moniker"). Though this most-general support has been designed, and will be implemented in the future, it is not implemented in OLE2. Instead, in OLE2 knowledge of one particularly important link-tracking algorithm is incorporated into the OLE-provided link object: in addition to storing the moniker given to it with IOleLink::SetSourceMoniker(), it also stores a relative moniker formed using its own moniker, the source moniker, and IMoniker::RelativePathTo(). The relative moniker has priority over the original, absolute moniker: the link object always tries to bind the relative moniker first, using the absolute moniker on if the relative one fails to bind. Using a relative moniker in addition to the absolute moniker in this way covers the following link tracking scenarios:

1. the link source and the link consumer have been copied or moved but retain the same relative structure. A very important common case of this is that of two documents in the same directory. Another case is that of a link between two objects both embedded in a third document. In these situations, the relative moniker succeeds in binding.

2. the link source does not move, but the consumer does (in a manner other than that of the previous case). Here, the relative moniker fails to bind, but the absolute one works.

From a container's perspective, the architectural difference between an embedding and a link is that a link supports IOleLink interface whereas an embedding does not. IOleLink interface contains functionality by which the moniker inside the link and the link's update options are manipulated.

HRESULT IOleLink::SetUpdateOptions(dwUpdateOpt)

This function sets the link-update options for the link object. This controls exactly when the data and/or presentation cache on the consuming end of the link is updated. dwUpdateOpt is taken from the enumeration OLEUPDATE, defined as follows:

These flags have the following semantics:

The arguments to this function have the following meanings.

HRESULT IOleLink::GetUpdateOptions(pdwUpdateOpt)

Retrieve update options previously set with IOleLink::SetUpdateOptions().

HRESULT IOleLink::SetSourceMoniker(pmk, rclsid)

Stores inside of the link object a moniker which indicates the source of the link. This moniker becomes part of the persistent state of the object. In addition to storing this moniker, in order to support link source tracking, link objects also store a relative moniker computed as:

pmkOfThisLinkObject.fwdarw.RelativePathTo(pmk).

When in the running state (i.e.: the source moniker has been bound and connected), a link object registers itself on its link source to receive rename notifications. When one is received, the link object updates its source moniker to the new name. The primary reason for doing this is to handle as best we can the situation where a link is made to a newly created document that has never been saved, though doing this does provide better link tracking in general. For example, newly created Excel spreadsheets are named "SHEET1", "SHEET2", etc. Only when they are saved for the first time do they acquire a persistent identity which is appropriate to store in links to them. So long as the sheet is saved before its link consumer is closed the link will track correctly.

Recall that from the container's perspective, a link is just an embedding that also happens to support the IOleLink interface. In particular, a link object may be at different times in both the loaded and the running state. When in the loaded state, the link object still needs to be able to carry out a limited amount of class-specific, such as verb enumeration, data format enumeration, etc. In order to be able to carry this out, the link object keeps as part of its persistent state an internal cache of the CLSID of the object to which it was last connected. The parameter rclsid here is the initial value of the cache. The cache is updated whenever the link connects. Further, SetSourceMoniker() does a BindlfRunning(), so if the link source indicated by pmk is currently running, then rclsid has basically no effect. See also IOleLink::BindToSource().

HRESULT IOleLink::GetSourceMoniker(ppmk)

Retrieve the indication of the current link source.

HRESULT IOleLink::SetSourceDisplayName(lpszDisplayName)

As described above in IMoniker::GetDisplayName(), monikers used to indicate the source of embedded link objects have a display name by which they can be shown to the user. Conversely display names can be parsed into moniker using MkParseDisplayName(). Most often, the indication of a link source is provided directly in a moniker, such as the moniker passed through the clipboard in a Copy/Paste Link operation. Less frequently, it is originates in a textual form, such as the text box in the Edit/Links . . . dialog.

Monikers originating in textual form of course need to be parsed into monikers in order to be stored as the source of a link. A key question is whether this is done before or after the display name/moniker is passed to the link object. Both scenarios are supported.

If the caller wishes to do the parsing, then he calls MkParseUserName() and passes the resulting moniker to IOleLink::SetSourceMoniker().

If instead it wishes the link object itself to do the parsing, then it should call IOleLink::SetSourceDisplayName(). This allows the possibility that the link object can optimize the parsing with a subsequent binding.

In the latter case, then by the first time the link needs to be bound the display name will be parsed and the resulting moniker stored in its place. Until such parsing takes place, the link object will not participate in auto-link reconnections; thus, most callers will either want to themselves call MkParseDisplayName() or will want to let the link object do the parsing but run the link immediately after setting the display name in order to cause the parsing to happen.

HRESULT IOleLink::GetSourceDisplayName(lplpszDisplayName)

This returns the display name of the source of the link using the most efficient means available.

The present implementation carries this out by simply asking the internal moniker for its display name. This is sometimes expensive, though very rarely (and never with any of the OLE-supplied monikers). Thus, clients who for whom this is a time-critical operation should consider caching the display name themselves.

HRESULT IOleLink::BindToSource(grfLinkBind, pbc)

Causes the link to bind the moniker contained within itself. When the user double-clicks a link and the server must be located, this is the workhorse function which is invoked to cause the connection to happen, though normally this is invoked by being called internally by DoVerb().

pbc is the bind context to use for the bind operation.

When binding a link, it may be the case that the current class of the link source is not the same as it was the previous time that the link tried to connect. Imagine, for example, a link to a Lotus spreadsheet object that the user subsequently converted (using the Change Type dialog) to an Excel sheet. grfLinkBind controls the behaviour of the binding operation in this scenario. It contains values taken from the enumeration OLELINKBIND:

If OLELINKBIND.sub.-- EVENIFCLASSDIFF is not provided, then this function will return OLE.sub.-- E.sub.-- CLASSDIFF if the class is different than the previous time that this link successfully bound. If OLELINKBIND.sub.-- EVENIFCLASSDIFF is given, then the bind process will proceed even if the class has changed.

When OleRun() is invoked on an embedding which is in fact a link object, it conceptually just invokes this function as

plink.fwdarw.BindToSource(0, 0)

If OleRun() returns OLE.sub.-- E.sub.-- CLASSDIFF, then the client will have to call BindToSource() directly.

HRESULT IOleLink::BindlfRunning()

This binds the link to its source only if said source is in fact presently running.

HRESULT IOleLink::GetBoundSource(ppUnk)

This function retrieves the object to which the this link is currently connected, if any is present. In the event that no source is currently connected, then S.sub.-- FALSE is returned by the function and NULL is returned through *ppunk.

HRESULT IOleLink::UnbindSource()

If the link object is presently connected to its source, then break that connection.

HRESULT IOleLink::Update(pbc)

Carry out the same functionality as is described in IOleObject::Update(), but in addition record any bound objects in the passed in bind context. IOleObject::Update() on an object which also supports IOleLink should just call IOleLink::Update(NULL) on itself. Non-NULL uses of pbc allow complex binding scenarios to be optimized by callers.

The OLE-provided Link Object implementation of IOleLink::Update() requires that the link be made running; that is, that the source moniker be bound. In the event that the source is unavailable, then the implementation of Update() is careful not to loose the presentations that it already has cached from the previous time it connected. That is, a failed connect attempt will not cause any presentations to be lost.

The implementation of IsUpToDate() in links is a bit tricky. The problem is two-fold:

(1) how to avoid comparing the local clock against the remote clock at the other end of the link, since the two may be very much out of synchronization, and

(2) how to handle the fact that we must treat equal change times reported from the source conservatively as "out of date" due to possible lack of precision in the source's clock. For example, if the source data is changing at the rate of 20 times per second, but the only clock that the source has available with which to report change times has a resolution of one second, then each group of 20 changes will report exactly the same change time.

The solutions to these problems are embodied in the OLE-provided link object implementation; however, it is instructive nevertheless that others understand how they are addressed. Consider that whenever a link object updates from its source, it stores the remote time (rtUpdate) beyond which the data in that update is known not to have changed; this is the time returned by GetTimeOfLastChange() on the source moniker. In addition to this time, the link object also stores the local time (ItChangeOfUpdate) at which it first obtained a particular value of rtUpdate. That is, when rtUpdate is revised as a result of an Update(), if the new value is different than the old, then ItChangeOfUpdate is set to the current local time; if it is the same, then ITChangeOfUpdate is left alone. Finally, the link object stores the local time (ItKnownUpToDate) at which it last new itself to be up to date. For auto-links, this time is updated as part of their save sequence. Manual links update this time only at Update() time. When IsUpToDate() is invoked, it retrieves GetTimeOfLastChange(), the value indicated by rtTimeOfLastChange in the diagram. Given this structure, a link is deemed to be up to date if(approximately):

(rtTimeOfLastChange-rtChangeOfUpdate)<(ItKnownUpToDate-ItUpdate)

More completely, backwards movement of clocks needs to be considered, and a case of equal remote times is taken as out of date (per the problem indicated above) only if less than two seconds has elapsed on our local clock (that is, we assume that remote clocks have a precision of at least two seconds).

In general when binding to an object we want to open it if it is currently passive, but if not, then we want to connect to the running instance. A link to a Lotus 123 for Windows spreadsheet, for example, when first bound to should open the spreadsheet, but a second bind should connect to the already-open copy. The key technical piece that supports this is the Running Object Table.

The Running Object Table is a globally accessible table on each workstation. It keeps track of the objects that are currently running on that workstation so that if an attempt is made to bind to one a connection to the currently running instance can be made instead of loading the object a second time. The table conceptually is a series of tuples, each of the form:

(pmkObjectName, pvObject)

The first element is the moniker that if bound should connect to the running object. The second element is the object that is publicized as being available, the object that is running. In the process of binding, monikers being bound with nothing to their left consult the pmkObjectName entries in the Running Object Table to see if the object that they (the moniker being bound) indicate is already running.

Access to the Running Object Table is obtained with the function GetRunningObjectTable(). This returns an object with the interface IRunningObjectTable (note as described earlier, however, that moniker implementations should not use this API, but should instead access the Running Object Table from the bind context as they are passed).

As entries are placed into the Running Object Table, they are matched against the Alert Object Table to see if any auto-link reconnections need to be done.

HRESULT GetRunningObjectTable(reserved, pprot)

Return a pointer to the Running Object Table for the caller's context.

HRESULT IRunningObjectTable::Register(reserved, pUnkObject, pmkObjectName, pdwRegister)

Register the fact that the object pUnkObject has just entered the running state and that if the moniker pmkObjectName is bound to, then this object should be used as the result of the bind (with an appropriate QueryInterface()).

The moniker pmkObjectName should be fully reduced before registration. See IMoniker::Reduce() for a more complete discussion. If an object goes by more than one fully reduced moniker, then it should register itself under all such monikers. Here, "fully reduced" means reduced to the state MKRREDUCE.sub.-- THROUGUSER.

OLE compound document objects should announce themselves as running by calling this function as soon as all of the following are true:

1. The object is in the running state.

2. The object knows its full moniker (see IOleObject::SetMoniker()). This is true if both of the following are true:

2a. A moniker for the object relative to its container has been assigned to the object. Recall that this is part of the persistent state of the object.

2b. The object knows the current moniker of its container (almost always through its container calling IOleObject::SetMoniker()). Recall that the moniker of the object's container is not part of the persistent state of the object.

3. There is any possibility that a link to the object or something that it contains exists.

Normally, if a link has ever been made to an object, then it should be assumed that the link to the object still might exist. The consumer of the link might be on a floppy disk somewhere, for example, which may later reappear. The exceptions are some rare situations where a link is created but almost immediately destroyed before the link source is saved.

The moniker with which the OLE object should register itself as running is its full moniker as described in IOleObject::GetMoniker().

Registering a second object under the same moniker sets up a second independent registration, though MK.sub.-- S.sub.-- MONIKERALREADYREGISTERED is returned instead of S.sub.-- OK. This is done without regard to the value of pUnkObject in the second registration; thus, registering the exact same (pmkObjectName, pUnkObject) pair a second time will set up a second registration. It is not intended that multiple registration under the same moniker be a common occurrence, as which registration actually gets used in various situations is non-deterministic.

The arguments to this function are as follows:

HRESULT IRunningObjectTable::Revoked(dwRegister)

Undo the registration done in IRunningObjectTable::Register(), presumably because the object is about to cease to be running. Revoking an object that is not registered as running returns the status code MK.sub.-- S.sub.-- NOT.sub.-- RUNNING. Whenever any of the conditions that cause an object to register itself as running cease to be true, the object should revoke its registration(s). In particular, objects should be sure to extant registrations of themselves from the Running Object Table as part of their release process; there is no means by which entries in the Running Object Table can be removed automatically by the system.

HRESULT IRunningObjectTable::IsRunning(pmkObjectName)

Inquire by looking up in this Running Object Table as to whether an object with this moniker is currently registered as running. Success or failure is indicated using the return codes S.sub.-- OK or S.sub.-- FALSE. The R.O.T. compares monikers by sending IsEqual() to the monikers already in the table with moniker on the right as an argument.

HRESULT IRunningObjectTable::GetObject(pmkObjectName, ppunkObject)

If the object designated by pmkObject name is registered as actually running, then return the object so registered. The R.O.T. compares monikers by sending IsEqual() to the monikers already in the table with moniker on the right as an argument.

This is the function moniker implementations should use to test if they are already running (and get the pointer to the object if so).

HRESULT IRunningObjectTable::NoteChangeTime(dwRegister, pfiletime)

Make a note of the time that a particular object has changed in order that IMoniker::GetTimeOfLastChange() can report an appropriate change time. This time so registered is retrievable with IRunningObjectTable::GetTimeOfLastChange(). Objects should call this as part of their data change notification process.

HRESULT IRunningObjectTable::GetTimeOfLastChange(pmkObjectName, pfiletime)

Look up this moniker in the running object table and report the time of change recorded for it if same is present. The R.O.T. compares monikers by sending IsEqual() to the monikers already in the table with moniker on the right as an argument. Implementations of IMoniker::GetTimeOfLastChange(), when invoked with pmkToLeft==NULL, will want to call this function as the first thing they do.

HRESULT IRunningObjectTable::EnumRunning(ppenumMoniker)

Enumerates the objects currently registered as running. The returned enumerator is of type IEnumMoniker, which enumerates monikers.

typedef Enum<IMoniker*> IEnumMoniker;

The monikers which have been passed to IRunningObjecTable::Register() are enumerated.

IOleContainer interface provides the ability to enumerate objects in a container. An extension, IOleItemContainer, is used by Item Monikers in the process of binding; see the chapter on moniker for more information.

HRESULT IOleContainer::EnumObjects(grfFlags, ppenum)

Enumerate the objects contained in this container. grfFlags is a group of flags which control the enumeration and which are taken from the enumeration OLECONTF:

These flags have the following meanings:

The returned enumeration is of type IEnumUnknown:

typedef Enum<IUnknown*> IEnumUnknown;

The arguments to this type of function are as follows:

HRESULT IOleContainer::LockContainer(fLock)

This call is made by embedded objects on their container. It is used to keep the container running in the absence of other reasons for it to remain running. This is important during a silent update of a link to an embedding. A call to LockContainer(TRUE) should be balanced with a call to LockContainer(FALSE).

The container should keep track of whether and how many calls to LockContainer(TRUE) have been made. When that number is non-zero, it should remain running. If the lock count goes to zero and there are no other reasons to remain running, the container should shutdown. User actions can override locks; for example, if the container is visible and the user closes the application while the lock count is non-zero, the container should close.

Normally, object applications need not concern themselves with calling LockContainer(): the Handler calls LockContainer() as appropriate when the object transitions to and from the running state. The Handler causes the object to transition into object the running state, and calls LockContainer(TRUE) when it does so. It calls LockContainer(FALSE) in response to the reception of OnClose() notifications from the server.

HRESULT IOleItemContainer::GetObject(IpszItem, dwSpeedNeeded, pbc, riid, ppvObject)

IOIeItemContainer::GetObject() should first check to see if the given item designates an embedded object. If so, then it should load and run the object, then return it. If not, then it should check to see if the item designates a local object within the container. This latter case is just like OLESERVERDOC::GetObject() in OLE 1.

dwSpeedNeeded is an indication of how willing the caller is to wait to get to the object. This value is set by the implementation of Item Moniker; the value it uses is derived from the dwTickCountDeadline parameter in the Bind Context that it receives. dwSpeedNeeded is one of the following values:

If BINDSPEED.sub.-- IMMEDIATE is specified, then the object should be returned only if it is already running or if it is a pseudo-object (an object internal to the item container, such as a cell-range in a spreadsheet or a character-range in a word processor); otherwise, MK.sub.-- E.sub.-- EXCEEDEDDEADLINE should be returned. BINDSPEED.sub.-- MODERATE would include those things indicated by BINDSPEED.sub.-- IMMEDIATE, plus, perhaps, those objects which are always running when loaded: in this case, load (not load & run) the designated object, ask if it is running, and return it if so; otherwise, fail with MK.sub.-- E.sub.-- EXCEEDEDDEADLINE as before. BIND-SPEED.sub.-- INDEFINITE indicates that time is of no concern to the caller.

The actual bind context parameter is also here passed in pbc for the use of more sophisticated containers. Less sophisticated containers can simply ignore this and look at dwSpeedNeeded instead. In effect, what the implementation of Item Moniker does is convert the deadline in the bind context into an appropriate dwSpeedNeeded, in the hope that the latter is easier to take a decision on for most containers.

HRESULT IOleItemContainer::GetObjectStorage(lpszItem, pbc, riid, ppvStorage)

If lpszItem designates an item in this container that has an independently identifiable piece of storage (such as does an embedded object), then return access to that storage using the indicated interface.

pbc is the bind context as received by the Item Moniker BindToStorage() call. Most container implementations can simply ignore this value; it is passed for the benefit for more sophisticated containers.

HRESULT IOleItemContainer::IsRunning(lpszItem)

Answer whether the given item in this item container is in fact running or not. See IMoniker::IsRunning() for a sketch of how this function is used in Item Monikers.

An object is in the running state when its associated server executable, if any, is running and connected to the object. Certain operations can only be done while the object is in this state. For example, as was described earlier, IOleObject::InitFromData() is such a function. Function invocations that fail merely because the object is not running in general return the status code E.sub.-- NOTRUNNING. In response to this error, a caller should put the object into the running state with OleRun() then try the operation again. Since it is harmless to OleRun() an object that is already running, containers may wish simply to OleRun() the object before attempting any operation which may fail in this manner.

HRESULT OleRun(pUnknown)

Cause the object to enter the running state if it is not presently running. If the object is not running, then this is often a very expensive operation, on the order of many seconds, since an application needs to be launched. If the object is already running, then this function has no effect.

This function, when invoked on an OLE link, may return the result OLE.sub.-- E.sub.-- CLASSDIFF, as will happen in the situation, say, where a link has been made to an object which has been Convert To..'d while the link has been passive. If the client wishes to go ahead anyway, he should invoke IOleLink::BindToSource(); see that function for more details.

BOOL OleIsRunning(pObject)

This answers whether the object is currently in the running state or not.

IDataObject interface provides the ability to pass data to and from an object using SetData() and GetData(). The data that is passed is arranged according to a particular format denoted by a clipboard format. Optionally, the data is tagged as being composed or laid-out according to the characteristics of a particular target device. The data being transferred can be conveyed by one of several different media.

The set of formats, etc., that can legally be passed to and from an object can be enumerated with EnumFormatEtc(). In addition, an advisory connection can be made to the data object whereby it will notify a caller when data it contains changes.

HRESULT IDataObject::GetData(pformatetc, pmedium)

Retrieve data for a certain aspect of the object in a certain clipboard format formatted for a certain target device conveyed on a certain storage medium. The information as to what is to be retrieved and how it is to be passed is indicated in the parameter pformatetc.

pformatetc.fwdarw.tymed may indicate that the caller is willing to receive the data on one of several media. The callee decides if it can support one of the media requested by the caller. If it cannot, then it returns DATA.sub.-- E.sub.-- FORMATETC. If it can, then it returns the actual data on a medium passed back through the pmedium parameter. pmedium is an conceptually an out parameter: the STGMEDIUM structure is allocated by the caller, but filled by the callee.

The callee gets to decide who is responsible for releasing the resources maintained on behalf of the medium: itself, or the caller. The callee indicates its decision through the value it returns through function pointer pmedium.fwdarw.punkForRelease(), as was described above. The caller always frees the returned medium by simply calling ReleaseStgMedium() (then, of course, freeing the STGMEDIUM structure itself).

If it is not presently possible to transfer ownership of a root-level IStorage from process to another, though this will be rectified in later releases. Therefore, at present, use of GetData() with TYMED.sub.-- ISTORAGE requires that the callee retain ownership of the data, that is, that it use a non-NULL pUnkForRelease. Alternatively, callers are encouraged to instead use GetDataHere(), as in general it is more efficient.

HRESULT IDataObject::SetData(pformatetc, pmedium, fRelease)

Send data in a specified format, etc., to this object. As in IDataObject::GetData(), pformatetc indicates the format, aspect, etc., on which the data is being passed. The actual data is passed through the caller-allocated pmedium parameter.

The caller decides who, itself or the callee, is responsible for releasing the resources allocated on behalf of the medium. It indicates its decision in the fRelease parameter. If false, then the caller retains ownership, and the callee may only use the storage medium for the duration of the call. If true, then the callee takes ownership, and should itself free the medium when it is done with it. The callee should not consider itself as having taken ownership of the data unless it successfully consumes it (i.e.: does not return DATA.sub.-- E.sub.-- FORMATETC or some other error). If it does take ownership, the callee frees the medium by calling ReleaseStg-Medium(); see that function for a discussion of how the medium is actually freed.

IPersistStream is an interface that supports the persistence objects that are cheap enough to use a simple serialize/deserialize pacification model. OLE 2 compound-document objects (embeddings and links) specifically do not use this interface; see IPersistStorage instead. Monikers are an example of objects that do use this stream-based persistence model.

Unlike the IStorage instances used in IPersistStorage, the IStream instances used in this interface are valid only for the duration of the call in which they are passed; the object may not retain hold of them after the call completes.

Notice that this interface derives from IPersist.

HRESULT IPersistStream::Load(pstm)

Initialize the object from serialized state that it previously stored with IPersistStream::Save().

On entry, the stream is logically positioned just as it was in the call to Save() The implementation of Load() is permitted to both read from and seek about in the stream; however, it may not write to it. On exit, the stream should be left in the same position as it was on exit from Save(), which is just past the end of the data.

HRESULT IPersistStream::Save(pstm, fClearDirty)

Save the state of the object to the indicated stream in such a way as it can be retrieved later with IPersistStream:Load(). The object specifically does not write its own class identifier to the stream; this is done by the caller; this permits the caller in appropriate situations to more efficiently store homogeneous collections of objects. If fClearDirty is true, then the internal dirty flag is cleared as a result of this call.

On entry, the stream is positioned at the part of the stream at which the object should write its data; the object can immediately issue IStream::Write() calls. The object is specifically allowed to seek about in the stream should it choose to do so, it may also read back pieces of the stream that it has written; however, the object should not seek the stream before the position at which it was on function entry. On function exit, the stream should be positioned immediately past all the persistent data of the object.

The error STG.sub.-- E.sub.-- MEDIUMFULL is to be returned by this if pstm.fwdarw.Write() call returns STG.sub.-- E.sub.-- MEDIUMFULL. This function may also return the error STG.sub.-- E.sub.-- CANTSAVE if for some reason the object is not currently in a state where it is serializable. Such a situation might arise if the object contains other objects which may or may not themselves be serializable. On error return, the position of the seek pointer is undefined.

HRESULT IPersistStream::GetSizeMax(pcbSize)

Answer an upper bound as to the size of stream that would be required if Save() were called on this object at this instant in time. This value can be used by callers to set buffer sizes for immediately subsequent Save() calls. This value should be a conservative estimate of the size required, since the caller of Save() may choose to provide a non-growable buffer.

HRESULT IPersistStream::IsDirty()

Answer whether the object is dirty; i.e.: whether it has changed in such a way that a Save() is required in order to avoid information loss. This flag is cleared in the implementation of IPersistStream::Save().

HRESULT ReadClassStm(pstm, pcid)

Read a CLSID from the stream that was previously written with WriteClassStm()

HRESULT WriteClassStm(pstm, clsid)

Write the indicated class identifier to the stream in such a way as it can be reconstituted with ReadClassStm().

HRESULT OleSaveToStream(pPersistStm, pstm)

This helper function simplifies saving an IPersistStream object. It first asks the object for its class with IPersistStream::GetClassID(), then writes it to the stream with WriteClassStm(). It then asks the object to save itself to the stream with

pPersistStm.fwdarw.Save(pstm, true);

Note that this clears the dirty flag in the object.

pPersistStm may legally be NULL. This has the effect of simply writing CLSID.sub.-- NULL to the stream. See also OleLoadFromStream().

HRESULT OleLoadFromStream(pstm, iidInterface, ppvObj)

This helper function simplifies loading an IPersistStream-supporting object from the stream in the common case where the class id of the object immediately precedes the data of the object in the stream. As usual, the caller indicates the interface by which he wishes to talk to the object, and a pointer to such an interface is returned through a void** parameter.

Calling this function on a stream with a class id of CLSID.sub.-- NULL causes S.sub.-- FALSE to be returned from this function and NULL to be returned through ppvObj.

IPersistFile interface is an interface which permits the loading and saving of documents which live in actual disk files (as opposed to objects which live in IStorage instances). The key point here is that the application itself is responsible for opening the file, since, in general, the detailed semantics about how to open an application vary from application to application. Notice that this interface derives from IPersist.

HRESULT IPersistFile::Load(lpszFileName, grfMode)

Load the document that is contained in the given file name. The file name will not be an relative path, always an absolute one. This is purely an initialization function; the document is not to be shown to the user at this time. This function is called by the implementation of BindToObject() in file monikers.

HRESULT IPersistFile::Save(lpszFileName, fRemember)

Save (a copy of) the object to the indicated file name. This function is not called by the OLE libraries, but some clients of objects will find it useful for programmatically manipulating documents.

If non-NULL, the lpszFileName indicates the full path name of the destination for the save. If the object currently has an associated disk file, then lpszFileName may legally be NULL, indicating that a simple "File/Save" is requested to now-current file name. Whether the object currently has an associated disk file can be determined with IPersist File::GetCurFile().

If lpszFileName is non-NULL, then fRemember distinguishes whether a "Save As . . . " or a "Save a Copy As . . . " is being asked for. True indicates that lpszFileName should become the working copy of the document ("Save As . . . "); false indicates that after the function the working copy should be whatever it was before the function ("Save a Copy As . . . ").

In the case that the file saved to is on exit the now-current file of the document, then the internal dirty flag maintained by this object should be cleared as a result of this call. Also in this case, the caller is responsible for later calling IPersistFile::SaveCompleted() when it is done with the data found in the file.

In the case that the file saved to is on exit the now-current file of the document and this is new file is different than the original file of the document, then the object should send a "rename" notification to any extant advisory connections (see IAdviseSink::OnRename()).

HRESULT IPersistFile:: SaveCompleted(lpszFileNameSaved)

In the case that the file saved to in IPersistFile::Save() is on exit from that function the now-current file of the document, the IPersistFile::SaveCompleted() should be called when the caller of Save() is done doing whatever it is that it needs to do with the contents of the file. In the interim, the IPersistFile object should not change the contents of the file. When the object receives SaveCompleted, it should send IAdviseSink::OnSave() notifications to any extant advisory connections.

HRESULT IPersistFile::GetCurFile(lplpszFileName)

This call returns one of two things, depending on whether the document has a currently-associated file or not. If it has such a file, then the absolute path name of that file is returned, and S.sub.-- OK is the function return value. If it has no such file, then the file name prompt that would be used in a As . . . File/Save dialog is returned (just the default prompt for the file name, exclusive of any directory path), and S.sub.-- FALSE is returned from the function.

HRESULT IPersistFile::IsDirty()

Answer whether a save is required in order to avoid information loss resulting from a change in the object that occurred after the last Save(L) to the object's home file. This flag is conditionally cleared in IPersistFile::Save().