nadesiko3 3.3.45 → 3.3.49

package/core/src/nako_source_mapping.mjs

@@ -0,0 +1,207 @@
+/** prepareとtokenizeのソースマッピング */
+export class SourceMappingOfTokenization {
+    /**
+       * @param {number} sourceCodeLength
+       * @param {PreprocessItem[]} preprocessed
+       */
+    constructor(sourceCodeLength, preprocessed) {
+        /** @private @readonly */
+        this.sourceCodeLength = sourceCodeLength;
+        /** @private @readonly */
+        this.preprocessed = preprocessed;
+        let i = 0;
+        /** @private @readonly @type {number[]} */
+        this.cumulativeSum = [];
+        for (const el of preprocessed) {
+            this.cumulativeSum.push(i);
+            i += el.text.length;
+        }
+        /** @private */
+        this.lastIndex = 0;
+        /** @private */
+        this.lastPreprocessedCodePosition = 0;
+    }
+    /**
+       * preprocess後の文字列上のoffsetからソースコード上のoffsetへ変換
+       * @param {number} preprocessedCodePosition
+       * @returns {number}
+       */
+    map(preprocessedCodePosition) {
+        const i = this.findIndex(preprocessedCodePosition);
+        return Math.min(this.preprocessed[i].sourcePosition + (preprocessedCodePosition - this.cumulativeSum[i]), i === this.preprocessed.length - 1 ? this.sourceCodeLength : this.preprocessed[i + 1].sourcePosition - 1);
+    }
+    /**
+       * @param {number} preprocessedCodePosition
+       * @returns {number}
+       */
+    findIndex(preprocessedCodePosition) {
+        // 連続アクセスに対する高速化
+        if (preprocessedCodePosition < this.lastPreprocessedCodePosition) {
+            this.lastIndex = 0;
+        }
+        this.lastPreprocessedCodePosition = preprocessedCodePosition;
+        for (let i = this.lastIndex; i < this.preprocessed.length - 1; i++) {
+            if (preprocessedCodePosition < this.cumulativeSum[i + 1]) {
+                this.lastIndex = i;
+                return i;
+            }
+        }
+        this.lastIndex = this.preprocessed.length - 1;
+        return this.preprocessed.length - 1;
+    }
+}
+export class SourceMappingOfIndentSyntax {
+    /**
+       * @param {string} codeAfterProcessingIndentationSyntax
+       * @param {readonly number[]} linesInsertedByIndentationSyntax
+       * @param {readonly { lineNumber: number, len: number }[]} linesDeletedByIndentationSyntax
+       */
+    constructor(codeAfterProcessingIndentationSyntax, linesInsertedByIndentationSyntax, linesDeletedByIndentationSyntax) {
+        /** @private @type {{ offset: number, len: number }[]} */
+        this.lines = [];
+        /** @private @readonly */
+        this.linesInsertedByIndentationSyntax = linesInsertedByIndentationSyntax;
+        /** @private @readonly */
+        this.linesDeletedByIndentationSyntax = linesDeletedByIndentationSyntax;
+        let offset = 0;
+        for (const line of codeAfterProcessingIndentationSyntax.split('\n')) {
+            this.lines.push({ offset, len: line.length });
+            offset += line.length + 1;
+        }
+        /** @private */
+        this.lastLineNumber = 0;
+        /** @private */
+        this.lastOffset = 0;
+    }
+    /**
+       * @param {number | null} startOffset
+       * @param {number | null} endOffset
+       * @returns {{ startOffset: number | null, endOffset: number | null }}
+       */
+    map(startOffset, endOffset) {
+        if (startOffset === null) {
+            return { startOffset, endOffset };
+        }
+        // 何行目かを判定
+        const tokenLine = this.getLineNumber(startOffset);
+        for (const insertedLine of this.linesInsertedByIndentationSyntax) {
+            // インデント構文の処理後のソースコードの `insertedLine` 行目にあるトークンのソースマップ情報を削除する。
+            if (tokenLine === insertedLine) {
+                startOffset = null;
+                endOffset = null;
+                break;
+            }
+            // インデント構文の処理後のソースコードの `insertedLine` 行目以降にあるトークンのoffsetから
+            // `linesInsertedByIndentationSyntax[i]` 行目の文字数（\rを含む） を引く。
+            if (tokenLine > insertedLine) {
+                // "\n"の分1足す
+                startOffset -= this.lines[insertedLine].len + 1;
+                if (endOffset !== null) {
+                    endOffset -= this.lines[insertedLine].len + 1;
+                }
+            }
+        }
+        for (const deletedLine of this.linesDeletedByIndentationSyntax) {
+            if (tokenLine >= deletedLine.lineNumber) {
+                // "\n"の分1足す
+                if (startOffset !== null) {
+                    startOffset += deletedLine.len + 1;
+                }
+                if (endOffset !== null) {
+                    endOffset += deletedLine.len + 1;
+                }
+            }
+        }
+        return { startOffset, endOffset };
+    }
+    /**
+       * @param {number} offset
+       * @returns {number}
+       * @private
+       */
+    getLineNumber(offset) {
+        // 連続アクセスに対する高速化
+        if (offset < this.lastOffset) {
+            this.lastLineNumber = 0;
+        }
+        this.lastOffset = offset;
+        for (let i = this.lastLineNumber; i < this.lines.length - 1; i++) {
+            if (offset < this.lines[i + 1].offset) {
+                this.lastLineNumber = i;
+                return i;
+            }
+        }
+        this.lastLineNumber = this.lines.length - 1;
+        return this.lines.length - 1;
+    }
+}
+/** offsetから (line, column) へ変換する。 */
+export class OffsetToLineColumn {
+    /**
+       * @param {string} code
+       */
+    constructor(code) {
+        /** @private @type {number[]} */
+        this.lineOffsets = [];
+        // 各行の先頭位置を先に計算しておく
+        let offset = 0;
+        for (const line of code.split('\n')) {
+            this.lineOffsets.push(offset);
+            offset += line.length + 1;
+        }
+        /** @private */
+        this.lastLineNumber = 0;
+        /** @private */
+        this.lastOffset = 0;
+    }
+    /**
+       * @param {number} offset
+       * @param {boolean} oneBasedLineNumber trueのときlineを1から始める
+       * @returns {{ line: number, column: number }}
+       */
+    map(offset, oneBasedLineNumber) {
+        // 連続アクセスに対する高速化
+        if (offset < this.lastOffset) {
+            this.lastLineNumber = 0;
+        }
+        this.lastOffset = offset;
+        for (let i = this.lastLineNumber; i < this.lineOffsets.length - 1; i++) {
+            if (offset < this.lineOffsets[i + 1]) {
+                this.lastLineNumber = i;
+                return {
+                    line: i + (oneBasedLineNumber ? 1 : 0),
+                    column: offset - this.lineOffsets[i]
+                };
+            }
+        }
+        this.lastLineNumber = this.lineOffsets.length - 1;
+        return {
+            line: this.lineOffsets.length - 1 + (oneBasedLineNumber ? 1 : 0),
+            column: offset - this.lineOffsets[this.lineOffsets.length - 1]
+        };
+    }
+}
+/**
+ * preCodeの分、ソースマップのoffset、行数、列数を減らす。
+ * @type {<T extends {line?: number, column?: number, startOffset: number | null, endOffset: number | null }>(sourceMap: T, preCode: string) => T}
+ */
+export function subtractSourceMapByPreCodeLength(sourceMap, preCode) {
+    // offsetは単純に引くだけでよい
+    if (typeof sourceMap.startOffset === 'number') {
+        sourceMap.startOffset -= preCode.length;
+    }
+    if (typeof sourceMap.endOffset === 'number') {
+        sourceMap.endOffset -= preCode.length;
+    }
+    // たとえば preCode = 'abc\ndef\nghi' のとき、line -= 2 して、先頭行なら column -= 3 もする。
+    if (preCode !== '') {
+        const lines = preCode.split('\n');
+        if (typeof sourceMap.line === 'number') {
+            sourceMap.line -= lines.length - 1;
+        }
+        if (sourceMap.line === 0 && typeof sourceMap.column === 'number') {
+            sourceMap.column -= lines[lines.length - 1].length;
+        }
+    }
+    return sourceMap;
+}

