Declaring what interfaces an object implements or provides, and later being able to check those, is an important part of this package. Declaring interfaces, in particular, can be done both statically at object definition time and dynamically later on.
The functionality that allows declaring and checking interfaces is provided directly in the zope.interface
module. It is described by the interface zope.interface.interfaces.IInterfaceDeclaration
. We will first look at that interface, and then we will look more carefully at each object it documents, including providing examples.
zope.interface.interfaces.IInterfaceDeclaration
zope.interface
To declare an interface itself, extend the Interface
base class.
Interface
taggedValue
invariant
interfacemethod
implementer
implementer_only
classImplementsOnly
Consider the following example:
>>> from zope.interface import implementedBy >>> from zope.interface import implementer >>> from zope.interface import classImplementsOnly >>> from zope.interface import Interface >>> class I1(Interface): pass ... >>> class I2(Interface): pass ... >>> class I3(Interface): pass ... >>> class I4(Interface): pass ... >>> @implementer(I3) ... class A(object): ... pass >>> @implementer(I4) ... class B(object): ... pass >>> class C(A, B): ... pass >>> classImplementsOnly(C, I1, I2) >>> [i.getName() for i in implementedBy(C)] ['I1', 'I2']
Instances of C
provide only I1
, I2
, and regardless of whatever interfaces instances of A
and B
implement.
classImplements
Consider the following example:
>>> from zope.interface import Interface >>> from zope.interface import classImplements >>> from zope.interface.ro import is_consistent >>> class I1(Interface): pass ... >>> class I2(Interface): pass ... >>> class IA(Interface): pass ... >>> class IB(Interface): pass ... >>> class I5(Interface): pass ... >>> @implementer(IA) ... class A(object): ... pass >>> @implementer(IB) ... class B(object): ... pass >>> class C(A, B): ... pass >>> classImplements(C, I1, I2) >>> [i.getName() for i in implementedBy(C)] ['I1', 'I2', 'IA', 'IB']
Instances of C
provide I1
and I2
, plus whatever instances of A
and B
provide.
>>> classImplements(C, I5) >>> [i.getName() for i in implementedBy(C)] ['I1', 'I2', 'I5', 'IA', 'IB']
Instances of C
now also provide I5
. Notice how I5
was added to the end of the list of things provided directly by C
.
If we ask a class to implement an interface that extends an interface it already implements, that interface will go at the beginning of the list, in order to preserve a consistent resolution order.
>>> class I6(I5): pass >>> class I7(IA): pass >>> classImplements(C, I6, I7) >>> [i.getName() for i in implementedBy(C)] ['I6', 'I1', 'I2', 'I5', 'I7', 'IA', 'IB'] >>> is_consistent(implementedBy(C)) True
This cannot be used to introduce duplicates.
>>> classImplements(C, IA, IB, I1, I2) >>> [i.getName() for i in implementedBy(C)] ['I6', 'I1', 'I2', 'I5', 'I7', 'IA', 'IB']
classImplementsFirst
Consider the following example:
>>> from zope.interface import Interface >>> from zope.interface import classImplements >>> from zope.interface import classImplementsFirst >>> class I1(Interface): pass ... >>> class I2(Interface): pass ... >>> class IA(Interface): pass ... >>> class IB(Interface): pass ... >>> class I5(Interface): pass ... >>> @implementer(IA) ... class A(object): ... pass >>> @implementer(IB) ... class B(object): ... pass >>> class C(A, B): ... pass >>> classImplementsFirst(C, I2) >>> classImplementsFirst(C, I1) >>> [i.getName() for i in implementedBy(C)] ['I1', 'I2', 'IA', 'IB']
Instances of C
provide I1
, I2
, I5
, and whatever interfaces instances of A
and B
provide.
>>> classImplementsFirst(C, I5) >>> [i.getName() for i in implementedBy(C)] ['I5', 'I1', 'I2', 'IA', 'IB']
Instances of C
now also provide I5
. Notice how I5
was added to the beginning of the list of things provided directly by C
. Unlike classImplements, this ignores interface inheritance and does not attempt to ensure a consistent resolution order (except that it continues to elide interfaces already implemented through class inheritance):
.. doctest::
>>> class IBA(IB, IA): ... pass >>> classImplementsFirst(C, IBA) >>> classImplementsFirst(C, IA) >>> [i.getName() for i in implementedBy(C)] ['IBA', 'I5', 'I1', 'I2', 'IA', 'IB']
This cannot be used to introduce duplicates.
>>> len(implementedBy(C).declared) 4 >>> classImplementsFirst(C, IA) >>> classImplementsFirst(C, IBA) >>> classImplementsFirst(C, IA) >>> classImplementsFirst(C, IBA) >>> [i.getName() for i in implementedBy(C)] ['IBA', 'I5', 'I1', 'I2', 'IA', 'IB'] >>> len(implementedBy(C).declared) 4
directlyProvides
Consider the following example:
>>> from zope.interface import Interface >>> from zope.interface import providedBy >>> from zope.interface import directlyProvides >>> class I1(Interface): pass ... >>> class I2(Interface): pass ... >>> class IA1(Interface): pass ... >>> class IA2(Interface): pass ... >>> class IB(Interface): pass ... >>> class IC(Interface): pass ... >>> @implementer(IA1, IA2) ... class A(object): ... pass >>> @implementer(IB) ... class B(object): ... pass >>> @implementer(IC) ... class C(A, B): ... pass >>> ob = C() >>> directlyProvides(ob, I1, I2) >>> int(I1 in providedBy(ob)) 1 >>> int(I2 in providedBy(ob)) 1 >>> int(IA1 in providedBy(ob)) 1 >>> int(IA2 in providedBy(ob)) 1 >>> int(IB in providedBy(ob)) 1 >>> int(IC in providedBy(ob)) 1
The object, ob
provides I1
, I2
, and whatever interfaces instances have been declared for instances of C
.
To remove directly provided interfaces, use directlyProvidedBy
and subtract the unwanted interfaces. For example:
>>> from zope.interface import directlyProvidedBy >>> directlyProvides(ob, directlyProvidedBy(ob)-I2) >>> int(I1 in providedBy(ob)) 1 >>> int(I2 in providedBy(ob)) 0
removes I2
from the interfaces directly provided by ob
. The object, ob
no longer directly provides I2
, although it might still provide I2
if its class implements I2
.
To add directly provided interfaces, use directlyProvidedBy
and include additional interfaces. For example:
>>> int(I2 in providedBy(ob)) 0 >>> from zope.interface import directlyProvidedBy >>> directlyProvides(ob, directlyProvidedBy(ob), I2)
adds I2
to the interfaces directly provided by ob
:
>>> int(I2 in providedBy(ob)) 1
We need to avoid setting this attribute on meta classes that don't support descriptors.
We can do away with this check when we get rid of the old EC
alsoProvides
Consider the following example:
>>> from zope.interface import Interface >>> from zope.interface import alsoProvides >>> class I1(Interface): pass ... >>> class I2(Interface): pass ... >>> class IA1(Interface): pass ... >>> class IA2(Interface): pass ... >>> class IB(Interface): pass ... >>> class IC(Interface): pass ... >>> @implementer(IA1, IA2) ... class A(object): ... pass >>> @implementer(IB) ... class B(object): ... pass >>> @implementer(IC) ... class C(A, B): ... pass >>> ob = C() >>> directlyProvides(ob, I1) >>> int(I1 in providedBy(ob)) 1 >>> int(I2 in providedBy(ob)) 0 >>> int(IA1 in providedBy(ob)) 1 >>> int(IA2 in providedBy(ob)) 1 >>> int(IB in providedBy(ob)) 1 >>> int(IC in providedBy(ob)) 1 >>> alsoProvides(ob, I2) >>> int(I1 in providedBy(ob)) 1 >>> int(I2 in providedBy(ob)) 1 >>> int(IA1 in providedBy(ob)) 1 >>> int(IA2 in providedBy(ob)) 1 >>> int(IB in providedBy(ob)) 1 >>> int(IC in providedBy(ob)) 1
The object, ob
provides I1
, I2
, and whatever interfaces instances have been declared for instances of C
. Notice that the alsoProvides
just extends the provided interfaces.
noLongerProvides
Consider the following two interfaces:
>>> from zope.interface import Interface >>> class I1(Interface): pass ... >>> class I2(Interface): pass ...
I1
is provided through the class, I2
is directly provided by the object:
>>> @implementer(I1) ... class C(object): ... pass >>> c = C() >>> alsoProvides(c, I2) >>> I2.providedBy(c) True
Remove I2
from c
again:
>>> from zope.interface import noLongerProvides >>> noLongerProvides(c, I2) >>> I2.providedBy(c) False
Removing an interface that is provided through the class is not possible:
>>> noLongerProvides(c, I1) Traceback (most recent call last): ... ValueError: Can only remove directly provided interfaces.
provider
For example:
>>> from zope.interface import Interface >>> from zope.interface import implementer >>> from zope.interface import provider >>> class IFooFactory(Interface): ... pass >>> class IFoo(Interface): ... pass >>> @implementer(IFoo) ... @provider(IFooFactory) ... class C(object): ... pass >>> [i.getName() for i in C.__provides__] ['IFooFactory'] >>> [i.getName() for i in C().__provides__] ['IFoo']
Which is equivalent to:
>>> from zope.interface import Interface >>> class IFoo(Interface): pass ... >>> class IFooFactory(Interface): pass ... >>> @implementer(IFoo) ... class C(object): ... pass >>> directlyProvides(C, IFooFactory) >>> [i.getName() for i in C.__providedBy__] ['IFooFactory'] >>> [i.getName() for i in C().__providedBy__] ['IFoo']
moduleProvides
zope.interface.declarations.named
For example:
>>> from zope.interface.declarations import named
>>> @named('foo') ... class Foo(object): ... pass
>>> Foo.__component_name__ 'foo'
When registering an adapter or utility component, the registry looks for the __component_name__
attribute and uses it, if no name was explicitly provided.
All of these functions return an ~zope.interface.interfaces.IDeclaration. You'll notice that an IDeclaration
is a type of ~zope.interface.interfaces.ISpecification, as is zope.interface.Interface
, so they share some common behaviour.
zope.interface.interfaces.IDeclaration
implementedBy
Consider the following example:
>>> from zope.interface import Interface >>> from zope.interface import implementer >>> from zope.interface import classImplementsOnly >>> from zope.interface import implementedBy >>> class I1(Interface): pass ... >>> class I2(Interface): pass ... >>> class I3(Interface): pass ... >>> class I4(Interface): pass ... >>> @implementer(I3) ... class A(object): ... pass >>> @implementer(I4) ... class B(object): ... pass >>> class C(A, B): ... pass >>> classImplementsOnly(C, I1, I2) >>> [i.getName() for i in implementedBy(C)] ['I1', 'I2']
Instances of C
provide only I1
, I2
, and regardless of whatever interfaces instances of A
and B
implement.
Another example:
>>> from zope.interface import Interface >>> class I1(Interface): pass ... >>> class I2(I1): pass ... >>> class I3(Interface): pass ... >>> class I4(I3): pass ... >>> @implementer(I2) ... class C1(object): ... pass >>> @implementer(I3) ... class C2(C1): ... pass >>> [i.getName() for i in implementedBy(C2)] ['I3', 'I2']
Really, any object should be able to receive a successful answer, even an instance:
>>> class Callable(object): ... def __call__(self): ... return self >>> implementedBy(Callable()) classImplements(builtins.?)
Note that the name of the spec ends with a '?', because the Callable
instance does not have a __name__
attribute.
This also manages storage of implementation specifications.
providedBy
directlyProvidedBy
Declaration objects implement the API defined by ~zope.interface.interfaces.IDeclaration
.
Declaration
Exmples for Declaration.__contains__
:
>>> from zope.interface.declarations import Declaration >>> from zope.interface import Interface >>> class I1(Interface): pass ... >>> class I2(I1): pass ... >>> class I3(Interface): pass ... >>> class I4(I3): pass ... >>> spec = Declaration(I2, I3) >>> spec = Declaration(I4, spec) >>> int(I1 in spec) 0 >>> int(I2 in spec) 1 >>> int(I3 in spec) 1 >>> int(I4 in spec) 1
Exmples for Declaration.__iter__
:
>>> from zope.interface import Interface >>> class I1(Interface): pass ... >>> class I2(I1): pass ... >>> class I3(Interface): pass ... >>> class I4(I3): pass ... >>> spec = Declaration(I2, I3) >>> spec = Declaration(I4, spec) >>> i = iter(spec) >>> [x.getName() for x in i] ['I4', 'I2', 'I3'] >>> list(i) []
Exmples for Declaration.flattened
:
>>> from zope.interface import Interface >>> class I1(Interface): pass ... >>> class I2(I1): pass ... >>> class I3(Interface): pass ... >>> class I4(I3): pass ... >>> spec = Declaration(I2, I3) >>> spec = Declaration(I4, spec) >>> i = spec.flattened() >>> [x.getName() for x in i] ['I4', 'I2', 'I3', 'I1', 'Interface'] >>> list(i) []
Exmples for Declaration.__sub__
:
>>> from zope.interface import Interface >>> class I1(Interface): pass ... >>> class I2(I1): pass ... >>> class I3(Interface): pass ... >>> class I4(I3): pass ... >>> spec = Declaration() >>> [iface.getName() for iface in spec] [] >>> spec -= I1 >>> [iface.getName() for iface in spec] [] >>> spec -= Declaration(I2) >>> [iface.getName() for iface in spec] [] >>> spec = Declaration(I2, I4) >>> [iface.getName() for iface in spec] ['I2', 'I4'] >>> [iface.getName() for iface in spec - I4] ['I2'] >>> [iface.getName() for iface in spec - I1] ['I4'] >>> [iface.getName() for iface ... in spec - Declaration(I4)] ['I2']
Exmples for Declaration.__add__
:
>>> from zope.interface import Interface >>> class IRoot1(Interface): pass ... >>> class IDerived1(IRoot1): pass ... >>> class IRoot2(Interface): pass ... >>> class IDerived2(IRoot2): pass ... >>> spec = Declaration() >>> [iface.getName() for iface in spec] [] >>> [iface.getName() for iface in spec+IRoot1] ['IRoot1'] >>> [iface.getName() for iface in IRoot1+spec] ['IRoot1'] >>> spec2 = spec >>> spec += IRoot1 >>> [iface.getName() for iface in spec] ['IRoot1'] >>> [iface.getName() for iface in spec2] [] >>> spec2 += Declaration(IDerived2, IRoot2) >>> [iface.getName() for iface in spec2] ['IDerived2', 'IRoot2'] >>> [iface.getName() for iface in spec+spec2] ['IRoot1', 'IDerived2', 'IRoot2'] >>> [iface.getName() for iface in spec2+spec] ['IDerived2', 'IRoot2', 'IRoot1'] >>> [iface.getName() for iface in (spec+spec2).__bases__] ['IRoot1', 'IDerived2', 'IRoot2'] >>> [iface.getName() for iface in (spec2+spec).__bases__] ['IDerived2', 'IRoot2', 'IRoot1']
zope.interface.declarations.ProvidesClass
Descriptor semantics (via Provides.__get__
):
>>> from zope.interface import Interface >>> class IFooFactory(Interface): ... pass >>> class C(object): ... pass >>> from zope.interface.declarations import ProvidesClass >>> C.__provides__ = ProvidesClass(C, IFooFactory) >>> [i.getName() for i in C.__provides__] ['IFooFactory'] >>> getattr(C(), '__provides__', 0) 0
The following section discusses some implementation details and demonstrates their use. You'll notice that they are all demonstrated using the previously-defined functions.
Provides
In the examples below, we are going to make assertions about the size of the weakvalue dictionary. For the assertions to be meaningful, we need to force garbage collection to make sure garbage objects are, indeed, removed from the system. Depending on how Python is run, we may need to make multiple calls to be sure. We provide a collect function to help with this:
>>> import gc >>> def collect(): ... for i in range(4): ... gc.collect() >>> collect() >>> from zope.interface import directlyProvides >>> from zope.interface.declarations import InstanceDeclarations >>> before = len(InstanceDeclarations) >>> class C(object): ... pass >>> from zope.interface import Interface >>> class I(Interface): ... pass >>> c1 = C() >>> c2 = C() >>> len(InstanceDeclarations) == before True >>> directlyProvides(c1, I) >>> len(InstanceDeclarations) == before + 1 True >>> directlyProvides(c2, I) >>> len(InstanceDeclarations) == before + 1 True >>> del c1 >>> collect() >>> len(InstanceDeclarations) == before + 1 True >>> del c2 >>> collect() >>> len(InstanceDeclarations) == before True
zope.interface.declarations.ObjectSpecification
For example:
>>> from zope.interface import Interface >>> from zope.interface import implementer_only >>> class I1(Interface): pass ... >>> class I2(Interface): pass ... >>> class I3(Interface): pass ... >>> class I31(I3): pass ... >>> class I4(Interface): pass ... >>> class I5(Interface): pass ... >>> @implementer(I1) ... class A(object): ... pass >>> class B(object): ... __implemented__ = I2 >>> @implementer(I31) ... class C(A, B): ... pass >>> c = C() >>> directlyProvides(c, I4) >>> [i.getName() for i in providedBy(c)] ['I4', 'I31', 'I1', 'I2'] >>> [i.getName() for i in providedBy(c).flattened()] ['I4', 'I31', 'I3', 'I1', 'I2', 'Interface'] >>> int(I1 in providedBy(c)) 1 >>> int(I3 in providedBy(c)) 0 >>> int(providedBy(c).extends(I3)) 1 >>> int(providedBy(c).extends(I31)) 1 >>> int(providedBy(c).extends(I5)) 0 >>> @implementer_only(I31) ... class COnly(A, B): ... pass >>> @implementer(I5) ... class D(COnly): ... pass >>> c = D() >>> directlyProvides(c, I4) >>> [i.getName() for i in providedBy(c)] ['I4', 'I5', 'I31'] >>> [i.getName() for i in providedBy(c).flattened()] ['I4', 'I5', 'I31', 'I3', 'Interface'] >>> int(I1 in providedBy(c)) 0 >>> int(I3 in providedBy(c)) 0 >>> int(providedBy(c).extends(I3)) 1 >>> int(providedBy(c).extends(I1)) 0 >>> int(providedBy(c).extends(I31)) 1 >>> int(providedBy(c).extends(I5)) 1
zope.interface.declarations.ObjectSpecificationDescriptor
For example:
>>> from zope.interface import Interface >>> class IFoo(Interface): pass ... >>> class IFooFactory(Interface): pass ... >>> @implementer(IFoo) ... @provider(IFooFactory) ... class C(object): ... pass >>> [i.getName() for i in C.__providedBy__] ['IFooFactory'] >>> [i.getName() for i in C().__providedBy__] ['IFoo']
Get an ObjectSpecification bound to either an instance or a class, depending on how we were accessed.