1 |
|
2 |
|
3 |
|
4 |
|
5 |
|
6 |
|
7 |
|
8 |
|
9 |
|
10 |
|
11 |
|
12 |
|
13 |
|
14 |
|
15 |
|
16 |
|
17 |
|
18 |
|
19 | import { ReactNode } from 'react';
|
20 | import { injectable, unmanaged } from 'inversify';
|
21 | import { Disposable, DisposableCollection, Emitter, Event, isObject, MaybePromise } from '../../common';
|
22 | import { TreeWidget } from '../tree';
|
23 |
|
24 | export interface TreeElement {
|
25 |
|
26 | readonly id?: number | string | undefined
|
27 |
|
28 | readonly visible?: boolean
|
29 | render(host: TreeWidget): ReactNode
|
30 | open?(): MaybePromise<any>
|
31 | }
|
32 |
|
33 | export interface CompositeTreeElement extends TreeElement {
|
34 |
|
35 | readonly hasElements?: boolean
|
36 | getElements(): MaybePromise<IterableIterator<TreeElement>>
|
37 | }
|
38 | export namespace CompositeTreeElement {
|
39 | export function is(element: unknown): element is CompositeTreeElement {
|
40 | return isObject(element) && 'getElements' in element;
|
41 | }
|
42 | export function hasElements(element: unknown): element is CompositeTreeElement {
|
43 | return is(element) && element.hasElements !== false;
|
44 | }
|
45 | }
|
46 |
|
47 | @injectable()
|
48 | export abstract class TreeSource implements Disposable {
|
49 | protected readonly onDidChangeEmitter = new Emitter<void>();
|
50 | readonly onDidChange: Event<void> = this.onDidChangeEmitter.event;
|
51 | protected fireDidChange(): void {
|
52 | this.onDidChangeEmitter.fire(undefined);
|
53 | }
|
54 |
|
55 | readonly id: string | undefined;
|
56 | readonly placeholder: string | undefined;
|
57 |
|
58 | constructor(@unmanaged() options: TreeSourceOptions = {}) {
|
59 | this.id = options.id;
|
60 | this.placeholder = options.placeholder;
|
61 | }
|
62 |
|
63 | protected readonly toDispose = new DisposableCollection(this.onDidChangeEmitter);
|
64 | dispose(): void {
|
65 | this.toDispose.dispose();
|
66 | }
|
67 |
|
68 | abstract getElements(): MaybePromise<IterableIterator<TreeElement>>;
|
69 | }
|
70 | export interface TreeSourceOptions {
|
71 | id?: string
|
72 | placeholder?: string
|
73 | }
|