package/core/src/nako_source_mapping.mts

@@ -0,0 +1,262 @@
+
+interface PreprocessItem {
+  text: string;
+  sourcePosition: number
+}
+
+/** prepareとtokenizeのソースマッピング */
+export class SourceMappingOfTokenization {
+  private readonly sourceCodeLength: number;
+  private readonly preprocessed: PreprocessItem[];
+  private readonly cumulativeSum: number[];
+  private lastIndex: number;
+  private lastPreprocessedCodePosition: number;
+  /**
+     * @param {number} sourceCodeLength
+     * @param {PreprocessItem[]} preprocessed
+     */
+  constructor (sourceCodeLength: number, preprocessed: PreprocessItem[]) {
+    /** @private @readonly */
+    this.sourceCodeLength = sourceCodeLength
+
+    /** @private @readonly */
+    this.preprocessed = preprocessed
+
+    let i = 0
+    /** @private @readonly @type {number[]} */
+    this.cumulativeSum = []
+    for (const el of preprocessed) {
+      this.cumulativeSum.push(i)
+      i += el.text.length
+    }
+
+    /** @private */
+    this.lastIndex = 0
+    /** @private */
+    this.lastPreprocessedCodePosition = 0
+  }
+
+  /**
+     * preprocess後の文字列上のoffsetからソースコード上のoffsetへ変換
+     * @param {number} preprocessedCodePosition
+     * @returns {number}
+     */
+  map (preprocessedCodePosition: number): number {
+    const i = this.findIndex(preprocessedCodePosition)
+    return Math.min(
+      this.preprocessed[i].sourcePosition + (preprocessedCodePosition - this.cumulativeSum[i]),
+      i === this.preprocessed.length - 1 ? this.sourceCodeLength : this.preprocessed[i + 1].sourcePosition - 1
+    )
+  }
+
+  /**
+     * @param {number} preprocessedCodePosition
+     * @returns {number}
+     */
+  findIndex (preprocessedCodePosition: number): number {
+    // 連続アクセスに対する高速化
+    if (preprocessedCodePosition < this.lastPreprocessedCodePosition) {
+      this.lastIndex = 0
+    }
+    this.lastPreprocessedCodePosition = preprocessedCodePosition
+
+    for (let i = this.lastIndex; i < this.preprocessed.length - 1; i++) {
+      if (preprocessedCodePosition < this.cumulativeSum[i + 1]) {
+        this.lastIndex = i
+        return i
+      }
+    }
+
+    this.lastIndex = this.preprocessed.length - 1
+    return this.preprocessed.length - 1
+  }
+}
+
+export class SourceMappingOfIndentSyntax {
+  private lines: { offset: number, len: number }[];
+  private readonly linesInsertedByIndentationSyntax: number[];
+  private readonly linesDeletedByIndentationSyntax: { lineNumber: number, len: number }[];
+  lastLineNumber: number;
+  lastOffset: number;
+  /**
+     * @param {string} codeAfterProcessingIndentationSyntax
+     * @param {readonly number[]} linesInsertedByIndentationSyntax
+     * @param {readonly { lineNumber: number, len: number }[]} linesDeletedByIndentationSyntax
+     */
+  constructor (
+    codeAfterProcessingIndentationSyntax: string,
+    linesInsertedByIndentationSyntax: number[],
+    linesDeletedByIndentationSyntax: { lineNumber: number, len: number }[]
+  ) {
+    /** @private @type {{ offset: number, len: number }[]} */
+    this.lines = []
+
+    /** @private @readonly */
+    this.linesInsertedByIndentationSyntax = linesInsertedByIndentationSyntax
+
+    /** @private @readonly */
+    this.linesDeletedByIndentationSyntax = linesDeletedByIndentationSyntax
+
+    let offset = 0
+    for (const line of codeAfterProcessingIndentationSyntax.split('\n')) {
+      this.lines.push({ offset, len: line.length })
+      offset += line.length + 1
+    }
+
+    /** @private */
+    this.lastLineNumber = 0
+    /** @private */
+    this.lastOffset = 0
+  }
+
+  /**
+     * @param {number | null} startOffset
+     * @param {number | null} endOffset
+     * @returns {{ startOffset: number | null, endOffset: number | null }}
+     */
+  map (startOffset: number | null, endOffset:number | null): { startOffset: number | null, endOffset: number | null } {
+    if (startOffset === null) {
+      return { startOffset, endOffset }
+    }
+
+    // 何行目かを判定
+    const tokenLine = this.getLineNumber(startOffset)
+
+    for (const insertedLine of this.linesInsertedByIndentationSyntax) {
+      // インデント構文の処理後のソースコードの `insertedLine` 行目にあるトークンのソースマップ情報を削除する。
+      if (tokenLine === insertedLine) {
+        startOffset = null
+        endOffset = null
+        break
+      }
+
+      // インデント構文の処理後のソースコードの `insertedLine` 行目以降にあるトークンのoffsetから
+      // `linesInsertedByIndentationSyntax[i]` 行目の文字数（\rを含む） を引く。
+      if (tokenLine > insertedLine) {
+        // "\n"の分1足す
+        startOffset -= this.lines[insertedLine].len + 1
+        if (endOffset !== null) {
+          endOffset -= this.lines[insertedLine].len + 1
+        }
+      }
+    }
+    for (const deletedLine of this.linesDeletedByIndentationSyntax) {
+      if (tokenLine >= deletedLine.lineNumber) {
+        // "\n"の分1足す
+        if (startOffset !== null) {
+          startOffset += deletedLine.len + 1
+        }
+        if (endOffset !== null) {
+          endOffset += deletedLine.len + 1
+        }
+      }
+    }
+
+    return { startOffset, endOffset }
+  }
+
+  /**
+     * @param {number} offset
+     * @returns {number}
+     * @private
+     */
+  getLineNumber (offset: number): number {
+    // 連続アクセスに対する高速化
+    if (offset < this.lastOffset) {
+      this.lastLineNumber = 0
+    }
+    this.lastOffset = offset
+
+    for (let i = this.lastLineNumber; i < this.lines.length - 1; i++) {
+      if (offset < this.lines[i + 1].offset) {
+        this.lastLineNumber = i
+        return i
+      }
+    }
+
+    this.lastLineNumber = this.lines.length - 1
+    return this.lines.length - 1
+  }
+}
+
+/** offsetから (line, column) へ変換する。 */
+export class OffsetToLineColumn {
+  private lineOffsets: number[];
+  private lastLineNumber: number;
+  private lastOffset: number;
+  /**
+     * @param {string} code
+     */
+  constructor (code: string) {
+    /** @private @type {number[]} */
+    this.lineOffsets = []
+
+    // 各行の先頭位置を先に計算しておく
+    let offset = 0
+    for (const line of code.split('\n')) {
+      this.lineOffsets.push(offset)
+      offset += line.length + 1
+    }
+
+    /** @private */
+    this.lastLineNumber = 0
+    /** @private */
+    this.lastOffset = 0
+  }
+
+  /**
+     * @param {number} offset
+     * @param {boolean} oneBasedLineNumber trueのときlineを1から始める
+     * @returns {{ line: number, column: number }}
+     */
+  map (offset: number, oneBasedLineNumber: boolean):{ line: number, column: number } {
+    // 連続アクセスに対する高速化
+    if (offset < this.lastOffset) {
+      this.lastLineNumber = 0
+    }
+    this.lastOffset = offset
+
+    for (let i = this.lastLineNumber; i < this.lineOffsets.length - 1; i++) {
+      if (offset < this.lineOffsets[i + 1]) {
+        this.lastLineNumber = i
+        return {
+          line: i + (oneBasedLineNumber ? 1 : 0),
+          column: offset - this.lineOffsets[i]
+        }
+      }
+    }
+
+    this.lastLineNumber = this.lineOffsets.length - 1
+    return {
+      line: this.lineOffsets.length - 1 + (oneBasedLineNumber ? 1 : 0),
+      column: offset - this.lineOffsets[this.lineOffsets.length - 1]
+    }
+  }
+}
+
+/**
+ * preCodeの分、ソースマップのoffset、行数、列数を減らす。
+ * @type {<T extends {line?: number, column?: number, startOffset: number | null, endOffset: number | null }>(sourceMap: T, preCode: string) => T}
+ */
+export function subtractSourceMapByPreCodeLength (sourceMap: any, preCode: string) {
+  // offsetは単純に引くだけでよい
+  if (typeof sourceMap.startOffset === 'number') {
+    sourceMap.startOffset -= preCode.length
+  }
+  if (typeof sourceMap.endOffset === 'number') {
+    sourceMap.endOffset -= preCode.length
+  }
+
+  // たとえば preCode = 'abc\ndef\nghi' のとき、line -= 2 して、先頭行なら column -= 3 もする。
+  if (preCode !== '') {
+    const lines = preCode.split('\n')
+    if (typeof sourceMap.line === 'number') {
+      sourceMap.line -= lines.length - 1
+    }
+    if (sourceMap.line === 0 && typeof sourceMap.column === 'number') {
+      sourceMap.column -= lines[lines.length - 1].length
+    }
+  }
+
+  return sourceMap
+}

