Vihren Atlas

contextkey.ts ×6

Code frontier

unlabeled · c_0db231086119

34 tests · 6239 LOC · 29 files · introduces 0 tests · 17 LOC · 1 file

Introduces — evidence that enters the hierarchy at this concept

Code
6 ranges17 lines · 1 files
Tests
0 tests

Contains — complete concept membership

All code (extent)
1041 ranges6239 lines · 29 files · Browse complete extent
All tests (intent)
34 testsBrowse complete intent

Neighbourhood graph

The orange circle is the focus. Violet and green circles are every ancestor and descendant, broader and narrower, at any distance; blue squares and pink diamonds are the introduced files and exact introduced tests of every visible concept, not only the focus's. Arrows point from broader to narrower concepts and bridge only concepts omitted from this view. Undirected links show source or test introduction. Concept and file size follows LOC; exact test nodes use test-count units.

Introduced files, introduced tests, and structurally relevant concept specialization

In the embedded map, ordinary wheel input scrolls the page; use the visible controls to zoom and drag to pan. Open the full-screen map for canvas navigation: wheel pans, Ctrl/Command plus wheel zooms, and arrow keys pan when this region is focused. On touch screens, open the full-screen map to pan or pinch. If JavaScript or WebGL is unavailable, use the native relationship evidence on this page.

Graph controls are ready.

Interactive rendering requires JavaScript and WebGL. Use the native relationship evidence on this page while the interactive map is unavailable.

Native relationship evidence

Every exact file and test below is linked only from the concept that introduces it.

Introduced tests

Every collected test enters the hierarchy at exactly one concept.

No tests are introduced at this concept. Its intent tests are introduced by other concepts.

Introduced code

Every collected source range enters the hierarchy at exactly one concept.

1 file ranked by introduced lines: 17 introduced LOC across 6 ranges. Expand a file to inspect source; the > gutter marks introduced lines.

src/vs/platform/contextkey/common/contextkey.ts 17 introduced LOC · 6 ranges

Open complete file

2113 */
2114 export function implies(p: ContextKeyExpression, q: ContextKeyExpression): boolean {
2115 > contextkey.ts
2116 > if (p.type === ContextKeyExprType.False || q.type === ContextKeyExprType.True) {
2117 // false implies anything
2118 // anything implies true
2119 return true;
2120 }
2121 > contextkey.ts
2122 > if (p.type === ContextKeyExprType.Or) {
2123 if (q.type === ContextKeyExprType.Or) {
2124 // `a || b || c` can only imply something like `a || b || c || d`
2127 return false;
2128 }
2129 > contextkey.ts
2130 > if (q.type === ContextKeyExprType.Or) {
2131 for (const element of q.expr) {
2132 if (implies(p, element)) {
2136 return false;
2137 }
2138 > contextkey.ts
2139 > if (p.type === ContextKeyExprType.And) {
2140 > if (q.type === ContextKeyExprType.And) {
2141 // `a && b && c` implies `a && c`
2142 return allElementsIncluded(q.expr, p.expr);
2143 }
2144 > for (const element of p.expr) { contextkey.ts
2145 > if (implies(element, q)) {
2146 > return true;
2147 > }
2148 > }
2149 return false;
2150 }
2151 > contextkey.ts
2152 > return p.equals(q);
2153 > }
2154
2155 /**

Direct hierarchy

Parents

Children