InterfaceDef Implies Collection
This is the collection of InterfaceDef objects that are made available to another interface through implication.
Syntax
Set variable = object.Implies(index)
The Implies collection syntax has the following parts.
| Part | Description |
|---|---|
| variable | A variable declared as a InterfaceDef object. It receives the specified interface definition. |
| object | An object expression that evaluates to an InterfaceDef object. |
| index | An integer index that identifies which element in the collection is to be addressed. The valid range is from one to the total number of elements in the collection. For more information, see Selecting Items in a Collection. |
Remarks
You can define an implication between two interface definition objects of the form Interface1 implies Interface2. For each such implication, the repository engine guarantees that every class that implements Interface1 also implements the members of Interface2.
The Implies collection contains the interface definition objects that are automatically implemented whenever the current interface definition object is implemented. To define an implication in the opposite direction, use the ImpliedBy collection.
For example, if you extend an information model by creating a new version of an interface (Interface1a), you can add Interface2 to the Implies collection of Interface1a to guarantee that Interface2 members are always available.