package/core/src/nako_test.mjs

@@ -0,0 +1,37 @@
+class NakoTest {
+  constructor () {
+    /** @type {{ name: string, f: () => void }[]} */
+    this.tests = []
+  }
+
+  /** @param {any} a, @param {any} b */
+  static assertStrictEqual (a, b) {
+    if (a !== b) {
+      throw new Error('')
+    }
+  }
+
+  /** @param {unknown} a */
+  static inspect (a) {
+    switch (typeof a) {
+      case 'bigint': return `bigint値『${a}』`
+      case 'boolean': return a + ''
+      case 'function': return `関数『${a.name}』`
+      case 'number': return `数値${a}`
+      case 'object':
+        if (a === null) {
+          return a + ''
+        }
+        try {
+          return `オブジェクト『${JSON.stringify(a)}』`
+        } catch (e) { // 循環参照など
+          return `オブジェクト『${a}』`
+        }
+      case 'string': return `文字列『${a}』`
+      case 'symbol': return `シンボル『${a.toString()}』`
+      case 'undefined': return a + ''
+    }
+  }
+}
+
+module.exports = NakoTest

package/core/src/nako_types.mjs

@@ -0,0 +1,25 @@
+/**
+ * なでしこ3 の TypeScript のための型定義
+ */
+export function NewEmptyToken(type = '?', value = {}, line = 0, file = 'main.nako3') {
+    return {
+        type,
+        value,
+        line,
+        column: 0,
+        file,
+        josi: ''
+    };
+}
+/**
+ * コンパイルオプション
+ */
+export class CompilerOptions {
+    constructor(initObj = {}) {
+        this.testOnly = initObj.testOnly || false;
+        this.resetEnv = initObj.resetEnv || false;
+        this.resetAll = initObj.resetAll || false;
+        this.preCode = initObj.preCode || '';
+        this.nakoGlobal = initObj.nakoGlobal || null;
+    }
+}

