diff options
Diffstat (limited to 'extension/src/util')
| -rw-r--r-- | extension/src/util/util.ts | 45 | ||||
| -rw-r--r-- | extension/src/util/vscode.ts | 65 | 
2 files changed, 0 insertions, 110 deletions
diff --git a/extension/src/util/util.ts b/extension/src/util/util.ts index 15b34267..38c955e7 100644 --- a/extension/src/util/util.ts +++ b/extension/src/util/util.ts @@ -1,5 +1,3 @@ -import { RangeInFile } from "../../schema/RangeInFile"; -import * as fs from "fs";  const os = require("os");  function charIsEscapedAtIndex(index: number, str: string): boolean { @@ -52,49 +50,6 @@ export function convertSingleToDoubleQuoteJSON(json: string): string {    return newJson;  } -export async function readRangeInFile( -  rangeInFile: RangeInFile -): Promise<string> { -  const range = rangeInFile.range; -  return new Promise((resolve, reject) => { -    fs.readFile(rangeInFile.filepath, (err, data) => { -      if (err) { -        reject(err); -      } else { -        let lines = data.toString().split("\n"); -        if (range.start.line === range.end.line) { -          resolve( -            lines[rangeInFile.range.start.line].slice( -              rangeInFile.range.start.character, -              rangeInFile.range.end.character -            ) -          ); -        } else { -          let firstLine = lines[range.start.line].slice(range.start.character); -          let lastLine = lines[range.end.line].slice(0, range.end.character); -          let middleLines = lines.slice(range.start.line + 1, range.end.line); -          resolve([firstLine, ...middleLines, lastLine].join("\n")); -        } -      } -    }); -  }); -} - -export function codeSelectionsToVirtualFileSystem( -  codeSelections: RangeInFile[] -): { -  [filepath: string]: string; -} { -  let virtualFileSystem: { [filepath: string]: string } = {}; -  for (let cs of codeSelections) { -    if (!cs.filepath) continue; -    if (cs.filepath in virtualFileSystem) continue; -    let content = fs.readFileSync(cs.filepath, "utf8"); -    virtualFileSystem[cs.filepath] = content; -  } -  return virtualFileSystem; -} -  export function debounced(delay: number, fn: Function) {    let timerId: NodeJS.Timeout | null;    return function (...args: any[]) { diff --git a/extension/src/util/vscode.ts b/extension/src/util/vscode.ts index 3110d589..bf0fa1e5 100644 --- a/extension/src/util/vscode.ts +++ b/extension/src/util/vscode.ts @@ -1,6 +1,4 @@  import * as vscode from "vscode"; -import * as path from "path"; -import * as fs from "fs";  export function translate(range: vscode.Range, lines: number): vscode.Range {    return new vscode.Range( @@ -21,39 +19,6 @@ export function getNonce() {    return text;  } -export function getTestFile( -  filename: string, -  createFile: boolean = false -): string { -  let basename = path.basename(filename).split(".")[0]; -  switch (path.extname(filename)) { -    case ".py": -      basename += "_test"; -      break; -    case ".js": -    case ".jsx": -    case ".ts": -    case ".tsx": -      basename += ".test"; -      break; -    default: -      basename += "_test"; -  } - -  const directory = path.join(path.dirname(filename), "tests"); -  const testFilename = path.join(directory, basename + path.extname(filename)); - -  // Optionally, create the file if it doesn't exist -  if (createFile && !fs.existsSync(testFilename)) { -    if (!fs.existsSync(directory)) { -      fs.mkdirSync(directory); -    } -    fs.writeFileSync(testFilename, ""); -  } - -  return testFilename; -} -  export function getExtensionUri(): vscode.Uri {    return vscode.extensions.getExtension("Continue.continue")!.extensionUri;  } @@ -100,36 +65,6 @@ export function getRightViewColumn(): vscode.ViewColumn {    return column;  } -export async function readFileAtRange( -  range: vscode.Range, -  filepath: string -): Promise<string> { -  return new Promise((resolve, reject) => { -    fs.readFile(filepath, (err, data) => { -      if (err) { -        reject(err); -      } else { -        let lines = data.toString().split("\n"); -        if (range.isSingleLine) { -          resolve( -            lines[range.start.line].slice( -              range.start.character, -              range.end.character -            ) -          ); -        } else { -          const firstLine = lines[range.start.line].slice( -            range.start.character -          ); -          const lastLine = lines[range.end.line].slice(0, range.end.character); -          const middleLines = lines.slice(range.start.line + 1, range.end.line); -          resolve([firstLine, ...middleLines, lastLine].join("\n")); -        } -      } -    }); -  }); -} -  let showTextDocumentInProcess = false;  export function openEditorAndRevealRange(  | 
