/*
 * commands.ts
 * Copyright (c) Seoul National University
 * Licensed under the MIT license.
 * Author: Ho Young Jhoo
 *
 * Command identifier strings.
 */

export const enum Commands {
    restartServer = 'pytea.restartserver',
    analyzeFile = 'pytea.analyzefile',
    selectPath = 'pytea.selectPath',
}
