Attribute objects . The name of the interface. The default doc string is the class doc string. The generated interface has attributes for each public method defined in or inherited by the interface. Note that computing an interface from a class does not automatically assert that the class implements an interface.
Interface assertions Objects can assert that they implement one or more interfaces.
The usual inheritence rules apply. Note that the definition of interface assertions makes composition of interfaces straightforword. By default, classes are assumed to implement the Interface. Interface attributes The purpose of an interface is to describe behavior, not to provide implementation. In a similar fashion the attributes of an interface describe and document the attributes provided by an object that implements the interface.