package/core/src/nako_types.mts

@@ -0,0 +1,151 @@
+/**
+ * なでしこ3 の TypeScript のための型定義
+ */
+
+import { NakoGlobal } from './nako_global.mjs'
+
+// 関数に関する定義
+export type FuncArgs = string[][]
+
+// FuncListの定義
+export interface FuncListItem {
+  type: 'func' | 'var' | 'const' | 'test_func';
+  value?: any;
+  josi?: FuncArgs;
+  isVariableJosi?: boolean;
+  fn?: null | ((...args: any[]) => any) | string;
+  varnames?: string[];
+  funcPointers?: any[];
+  asyncFn?: boolean;
+  // eslint-disable-next-line camelcase
+  return_none?: boolean;
+  pure?: boolean;
+  name?: string;
+}
+
+// 関数の一覧
+export type FuncList = {[key: string]: FuncListItem};
+
+// トークンのメタ情報
+export interface TokenMeta {
+    josi: FuncArgs | undefined;
+    varnames: string[] | undefined;
+    funcPointers: any[] | undefined;
+}
+
+// トークン
+export interface Token {
+    type: string;
+    value: any;
+    line: number;
+    column: number;
+    file: string;
+    josi: string;
+    meta?: FuncListItem;
+    rawJosi?: string;
+    startOffset?: number | undefined;
+    endOffset?: number | undefined;
+    isDefinition?: boolean;
+    funcPointer?: boolean;
+    tag?: string;
+    preprocessedCodeOffset?: number | undefined;
+    preprocessedCodeLength?: number | undefined;
+    // eslint-disable-next-line no-use-before-define
+    name?: Token | Ast; // NakoPaserBase.nodeToStrの問題を回避するため
+    start?: number;
+    end?: number;
+    firstToken?: Token;
+    lastToken?: Token;
+}
+
+export function NewEmptyToken (type = '?', value: any = {}, line = 0, file = 'main.nako3'): Token {
+  return {
+    type,
+    value,
+    line,
+    column: 0,
+    file,
+    josi: ''
+  }
+}
+
+export interface Ast {
+    type: string;
+    cond?: Ast[] | Ast;
+    expr?: Ast[] | Ast; // todo: cond と共通化できそう
+    block?: Ast[] | Ast;
+    target?: Ast[] | Ast | null; // 反復
+    blocks?: Ast[]; // todo: 逐次実行でのみ使われるので、今後削除可能
+    errorBlock?: Ast[] | Ast; // todo: 逐次実行でのみ使われるので、今後削除可能
+    errBlock?: Ast[] | Ast; // todo: エラー監視の中でのみ使われる
+    cases?: any[]; // 条件分岐
+    operator?: string; // 演算子の場合
+    left?: Ast | Ast[]; // 演算子の場合
+    right?: Ast | Ast[]; // 演算子の場合
+    // eslint-disable-next-line camelcase
+    false_block?: Ast[] | Ast; // if
+    from?: Ast[] | Ast; // for
+    to?: Ast[] | Ast; // for
+    inc?: Ast[] | Ast | null; // for
+    word?: Ast | null; // for
+    name?: Token | Ast | null | string;
+    names?: Ast[];
+    args?: Ast[]; // 関数の引数
+    asyncFn?: boolean; // 関数の定義
+    meta?: any; // 関数の定義
+    setter?: boolean; // 関数の定義
+    index?: Ast[]; // 配列へのアクセスに利用
+    josi?: string;
+    value?: any;
+    mode?: string; // 文字列の展開などで利用
+    line: number;
+    column?: number;
+    file?: string;
+    startOffset?: number | undefined;
+    endOffset?: number | undefined;
+    rawJosi?: string;
+    vartype?: string;
+    end?: {
+        startOffset: number | undefined;
+        endOffset: number | undefined;
+        line?: number;
+        column?: number;
+    }
+    tag?: string;
+    genMode?: string;
+    checkInit?: boolean;
+    options?: { [key: string]: boolean };
+}
+
+export interface SourceMap {
+    startOffset: number | undefined;
+    endOffset: number | undefined;
+    file: string | undefined;
+    line: number;
+    column: number;
+}
+
+/**
+ * コンパイルオプション
+ */
+export class CompilerOptions {
+  resetEnv: boolean; // 現在の環境をリセット
+  testOnly: boolean; // テストだけを実行する
+  resetAll: boolean; // 全ての環境をリセット
+  preCode: string; // 環境を構築するためのコード
+  nakoGlobal: NakoGlobal | null; // 実行に使う環境
+  constructor (initObj: any = {}) {
+    this.testOnly = initObj.testOnly || false
+    this.resetEnv = initObj.resetEnv || false
+    this.resetAll = initObj.resetAll || false
+    this.preCode = initObj.preCode || ''
+    this.nakoGlobal = initObj.nakoGlobal || null
+  }
+}
+
+export type NakoComEventName = 'finish' | 'beforeRun' | 'beforeGenerate' | 'afterGenerate' | 'beforeParse'
+
+export interface NakoEvent {
+  eventName: NakoComEventName
+  callback: (event: any) => void
+}