File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -7,7 +7,7 @@ when an interface definition isn't satisfied.
7
7
An implementation can fail to implement an interface in a variety of ways:
8
8
9
9
Missing Methods
10
- ---------------
10
+ ~~~~~~~~~~~~~~~
11
11
12
12
Implementations must define all the methods declared in an interface.
13
13
@@ -44,7 +44,7 @@ The above example produces the following error message::
44
44
- prove(self, theorem)
45
45
46
46
Methods with Incompatible Signatures
47
- ------------------------------------
47
+ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
48
48
49
49
Implementations must define interface methods with compatible signatures:
50
50
@@ -87,7 +87,7 @@ Implementations must define interface methods with compatible signatures:
87
87
- prove(self, lemma) != prove(self, theorem)
88
88
89
89
Method/Property Mismatches
90
- --------------------------
90
+ ~~~~~~~~~~~~~~~~~~~~~~~~~~
91
91
92
92
If an interface defines an attribute as a :class: `property `, the corresponding
93
93
implementation attribute must also be a :class: `property `:
You can’t perform that action at this time.
0 commit comments