(other: ContextKeyExpression)
| 918 | } |
| 919 | |
| 920 | public cmp(other: ContextKeyExpression): number { |
| 921 | if (other.type !== this.type) { |
| 922 | return this.type - other.type; |
| 923 | } |
| 924 | return this._actual.cmp(other._actual); |
| 925 | } |
| 926 | |
| 927 | public equals(other: ContextKeyExpression): boolean { |
| 928 | if (other.type === this.type) { |