fuzzy board search.

Signed-off-by: Akos Kitta <kittaakos@typefox.io>

arduino-ide-extension/src/browser/arduino-ide-frontend-module.ts

@@ -170,11 +170,7 @@ export default new ContainerModule((bind: interfaces.Bind, unbind: interfaces.Un
     bind(BoardsServiceClient).toDynamicValue(async context => {
         const client = context.container.get(BoardsServiceClientImpl);
         const service = context.container.get<BoardsService>(BoardsService);
-        const [attachedBoards, availablePorts] = await Promise.all([
-            service.getAttachedBoards(),
-            service.getAvailablePorts()
-        ]);
-        client.init({ attachedBoards, availablePorts });
+        await client.init(service);
         WebSocketConnectionProvider.createProxy(context.container, BoardsServicePath, client);
         return client;
     }).inSingletonScope();

arduino-ide-extension/src/browser/boards/boards-config.tsx

@@ -127,7 +127,7 @@ export class BoardsConfig extends React.Component<BoardsConfig.Props, BoardsConf
     }
 
     protected queryBoards = (options: { query?: string } = {}): Promise<Array<Board & { packageName: string }>> => {
-        return this.props.boardsService.searchBoards(options);
+        return this.props.boardsServiceClient.searchBoards(options);
     }
 
     protected get availablePorts(): Promise<Port[]> {

arduino-ide-extension/src/browser/boards/boards-service-client-impl.ts

@@ -5,7 +5,7 @@ import { MessageService } from '@theia/core/lib/common/message-service';
 import { StorageService } from '@theia/core/lib/browser/storage-service';
 import { FrontendApplicationContribution } from '@theia/core/lib/browser/frontend-application';
 import { RecursiveRequired } from '../../common/types';
-import { BoardsServiceClient, AttachedBoardsChangeEvent, BoardInstalledEvent, Board, Port, BoardUninstalledEvent } from '../../common/protocol';
+import { BoardsServiceClient, AttachedBoardsChangeEvent, BoardInstalledEvent, Board, Port, BoardUninstalledEvent, BoardsService } from '../../common/protocol';
 import { BoardsConfig } from './boards-config';
 import { naturalCompare } from '../../common/utils';
 
@@ -40,6 +40,7 @@ export class BoardsServiceClientImpl implements BoardsServiceClient, FrontendApp
     protected _attachedBoards: Board[] = []; // This does not contain the `Unknown` boards. They're visible from the available ports only.
     protected _availablePorts: Port[] = [];
     protected _availableBoards: AvailableBoard[] = [];
+    protected boardsService: BoardsService;
 
     /**
      * Event when the state of the attached/detached boards has changed. For instance, the user have detached a physical board.
@@ -65,7 +66,12 @@ export class BoardsServiceClientImpl implements BoardsServiceClient, FrontendApp
      * When the FE connects to the BE, the BE stets the known boards and ports.\
      * This is a DI workaround for not being able to inject the service into the client.
      */
-    init({ attachedBoards, availablePorts }: { attachedBoards: Board[], availablePorts: Port[] }): void {
+    async init(boardsService: BoardsService): Promise<void> {
+        this.boardsService = boardsService;
+        const [attachedBoards, availablePorts] = await Promise.all([
+            this.boardsService.getAttachedBoards(),
+            this.boardsService.getAvailablePorts()
+        ]);
         this._attachedBoards = attachedBoards;
         this._availablePorts = availablePorts;
         this.reconcileAvailableBoards().then(() => this.tryReconnect());
@@ -157,6 +163,20 @@ export class BoardsServiceClientImpl implements BoardsServiceClient, FrontendApp
         }
     }
 
+    async searchBoards({ query, cores }: { query?: string, cores?: string[] }): Promise<Array<Board & { packageName: string }>> {
+        const boards = await this.boardsService.allBoards({});
+        const coresFilter = !!cores && cores.length
+            ? ((toFilter: { packageName: string }) => cores.some(core => core === toFilter.packageName))
+            : () => true;
+        const fuzzyFilter = !!query
+            ? ((toFilter: Board) => !!monaco.filters.matchesFuzzy(query, toFilter.name, true))
+            : () => true
+        return boards
+            .filter(coresFilter)
+            .filter(fuzzyFilter)
+            .sort(Board.compare)
+    }
+
     get boardsConfig(): BoardsConfig.Config {
         return this._boardsConfig;
     }

arduino-ide-extension/src/browser/boards/quick-open/boards-quick-open-service.ts

@@ -159,7 +159,7 @@ export class BoardsQuickOpenService implements QuickOpenContribution, QuickOpenM
         const selectedBoard = availableBoards.filter(AvailableBoard.hasPort).find(({ selected }) => selected);
         const [configs, boards] = await Promise.all([
             selectedBoard && selectedBoard.fqbn ? this.configStore.getConfig(selectedBoard.fqbn) : Promise.resolve([]),
-            this.boardsService.searchBoards({})
+            this.boardsService.allBoards({})
         ]);
         this.allBoards = Board.decorateBoards(selectedBoard, boards)
             .filter(board => !availableBoards.some(availableBoard => Board.sameAs(availableBoard, board)));

arduino-ide-extension/src/browser/style/index.css

@@ -1,5 +1,5 @@
 @import './list-widget.css';
-@import './board-select-dialog.css';
+@import './boards-config-dialog.css';
 @import './main.css';
 @import './monitor.css';
 @import './arduino-select.css';