@specs-feup/lara/src-api/weaver/util/WeaverDataStore.ts

A js port of the popular framework for building source-to-source compilers

import Io from "../../lara/Io.js";
import DataStore from "../../lara/util/DataStore.js";
import JavaTypes, { JavaClasses } from "../../lara/util/JavaTypes.js";
import Weaver from "../Weaver.js";

/**
 * DataStore used in LaraI weavers.
 */
export default class WeaverDataStore extends DataStore {
  constructor(
    data: string | DataStore | JavaClasses.DataStore = "LaraI Options",
    definition: any = JavaTypes.LaraiKeys.STORE_DEFINITION
  ) {
    super(data, definition);
  }

  /**
   * Wraps a Java DataStore around a Lara DataStore.
   */
  protected dataStoreWrapper(javaDataStore: JavaClasses.DataStore) {
    return new WeaverDataStore(javaDataStore, this.definition);
  }

  /**
   * @returns a number between 0 and 3, representing the verbose level (0 - less information, 3 - more information)
   */
  getVerboseLevel() {
    return this.get("verbose").ordinal();
  }

  /**
   * @param verboseLevel - a number between 0 and 3, representing the verbose level (0 - less information, 3 - more information)
   */
  setVerboseLevel(verboseLevel: number) {
    if (!(verboseLevel >= 0 && verboseLevel <= 3)) {
      throw "WeaverDataStore.setVerboseLevel: expected a number  between 0 and 3";
    }

    this.put("verbose", JavaTypes.VerboseLevel.values()[verboseLevel]);
  }

  /**
   * @returns a java.io.File representing the current output folder of the weaver
   */
  getOutputFolder() {
    return this.get("output");
  }

  /**
   * @param outputFolder - a java.io.File or a String, representing the current output folder of the weaver
   *
   */
  setOutputFolder(outputFolder: any) {
    const normalizedOutputFolder = Io.getPath(outputFolder);
    this.put("output", normalizedOutputFolder);
  }

  /**
   *
   */
  getSourceFolders() {
    const sourcesFileList = this.get("workspace");
    return Weaver.toJs(sourcesFileList.getFiles());
  }

  /**
   *
   */
  setSourceFolders(sourceFolders: any) {
    const fileList = JavaTypes.FileList.newInstance(sourceFolders); // Change to JavaTypes
    this.put("workspace", fileList);
  }

  /**
   *
   */
  getIncludeFolders() {
    const includesFileList = this.get("include");

    return Weaver.toJs(includesFileList.getFiles());
  }

  /**
   *
   */
  setIncludeFolders(includeFolders: any) {
    const fileList = JavaTypes.FileList.newInstance(includeFolders);
    this.put("include", fileList);
  }

  setTools(toolsPath: any) {
    const toolsFile = JavaTypes.OptionalFile.newInstance(toolsPath);
    this.put("tools", toolsFile);
  }

  setLogFile(logPath: any) {
    const logFile = JavaTypes.OptionalFile.newInstance(logPath);
    this.put("log", logFile);
  }

  getLogFile() {
    const optionalFile = this.get("log");
    return optionalFile ?? optionalFile.getFile();
  }
}