extension.ts

import * as vscode from 'vscode';
import { SERVICES_PATHS_PATH } from './core/config';
import Controller from './core/controller';
import ExtensionStore from './core/extensionStore';
import MetadataProvider from './core/metadataProvider';
import { error } from './recorder/utils';
import { DepNodeProvider } from './theia/deadlockPanel';
import UserConfigTheia from './theia/userConfigTheia';

export const userConfig = new UserConfigTheia();

export async function activate(context: vscode.ExtensionContext) {
  vscode.window.showInformationMessage('Bienvenue sur Deadlock!');
  ExtensionStore.createInstance(context);

  const controller = new Controller(context);

  // @ts-ignore
  const deadlockPanelProvider = new DepNodeProvider(vscode.workspace.rootPath);
  vscode.window.registerTreeDataProvider('deadlockPanel', deadlockPanelProvider);

  try {
    await userConfig.init();
  } catch (e) {
    error('Cannot init userConfig');
  }

  MetadataProvider.loadPathsToEnvVariables();
  MetadataProvider.loadPathsToJson(`${SERVICES_PATHS_PATH}`);
}