nadesiko3 3.3.63 → 3.3.64

package/core/src/nako_from_dncl2.mts

@@ -0,0 +1,299 @@
+/**
+ * DNCL ver2 に対応する構文
+ */
+// import { NakoIndentError } from './nako_errors.mjs'
+import { Token, NewEmptyToken } from './nako_types.mjs'
+import { joinTokenLines, splitTokens } from './nako_indent_inline.mjs'
+import { newToken, debugTokens } from './nako_tools.mjs'
+
+const IS_DEBUG = false
+const DNCL_ARRAY_INIT_COUNT = 30
+
+// DNCL2モードのキーワード
+const DNCL2_KEYWORDS = ['!DNCL2モード', '💡DNCL2モード', '!DNCL2', '💡DNCL2']
+
+// 単純な置換チェック
+const DNCL_SIMPLES: { [key: string]: string[] } = {
+  '←:←': ['eq', '='],
+  '÷:÷': ['÷÷', '÷÷'],
+  '{:{': ['[', '['],
+  '}:}': [']', ']'],
+  'word:and': ['and', 'かつ'],
+  'word:or': ['or', 'または'],
+  'word:乱数': ['word', '乱数範囲'],
+  'word:表示': ['word', '連続表示']
+}
+
+/**
+ * DNCLのソースコードをなでしこに変換する
+ */
+export function convertDNCL2 (tokens: Token[]): Token[] {
+  if (!useDNCL2mode(tokens)) { return tokens }
+
+  // 一行ずつに分ける
+  const lines = splitTokens(tokens, 'eol')
+  for (let i = 0; i < lines.length; i++) {
+    const line = lines[i]
+    if (line.length <= 1) { continue } // 空行は飛ばす
+
+    // --- 制御構文の変換 ---
+    // もし(条件)でないならば → もし(条件)でなければ
+    const nai = findTokens(line, ['word:ない'])
+    if (nai >= 1) {
+      const tt = line[nai]
+      if (tt.josi === 'ならば') {
+        line[nai - 1].josi = 'でなければ'
+        line.splice(nai, 1)
+      }
+    }
+    // そうでなければ(そう|でなければ) → 違えば
+    for (let ni = 0; ni < line.length; ni++) {
+      const t = line[ni]
+      if (t.value === 'そう' && t.josi === 'でなければ') {
+        t.type = '違えば'
+        t.value = '違えば'
+        t.josi = ''
+      }
+    }
+    // 'を実行し,そうでなければ': '違えば',
+    for (;;) {
+      const ni = findTokens(line, ['word:を実行', 'comma:,', 'word:そう'])
+      if (ni < 0) { break }
+      const sou = line[ni + 2]
+      if (sou.josi === 'でなければ') {
+        sou.type = '違えば'
+        sou.value = '違えば'
+        sou.josi = ''
+        line.splice(ni, 3, sou)
+        continue
+      } else if (sou.josi === 'で') {
+        const nakumosi = line[ni + 3]
+        if (nakumosi.value.substring(0, 4) === 'なくもし') {
+          sou.type = '違えば'
+          sou.value = '違えば'
+          sou.josi = ''
+          line.splice(ni, 3, sou)
+          if (nakumosi.value.length > 4) {
+            const nakumosiTudukiStr = nakumosi.value.substring(4)
+            const nakumosiToken = NewEmptyToken('word', nakumosiTudukiStr, nakumosi.indent, nakumosi.line, nakumosi.file)
+            if (nakumosiTudukiStr.match(/^\d/)) { nakumosiToken.type = 'number' }
+            line.splice(ni + 2, 0, nakumosiToken)
+            nakumosi.value = nakumosi.value.substring(0, 4)
+          }
+          nakumosi.type = 'もし'
+          nakumosi.value = 'もし'
+          nakumosi.josi = ''
+          continue
+        }
+      }
+      break
+    }
+
+    // Iを1から100まで1(ずつ)|増やしな(が)|ら
+    for (;;) {
+      const ni = findTokens(line, ['word:増', 'word:ら'])
+      if (ni < 0) { break }
+      const fu = line[ni]
+      fu.type = 'word'
+      fu.value = '増繰返'
+      fu.josi = ''
+      line.splice(ni, 2, fu)
+    }
+
+    // Iを1から100まで1(ずつ)|増やしな(が)|ら
+    for (;;) {
+      const ni = findTokens(line, ['word:減', 'word:ら'])
+      if (ni < 0) { break }
+      const fu = line[ni]
+      fu.type = 'word'
+      fu.value = '減繰返'
+      fu.josi = ''
+      line.splice(ni, 2, fu)
+    }
+
+    // Iを1から100まで1(ずつ)|増やしな(が)|ら繰り返(す)
+    for (;;) {
+      const ni = findTokens(line, ['word:増', 'word:ら繰り返'])
+      if (ni < 0) { break }
+      const fu = line[ni]
+      fu.type = 'word'
+      fu.value = '増繰返'
+      fu.josi = ''
+      line.splice(ni, 2, fu)
+    }
+
+    // Iを1から100まで1(ずつ)|増やしな(が)|ら繰り返す
+    for (;;) {
+      const ni = findTokens(line, ['word:減', 'word:ら繰り返'])
+      if (ni < 0) { break }
+      const fu = line[ni]
+      fu.type = 'word'
+      fu.value = '減繰返'
+      fu.josi = ''
+      line.splice(ni, 2, fu)
+    }
+
+    // --- 配列変数周りの変換 ---
+    for (let i = 0; i < line.length; i++) {
+      // 配列|Hindoの|すべての|(要素に|値に)|10を|代入する
+      if (tokenEq([['word:配列', 'word:配列変数'], 'word', 'word:すべて', ['word:要素', 'word:値'], '*', 'word:代入'], line, i)) {
+        const varToken = line[i + 1]
+        varToken.josi = ''
+        const valToken = line[i + 4]
+        valToken.josi = ''
+        line.splice(i, 6,
+          varToken, newToken('eq', '=', varToken),
+          newToken('word', '掛'), newToken('(', '('),
+          newToken('[', '['), valToken, newToken(']', ']'), newToken('comma', ','),
+          newToken('number', DNCL_ARRAY_INIT_COUNT), newToken(')', ')'))
+        i += 6 // skip
+      }
+      // Hensuの|すべての|(要素を|値を)|0に|する
+      if (tokenEq(['word', 'word:すべて', ['word:要素', 'word:値'], ['number', 'string', 'word'], 'word:する'], line, i)) {
+        const varToken = line[i]
+        varToken.josi = ''
+        const valToken = line[i + 3]
+        valToken.josi = ''
+        line.splice(i, 5,
+          varToken, newToken('eq', '=', varToken),
+          newToken('word', '掛'), newToken('(', '('),
+          newToken('[', '['), valToken, newToken(']', ']'), newToken('comma', ','),
+          newToken('number', DNCL_ARRAY_INIT_COUNT), newToken(')', ')'))
+      }
+      // 配列変数 | xxを | 初期化する
+      if (tokenEq([['word:配列変数', 'word:配列'], 'word', 'word:初期化'], line, i)) {
+        const varToken = line[i + 1]
+        varToken.josi = ''
+        line.splice(i, 3,
+          varToken, newToken('eq', '=', varToken),
+          newToken('word', '掛'), newToken('(', '('),
+          newToken('[', '['), newToken('number', 0), newToken(']', ']'), newToken('comma', ','),
+          newToken('number', DNCL_ARRAY_INIT_COUNT), newToken(')', ')'))
+      }
+    }
+
+    // --- その他の変換 ---
+    // 二進で表示 (255) → 二進表示(255)
+    for (;;) {
+      const ni = findTokens(line, ['word:二進', 'word:表示'])
+      if (ni < 0) { break }
+      line[ni].value = '二進表示'
+      line[ni].josi = ''
+      line.splice(ni + 1, 1)
+    }
+    // '改行なしで表示' → '連続無改行表示'
+    for (;;) {
+      const ni = findTokens(line, ['word:改行', 'word:表示'])
+      if (ni < 0) { break }
+      // ここ「改行なしで表示」でも「改行ありで表示」でも同じになってしまう
+      // なでしこの制限のため仕方なし
+      // 「改行ありで表示」は今のところDNCLに存在しないので無視する
+      // もし将来的に区別が必要なら、プリプロセス処理でマクロ的に置換処理を行うことで対応できると思う
+      const t = line[ni]
+      t.value = '連続無改行表示'
+      t.josi = ''
+      line.splice(ni + 1, 1)
+    }
+
+    // 一つずつチェック
+    let j = 0
+    while (j < line.length) {
+      const t = line[j]
+      // 減と増の分割
+      if (t.type === 'word' && t.value.length >= 2) {
+        const c = t.value.charAt(t.value.length - 1)
+        if (c === '減' || c === '増') {
+          t.value = t.value.substring(0, t.value.length - 1)
+          t.josi = 'だけ'
+          line.splice(j + 1, 0, NewEmptyToken('word', c, t.indent, t.line, t.file))
+        }
+        j++
+        continue
+      }
+      j++
+    }
+  }
+
+  // 最後に単純な置換を行う
+  for (let i = 0; i < tokens.length; i++) {
+    const t = tokens[i]
+    const a = DNCL_SIMPLES[t.type + ':' + t.value]
+    if (a !== undefined) {
+      t.type = a[0]
+      t.value = a[1]
+    }
+  }
+  tokens = joinTokenLines(lines)
+  if (IS_DEBUG) {
+    console.log('@@@---DNCL:tokens---')
+    console.log(debugTokens(tokens))
+    console.log('@@@/---DNCL:tokens---')
+  }
+  return tokens
+}
+
+/**
+ * トークンが合致するかを確認する
+ * @param typeValues ['word:それ']のようなタイプ名と値の配列/'*'でワイルドカードが使える/":"がなればタイプだけ確認/配列で選択
+ * @param lines 差し替え
+ * @param fromIndex 検索場所
+ * @returns 合致したかどうか
+ */
+function tokenEq (typeValues: any[], lines: Token[], fromIndex: number): boolean {
+  const check = (pattern: string|Array<string>, t: Token): boolean => {
+    if (pattern instanceof Array) {
+      for (let i = 0; i < pattern.length; i++) {
+        if (check(pattern[i], t)) { return true }
+      }
+      return false
+    }
+    if (pattern === '*') { return true }
+    if (pattern.indexOf(':') < 0) {
+      if (pattern === t.type) { return true } else { return false }
+    }
+    const tv = `${t.type}:${t.value}`
+    if (pattern === tv) { return true }
+    return false
+  }
+  for (let i = 0; i < typeValues.length; i++) {
+    const idx = i + fromIndex
+    if (idx >= lines.length) { return false }
+    const pat = typeValues[i]
+    const t = lines[idx]
+    if (!check(pat, t)) { return false }
+  }
+  return true
+}
+
+function findTokens (tokens: Token[], findTypeValue: string[]): number {
+  const findA = findTypeValue.map(s => s.split(':'))
+  for (let i = 0; i < tokens.length; i++) {
+    let flag = true
+    for (let j = 0; j < findA.length; j++) {
+      const f = findA[j]
+      const idx = i + j
+      if (idx >= tokens.length) { return -1 }
+      if (tokens[idx].type === f[0] && tokens[idx].value === f[1]) {
+        continue
+      } else {
+        flag = false
+        break
+      }
+    }
+    if (flag) { return i }
+  }
+  return -1
+}
+
+function useDNCL2mode (tokens: Token[]): boolean {
+  // 先頭の100語調べる
+  for (let i = 0; i < tokens.length; i++) {
+    if (i > 100) { break }
+    const t = tokens[i]
+    if (t.type === 'line_comment' && DNCL2_KEYWORDS.indexOf(t.value) >= 0) {
+      t.type = 'DNCL2モード'
+      return true
+    }
+  }
+  return false
+}

