The Tor Browser / file comparison
comparison: xpcom/analysis/must-override.js
xpcom/analysis/must-override.js
- branch
- TOR_BUG_9701
- changeset 15
- b8a032363ba2
equal
deleted
inserted
replaced
| -1:000000000000 | 0:08dce9480047 |
|---|---|
| 1 /* This Source Code Form is subject to the terms of the Mozilla Public | |
| 2 * License, v. 2.0. If a copy of the MPL was not distributed with this | |
| 3 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ | |
| 4 | |
| 5 /* | |
| 6 * Detect classes that should have overridden members of their parent | |
| 7 * classes but didn't. | |
| 8 * | |
| 9 * Example: | |
| 10 * | |
| 11 * struct S { | |
| 12 * virtual NS_MUST_OVERRIDE void f(); | |
| 13 * virtual void g(); | |
| 14 * }; | |
| 15 * | |
| 16 * struct A : S { virtual void f(); }; // ok | |
| 17 * struct B : S { virtual NS_MUST_OVERRIDE void f(); }; // also ok | |
| 18 * | |
| 19 * struct C : S { virtual void g(); }; // ERROR: must override f() | |
| 20 * struct D : S { virtual void f(int); }; // ERROR: different overload | |
| 21 * struct E : A { }; // ok: A's definition of f() is good for subclasses | |
| 22 * struct F : B { }; // ERROR: B's definition of f() is still must-override | |
| 23 * | |
| 24 * We don't care if you define the method or not. | |
| 25 */ | |
| 26 | |
| 27 function get_must_overrides(cls) | |
| 28 { | |
| 29 let mos = {}; | |
| 30 for each (let base in cls.bases) | |
| 31 for each (let m in base.type.members) | |
| 32 if (hasAttribute(m, 'NS_must_override')) | |
| 33 mos[m.shortName] = m; | |
| 34 | |
| 35 return mos; | |
| 36 } | |
| 37 | |
| 38 function process_type(t) | |
| 39 { | |
| 40 if (t.isIncomplete || (t.kind != 'class' && t.kind != 'struct')) | |
| 41 return; | |
| 42 | |
| 43 let mos = get_must_overrides(t); | |
| 44 for each (let m in t.members) { | |
| 45 let mos_m = mos[m.shortName] | |
| 46 if (mos_m && signaturesMatch(mos_m, m)) | |
| 47 delete mos[m.shortName]; | |
| 48 } | |
| 49 | |
| 50 for each (let u in mos) | |
| 51 error(t.kind + " " + t.name + " must override " + u.name, t.loc); | |
| 52 } |