package/core/src/nako_gen.mjs

@@ -823,7 +823,7 @@ export class NakoGen {
         // codeInit?
         if (node.checkInit) {
             const arrayDefCode = '[0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0]';
-            codeInit += `\n/*配列初期化*/if (!(${name} instanceof Array)) { ${name} = ${arrayDefCode}; console.log('初期化:${name}') };`;
+            codeInit += `\n/*配列初期化*/if (!(${name} instanceof Array)) { ${name} = ${arrayDefCode}; /*console.log('初期化:${name}')*/ };`;
             for (let i = 0; i < list.length - 1; i++) {
                 const idx = this._convGen(list[i], true);
                 codeArray += `[${idx}]`;

package/core/src/nako_gen.mts

@@ -886,7 +886,7 @@ export class NakoGen {
     // codeInit?
     if (node.checkInit) {
       const arrayDefCode = '[0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0]'
-      codeInit += `\n/*配列初期化*/if (!(${name} instanceof Array)) { ${name} = ${arrayDefCode}; console.log('初期化:${name}') };`
+      codeInit += `\n/*配列初期化*/if (!(${name} instanceof Array)) { ${name} = ${arrayDefCode}; /*console.log('初期化:${name}')*/ };`
       for (let i = 0; i < list.length - 1; i++) {
         const idx = this._convGen(list[i], true)
         codeArray += `[${idx}]`

package/core/src/nako_indent_inline.mjs

@@ -1,6 +1,8 @@
 /** インデント構文を処理するモジュール */
 import { NewEmptyToken } from './nako_types.mjs';
 import { NakoIndentError } from '../src/nako_errors.mjs';
+import { debugTokens, newToken } from './nako_tools.mjs';
+const IS_DEBUG = false;
 function isSkipWord(t) {
     if (t.type === '違えば') {
         return true;
@@ -12,28 +14,62 @@ function isSkipWord(t) {
 }
 /** インラインインデント構文 --- 末尾の":"をインデントを考慮して"ここまで"を挿入 (#1215) */
 export function convertInlineIndent(tokens) {
+    //
+    // 0:もし、A=0ならば:
+    // 2:  もし、B=0ならば:
+    // 4:    「A=0,B=0」を表示。
+    // 2:  違えば:
+    // 4:    「A=0,B!=0」を表示。
+    // 5:違えば:
+    // 6:  「A!=0」を表示。
+    //
     const lines = splitTokens(tokens, 'eol');
     const blockIndents = [];
     let checkICount = -1;
+    let jsonObjLevel = 0;
+    let jsonArrayLevel = 0;
+    const checkJsonSyntax = (line) => {
+        // JSONのオブジェクトがあるか？
+        line.forEach((t) => {
+            if (t.type === '{') {
+                jsonObjLevel++;
+            }
+            if (t.type === '}') {
+                jsonObjLevel--;
+            }
+            if (t.type === '[') {
+                jsonArrayLevel++;
+            }
+            if (t.type === ']') {
+                jsonArrayLevel--;
+            }
+        });
+    };
     for (let i = 0; i < lines.length; i++) {
         const line = lines[i];
-        if (line.length === 0) {
+        // 空行は飛ばす || コメント行だけの行も飛ばす
+        if (IsEmptyLine(line)) {
             continue;
         }
-        if (line[0].type === 'eol') {
+        const leftToken = GetLeftTokens(line);
+        // JSONの途中であればブロックの変更は行わない
+        if (jsonObjLevel > 0 || jsonArrayLevel > 0) {
+            checkJsonSyntax(line);
             continue;
         }
         // インデントの終了を確認する必要があるか？
         if (checkICount >= 0) {
-            const lineICount = lines[i][0].indent;
+            const lineICount = leftToken.indent;
             while (checkICount >= lineICount) {
-                const tFirst = line[0];
-                if (isSkipWord(tFirst)) { // 「違えば」の直前には「ここまで」不要
-                    // 挿入不要
+                const tFirst = leftToken;
+                // console.log('@@', lineICount, '>>', checkICount, tFirst.type)
+                if (isSkipWord(tFirst) && (checkICount === lineICount)) { // 「違えば」や「エラーならば」
+                    // 「ここまで」の挿入不要 / ただしネストした際の「違えば」(上記の5の状態なら必要)
                 }
                 else {
                     // ここまでを挿入する
-                    lines[i - 1].push(NewEmptyToken('ここまで', '', lineICount, tFirst.line));
+                    lines[i - 1].push(newToken('ここまで', 'ここまで', tFirst));
+                    lines[i - 1].push(newToken('eol', '\n', tFirst));
                 }
                 blockIndents.pop();
                 if (blockIndents.length > 0) {
@@ -45,6 +81,12 @@ export function convertInlineIndent(tokens) {
                 }
             }
         }
+        // JSONの途中であればブロックの変更は行わない
+        checkJsonSyntax(line);
+        if (jsonObjLevel > 0 || jsonArrayLevel > 0) {
+            continue;
+        }
+        // 末尾の「:」をチェック
         const tLast = getLastTokenWithoutEOL(line);
         if (tLast.type === ':') {
             // 末尾の「:」を削除
@@ -53,12 +95,27 @@ export function convertInlineIndent(tokens) {
             blockIndents.push(checkICount);
         }
     }
-    if (lines.length > 0) {
+    if (lines.length > 0 && blockIndents.length > 0) {
+        // トークン情報を得るため、直近のトークンを得る
+        let t = tokens[0];
+        for (let i = lines.length - 1; i >= 0; i--) {
+            const line = lines[i];
+            if (line.length > 0) {
+                t = line[line.length - 1];
+                break;
+            }
+        }
+        // ここまでを差し込む
         for (let i = 0; i < blockIndents.length; i++) {
-            lines[lines.length - 1].push(NewEmptyToken('ここまで'));
+            lines[lines.length - 1].push(newToken('ここまで', 'ここまで', t));
+            lines[lines.length - 1].push(newToken('eol', '\n', t));
         }
     }
-    return joinTokenLines(lines);
+    const result = joinTokenLines(lines);
+    if (IS_DEBUG) {
+        console.log('###', debugTokens(result));
+    }
+    return result;
 }
 /** 行ごとに分割していたトークンをくっつける */
 export function joinTokenLines(lines) {
@@ -67,19 +124,9 @@ export function joinTokenLines(lines) {
         for (const t of line) {
             r.push(t);
         }
-        // debug
-        // console.log('@@join=', mkIndent(line[0] ? line[0].indent : 0), line.map(t => (t.type + '_' + t.value + t.josi + ':' + t.indent)).join(' | '))
     }
-    // console.log('@@@-----')
     return r;
 }
-function mkIndent(num) {
-    let s = '';
-    for (let i = 0; i < num; i++) {
-        s += ' ';
-    }
-    return s;
-}
 function getLastTokenWithoutEOL(line) {
     const len = line.length;
     if (len === 0) {
@@ -115,6 +162,31 @@ export function splitTokens(tokens, delimiter) {
     }
     return result;
 }
+/** トークン行が空かどうか調べる */
+function IsEmptyLine(line) {
+    if (line.length === 0) {
+        return true;
+    }
+    for (let j = 0; j < line.length; j++) {
+        const ty = line[j].type;
+        if (ty === 'eol' || ty === 'line_comment' || ty === 'range_comment') {
+            continue;
+        }
+        return false;
+    }
+    return true;
+}
+/** コメントを除去した最初のトークンを返す */
+function GetLeftTokens(line) {
+    for (let i = 0; i < line.length; i++) {
+        const t = line[i].type;
+        if (t === 'eol' || t === 'line_comment' || t === 'range_comment') {
+            continue;
+        }
+        return line[i];
+    }
+    return line[0];
+}
 // インデント構文のキーワード
 const INDENT_MODE_KEYWORDS = ['!インデント構文', '!ここまでだるい', '💡インデント構文', '💡ここまでだるい'];
 /** インデント構文 --- インデントを見て"ここまで"を自動挿入 (#596) */
@@ -130,18 +202,44 @@ export function convertIndentSyntax(tokens) {
             throw new NakoIndentError('インデント構文が有効化されているときに『ここまで』を使うことはできません。', t.line, t.file);
         }
     }
+    // JSON構文のチェック
+    let jsonObjLevel = 0;
+    let jsonArrayLevel = 0;
+    const checkJsonSyntax = (line) => {
+        // JSONのオブジェクトがあるか？
+        line.forEach((t) => {
+            if (t.type === '{') {
+                jsonObjLevel++;
+            }
+            if (t.type === '}') {
+                jsonObjLevel--;
+            }
+            if (t.type === '[') {
+                jsonArrayLevel++;
+            }
+            if (t.type === ']') {
+                jsonArrayLevel--;
+            }
+        });
+    };
+    // 行ごとにトークンを分割
     const blockIndents = [];
     const lines = splitTokens(tokens, 'eol');
     let lastI = 0;
+    // 各行を確認する
     for (let i = 0; i < lines.length; i++) {
         const line = lines[i];
-        if (line.length === 0) {
+        // 空行は飛ばす || コメント行だけの行も飛ばす
+        if (IsEmptyLine(line)) {
             continue;
-        } // 空行は飛ばす
-        if (line[0].type === 'eol') {
+        }
+        // JSON構文のチェック
+        if (jsonArrayLevel > 0 || jsonObjLevel > 0) {
+            checkJsonSyntax(line);
             continue;
-        } // 空行は飛ばす
-        const curI = line[0].indent;
+        }
+        const leftToken = GetLeftTokens(line);
+        const curI = leftToken.indent;
         if (curI === lastI) {
             continue;
         }
@@ -155,16 +253,19 @@ export function convertIndentSyntax(tokens) {
         // ブロックの終了?
         if (lastI >= 0) {
             while (lastI > curI) {
-                if (isSkipWord(line[0])) {
-                    // 「違えば」などなら不要
+                const blockIndentTopLast = blockIndents[blockIndents.length - 1][1];
+                // console.log('@@[', i, ']', lastI, '>', curI, '@', blockIndentTopLast, leftToken.type)
+                if (isSkipWord(leftToken) && blockIndentTopLast === curI) {
+                    // 「違えば」などなら不要 (ただし、違えばがネストしている場合は必要)
                 }
                 else {
-                    lines[i - 1].push(NewEmptyToken('ここまで'));
+                    const t = lines[i - 1][0];
+                    lines[i - 1].push(newToken('ここまで', 'ここまで', t));
+                    lines[i - 1].push(newToken('eol', '\n', t));
                 }
-                // console.log('@@@pop', lastI, '>=', curI, ':', line[0])
                 blockIndents.pop();
                 if (blockIndents.length > 0) {
-                    lastI = blockIndents[blockIndents.length - 1];
+                    lastI = blockIndents[blockIndents.length - 1][0];
                 }
                 else {
                     lastI = 0;
@@ -172,19 +273,36 @@ export function convertIndentSyntax(tokens) {
                 }
             }
         }
+        if (jsonArrayLevel > 0 || jsonObjLevel > 0) {
+            continue;
+        }
+        // JSON構文のチェック
+        checkJsonSyntax(line);
         // ブロックの開始？
         if (curI > lastI) {
-            blockIndents.push(curI);
+            blockIndents.push([curI, lastI]);
             // console.log('@@@push', curI)
             lastI = curI;
             continue;
         }
     }
+    // 末尾に「ここまで」を追加する
     for (let i = 0; i < blockIndents.length; i++) {
-        lines[lines.length - 1].push(NewEmptyToken('ここまで'));
+        // トークン情報を得るため、直近のトークンを得る
+        let t = tokens[0];
+        for (let i = lines.length - 1; i >= 0; i--) {
+            const line = lines[i];
+            if (line.length > 0) {
+                t = line[line.length - 1];
+                break;
+            }
+        }
+        lines[lines.length - 1].push(newToken('ここまで', 'ここまで', t));
+        lines[lines.length - 1].push(newToken('eol', '\n', t));
     }
-    // 再構築
-    return joinTokenLines(lines);
+    const result = joinTokenLines(lines);
+    // console.log('###', debugTokens(result))
+    return result;
 }
 function useIndentSynax(tokens) {
     // インデント構文が必要かチェック (最初の100個をチェック)