nadesiko3
Version:
Japanese Programming Language
1,249 lines (1,157 loc) • 102 kB
text/typescript
/**
* パーサーが生成した中間オブジェクトを実際のJavaScriptのコードに変換する。
* なお速度優先で忠実にJavaScriptのコードを生成する。
*/
import { NakoSyntaxError } from './nako_errors.mjs'
import { FuncList, FuncArgs, FuncListItem, NakoDebugOption } from './nako_types.mjs'
import { Ast, AstEol, AstStrValue, AstBlocks, AstOperator, AstConst, AstLet, AstLetArray, AstIf, AstWhile, AstAtohantei, AstFor, AstForeach, AstSwitch, AstRepeatTimes, AstDefFunc, AstCallFunc, AstDefVar, AstDefVarList } from './nako_ast.mjs'
import { NakoCompiler } from './nako3.mjs'
// なでしこで定義した関数の開始コードと終了コード
const topOfFunction = '(function(){\n'
const endOfFunction = '})'
const topOfFunctionAsync = '(async function(){\n'
interface VarsSet {
isFunction: boolean;
names: Set<string>;
readonly: Set<string>;
}
interface SpeedMode {
lineNumbers: number; // 行番号を出力しない
implicitTypeCasting: number; // 数値加算でparseFloatを出力しない
invalidSore: number; // 「それ」を用いない
forcePure: number; // 全てのシステム命令をpureとして扱う。命令からローカル変数への参照が出来なくなる。
}
interface PerformanceMonitor {
userFunction: number; // 呼び出されたユーザ関数
systemFunction: number; // システム関数(呼び出しコードを含む)
systemFunctionBody: number; // システム関数(呼び出しコードを除く)
mumeiId: number;
}
interface FindVarResult {
i: number;
name: string;
isTop: boolean;
js: string,
js_set: string
}
/** コード生成オプション */
export class NakoGenOptions {
isTest: boolean
importFiles: string[]
codeStandalone: string
codeEnv: string
constructor(isTest = false, importFiles: string[] = [], codeStandalone = '', convEnv = '') {
this.isTest = isTest
this.codeStandalone = codeStandalone
this.codeEnv = convEnv
this.importFiles = ['plugin_system.mjs', 'plugin_math.mjs', 'plugin_csv.mjs', 'plugin_promise.mjs', 'plugin_test.mjs']
for (const fname of importFiles) {
this.importFiles.push(fname)
}
}
}
/**
* 構文木からJSのコードを生成するクラス
*/
export class NakoGen {
private nakoFuncList: FuncList // なでしこ自身で定義した関数の一覧
private nakoTestFuncs: FuncList // テストのための関数
private usedFuncSet: Set<string> // 利用があった関数をメモする
private usedAsyncFn: boolean // 非同期関数が使われているか判定
private loopId: number // ループを生成する際にダミーのループ変数を管理するため
private flagLoop: boolean // 変換中のソースがループの中かどうかを判定する
private constPools: Array<any> // 定数プール用
private constPoolsTemplate: string[] // 定数プール生成用テンプレート
private defFuncName: string // 関数定義中の関数名
// コード生成オプション
private speedMode: SpeedMode
private performanceMonitor: PerformanceMonitor
private warnUndefinedVar: boolean
private warnUndefinedReturnUserFunc: boolean
private warnUndefinedCallingUserFunc: boolean
private warnUndefinedCallingSystemFunc: boolean
private warnUndefinedCalledUserFuncArgs: boolean
// 変数管理
private varslistSet: VarsSet[] // [システム変数一覧, グローバル変数一覧, ローカル変数一覧]で変数セットを記録
private varsSet: VarsSet // ローカルな変数を記録
public debugOption: NakoDebugOption
// public
numAsyncFn: number
__self: NakoCompiler
genMode: string
lastLineNo: string | null // `l123:main.nako3`形式
/** constructor
* @param com コンパイラのインスタンス
*/
constructor(com: NakoCompiler) {
/**
* 出力するJavaScriptコードのヘッダー部分で定義する必要のある関数。fnはjsのコード。
* プラグイン関数は含まれない。
*/
this.nakoFuncList = new Map(com.getNakoFuncList())
/**
* なでしこで定義したテストの一覧
*/
this.nakoTestFuncs = new Map()
/**
* プログラム内で参照された関数のリスト。プラグインの命令を含む。
* JavaScript単体で実行するとき、このリストにある関数の定義をJavaScriptコードの先頭に付け足す。
*/
this.usedFuncSet = new Set()
/**
* ループ時の一時変数が被らないようにIDで管理
*/
this.loopId = 1
/**
* 非同関数を何回使ったか
*/
this.numAsyncFn = 0
/**
* 関数定義の際、関数の中でasyncFn=trueの関数を呼び出したかどうかを調べる @see convDefFuncCommon
*/
this.usedAsyncFn = false
/** 変換中の処理が、ループの中かどうかを判定する */
this.flagLoop = false
this.__self = com
/** コードジェネレータの種類 */
this.genMode = 'sync'
/** 行番号とファイル名が分かるときは `l123:main.nako3`、行番号だけ分かるときは `l123`、そうでなければ任意の文字列。 */
this.lastLineNo = null
/** スタック */
this.varslistSet = this.setVarslistSet(com.__varslist)
/** スタックトップ */
this.varsSet = { isFunction: false, names: new Set(), readonly: new Set() }
this.varslistSet[2] = this.varsSet
// 現在定義中の関数名
this.defFuncName = ''
// 1以上のとき高速化する。
// 実行速度優先ブロック内で1増える。
this.speedMode = {
lineNumbers: 0, // 行番号を出力しない
implicitTypeCasting: 0, // 数値加算でparseFloatを出力しない
invalidSore: 0, // 「それ」を用いない
forcePure: 0 // 全てのシステム命令をpureとして扱う。命令からローカル変数への参照が出来なくなる。
}
// 1以上のとき測定をinjectする。
// パフォーマンスモニタのブロック内で1増える。
this.performanceMonitor = {
userFunction: 0, // 呼び出されたユーザ関数
systemFunction: 0, // システム関数(呼び出しコードを含む)
systemFunctionBody: 0, // システム関数(呼び出しコードを除く)
mumeiId: 0
}
/**
* 未定義の変数の警告を行う
*/
this.constPools = []
this.constPoolsTemplate = []
// undefinedの警告制御 (「厳しくチェック」でオンになる)
this.warnUndefinedVar = false
this.warnUndefinedReturnUserFunc = false
this.warnUndefinedCallingUserFunc = false
this.warnUndefinedCallingSystemFunc = false
this.warnUndefinedCalledUserFuncArgs = false
this.debugOption = com.debugOption
}
static isValidIdentifier(name: string) {
// TODO: いらなそうな部分は削る
// https://stackoverflow.com/a/9337047
// eslint-disable-next-line no-misleading-character-class
return /^(?!(?:do|if|in|for|let|new|try|var|case|else|enum|eval|false|null|this|true|void|with|break|catch|class|const|super|throw|while|yield|delete|export|import|public|return|static|switch|typeof|default|extends|finally|package|private|continue|debugger|function|arguments|interface|protected|implements|instanceof)$)[$A-Z_a-z\xaa\xb5\xba\xc0-\xd6\xd8-\xf6\xf8-\u02c1\u02c6-\u02d1\u02e0-\u02e4\u02ec\u02ee\u0370-\u0374\u0376\u0377\u037a-\u037d\u0386\u0388-\u038a\u038c\u038e-\u03a1\u03a3-\u03f5\u03f7-\u0481\u048a-\u0527\u0531-\u0556\u0559\u0561-\u0587\u05d0-\u05ea\u05f0-\u05f2\u0620-\u064a\u066e\u066f\u0671-\u06d3\u06d5\u06e5\u06e6\u06ee\u06ef\u06fa-\u06fc\u06ff\u0710\u0712-\u072f\u074d-\u07a5\u07b1\u07ca-\u07ea\u07f4\u07f5\u07fa\u0800-\u0815\u081a\u0824\u0828\u0840-\u0858\u08a0\u08a2-\u08ac\u0904-\u0939\u093d\u0950\u0958-\u0961\u0971-\u0977\u0979-\u097f\u0985-\u098c\u098f\u0990\u0993-\u09a8\u09aa-\u09b0\u09b2\u09b6-\u09b9\u09bd\u09ce\u09dc\u09dd\u09df-\u09e1\u09f0\u09f1\u0a05-\u0a0a\u0a0f\u0a10\u0a13-\u0a28\u0a2a-\u0a30\u0a32\u0a33\u0a35\u0a36\u0a38\u0a39\u0a59-\u0a5c\u0a5e\u0a72-\u0a74\u0a85-\u0a8d\u0a8f-\u0a91\u0a93-\u0aa8\u0aaa-\u0ab0\u0ab2\u0ab3\u0ab5-\u0ab9\u0abd\u0ad0\u0ae0\u0ae1\u0b05-\u0b0c\u0b0f\u0b10\u0b13-\u0b28\u0b2a-\u0b30\u0b32\u0b33\u0b35-\u0b39\u0b3d\u0b5c\u0b5d\u0b5f-\u0b61\u0b71\u0b83\u0b85-\u0b8a\u0b8e-\u0b90\u0b92-\u0b95\u0b99\u0b9a\u0b9c\u0b9e\u0b9f\u0ba3\u0ba4\u0ba8-\u0baa\u0bae-\u0bb9\u0bd0\u0c05-\u0c0c\u0c0e-\u0c10\u0c12-\u0c28\u0c2a-\u0c33\u0c35-\u0c39\u0c3d\u0c58\u0c59\u0c60\u0c61\u0c85-\u0c8c\u0c8e-\u0c90\u0c92-\u0ca8\u0caa-\u0cb3\u0cb5-\u0cb9\u0cbd\u0cde\u0ce0\u0ce1\u0cf1\u0cf2\u0d05-\u0d0c\u0d0e-\u0d10\u0d12-\u0d3a\u0d3d\u0d4e\u0d60\u0d61\u0d7a-\u0d7f\u0d85-\u0d96\u0d9a-\u0db1\u0db3-\u0dbb\u0dbd\u0dc0-\u0dc6\u0e01-\u0e30\u0e32\u0e33\u0e40-\u0e46\u0e81\u0e82\u0e84\u0e87\u0e88\u0e8a\u0e8d\u0e94-\u0e97\u0e99-\u0e9f\u0ea1-\u0ea3\u0ea5\u0ea7\u0eaa\u0eab\u0ead-\u0eb0\u0eb2\u0eb3\u0ebd\u0ec0-\u0ec4\u0ec6\u0edc-\u0edf\u0f00\u0f40-\u0f47\u0f49-\u0f6c\u0f88-\u0f8c\u1000-\u102a\u103f\u1050-\u1055\u105a-\u105d\u1061\u1065\u1066\u106e-\u1070\u1075-\u1081\u108e\u10a0-\u10c5\u10c7\u10cd\u10d0-\u10fa\u10fc-\u1248\u124a-\u124d\u1250-\u1256\u1258\u125a-\u125d\u1260-\u1288\u128a-\u128d\u1290-\u12b0\u12b2-\u12b5\u12b8-\u12be\u12c0\u12c2-\u12c5\u12c8-\u12d6\u12d8-\u1310\u1312-\u1315\u1318-\u135a\u1380-\u138f\u13a0-\u13f4\u1401-\u166c\u166f-\u167f\u1681-\u169a\u16a0-\u16ea\u16ee-\u16f0\u1700-\u170c\u170e-\u1711\u1720-\u1731\u1740-\u1751\u1760-\u176c\u176e-\u1770\u1780-\u17b3\u17d7\u17dc\u1820-\u1877\u1880-\u18a8\u18aa\u18b0-\u18f5\u1900-\u191c\u1950-\u196d\u1970-\u1974\u1980-\u19ab\u19c1-\u19c7\u1a00-\u1a16\u1a20-\u1a54\u1aa7\u1b05-\u1b33\u1b45-\u1b4b\u1b83-\u1ba0\u1bae\u1baf\u1bba-\u1be5\u1c00-\u1c23\u1c4d-\u1c4f\u1c5a-\u1c7d\u1ce9-\u1cec\u1cee-\u1cf1\u1cf5\u1cf6\u1d00-\u1dbf\u1e00-\u1f15\u1f18-\u1f1d\u1f20-\u1f45\u1f48-\u1f4d\u1f50-\u1f57\u1f59\u1f5b\u1f5d\u1f5f-\u1f7d\u1f80-\u1fb4\u1fb6-\u1fbc\u1fbe\u1fc2-\u1fc4\u1fc6-\u1fcc\u1fd0-\u1fd3\u1fd6-\u1fdb\u1fe0-\u1fec\u1ff2-\u1ff4\u1ff6-\u1ffc\u2071\u207f\u2090-\u209c\u2102\u2107\u210a-\u2113\u2115\u2119-\u211d\u2124\u2126\u2128\u212a-\u212d\u212f-\u2139\u213c-\u213f\u2145-\u2149\u214e\u2160-\u2188\u2c00-\u2c2e\u2c30-\u2c5e\u2c60-\u2ce4\u2ceb-\u2cee\u2cf2\u2cf3\u2d00-\u2d25\u2d27\u2d2d\u2d30-\u2d67\u2d6f\u2d80-\u2d96\u2da0-\u2da6\u2da8-\u2dae\u2db0-\u2db6\u2db8-\u2dbe\u2dc0-\u2dc6\u2dc8-\u2dce\u2dd0-\u2dd6\u2dd8-\u2dde\u2e2f\u3005-\u3007\u3021-\u3029\u3031-\u3035\u3038-\u303c\u3041-\u3096\u309d-\u309f\u30a1-\u30fa\u30fc-\u30ff\u3105-\u312d\u3131-\u318e\u31a0-\u31ba\u31f0-\u31ff\u3400-\u4db5\u4e00-\u9fcc\ua000-\ua48c\ua4d0-\ua4fd\ua500-\ua60c\ua610-\ua61f\ua62a\ua62b\ua640-\ua66e\ua67f-\ua697\ua6a0-\ua6ef\ua717-\ua71f\ua722-\ua788\ua78b-\ua78e\ua790-\ua793\ua7a0-\ua7aa\ua7f8-\ua801\ua803-\ua805\ua807-\ua80a\ua80c-\ua822\ua840-\ua873\ua882-\ua8b3\ua8f2-\ua8f7\ua8fb\ua90a-\ua925\ua930-\ua946\ua960-\ua97c\ua984-\ua9b2\ua9cf\uaa00-\uaa28\uaa40-\uaa42\uaa44-\uaa4b\uaa60-\uaa76\uaa7a\uaa80-\uaaaf\uaab1\uaab5\uaab6\uaab9-\uaabd\uaac0\uaac2\uaadb-\uaadd\uaae0-\uaaea\uaaf2-\uaaf4\uab01-\uab06\uab09-\uab0e\uab11-\uab16\uab20-\uab26\uab28-\uab2e\uabc0-\uabe2\uac00-\ud7a3\ud7b0-\ud7c6\ud7cb-\ud7fb\uf900-\ufa6d\ufa70-\ufad9\ufb00-\ufb06\ufb13-\ufb17\ufb1d\ufb1f-\ufb28\ufb2a-\ufb36\ufb38-\ufb3c\ufb3e\ufb40\ufb41\ufb43\ufb44\ufb46-\ufbb1\ufbd3-\ufd3d\ufd50-\ufd8f\ufd92-\ufdc7\ufdf0-\ufdfb\ufe70-\ufe74\ufe76-\ufefc\uff21-\uff3a\uff41-\uff5a\uff66-\uffbe\uffc2-\uffc7\uffca-\uffcf\uffd2-\uffd7\uffda-\uffdc][$A-Z_a-z\xaa\xb5\xba\xc0-\xd6\xd8-\xf6\xf8-\u02c1\u02c6-\u02d1\u02e0-\u02e4\u02ec\u02ee\u0370-\u0374\u0376\u0377\u037a-\u037d\u0386\u0388-\u038a\u038c\u038e-\u03a1\u03a3-\u03f5\u03f7-\u0481\u048a-\u0527\u0531-\u0556\u0559\u0561-\u0587\u05d0-\u05ea\u05f0-\u05f2\u0620-\u064a\u066e\u066f\u0671-\u06d3\u06d5\u06e5\u06e6\u06ee\u06ef\u06fa-\u06fc\u06ff\u0710\u0712-\u072f\u074d-\u07a5\u07b1\u07ca-\u07ea\u07f4\u07f5\u07fa\u0800-\u0815\u081a\u0824\u0828\u0840-\u0858\u08a0\u08a2-\u08ac\u0904-\u0939\u093d\u0950\u0958-\u0961\u0971-\u0977\u0979-\u097f\u0985-\u098c\u098f\u0990\u0993-\u09a8\u09aa-\u09b0\u09b2\u09b6-\u09b9\u09bd\u09ce\u09dc\u09dd\u09df-\u09e1\u09f0\u09f1\u0a05-\u0a0a\u0a0f\u0a10\u0a13-\u0a28\u0a2a-\u0a30\u0a32\u0a33\u0a35\u0a36\u0a38\u0a39\u0a59-\u0a5c\u0a5e\u0a72-\u0a74\u0a85-\u0a8d\u0a8f-\u0a91\u0a93-\u0aa8\u0aaa-\u0ab0\u0ab2\u0ab3\u0ab5-\u0ab9\u0abd\u0ad0\u0ae0\u0ae1\u0b05-\u0b0c\u0b0f\u0b10\u0b13-\u0b28\u0b2a-\u0b30\u0b32\u0b33\u0b35-\u0b39\u0b3d\u0b5c\u0b5d\u0b5f-\u0b61\u0b71\u0b83\u0b85-\u0b8a\u0b8e-\u0b90\u0b92-\u0b95\u0b99\u0b9a\u0b9c\u0b9e\u0b9f\u0ba3\u0ba4\u0ba8-\u0baa\u0bae-\u0bb9\u0bd0\u0c05-\u0c0c\u0c0e-\u0c10\u0c12-\u0c28\u0c2a-\u0c33\u0c35-\u0c39\u0c3d\u0c58\u0c59\u0c60\u0c61\u0c85-\u0c8c\u0c8e-\u0c90\u0c92-\u0ca8\u0caa-\u0cb3\u0cb5-\u0cb9\u0cbd\u0cde\u0ce0\u0ce1\u0cf1\u0cf2\u0d05-\u0d0c\u0d0e-\u0d10\u0d12-\u0d3a\u0d3d\u0d4e\u0d60\u0d61\u0d7a-\u0d7f\u0d85-\u0d96\u0d9a-\u0db1\u0db3-\u0dbb\u0dbd\u0dc0-\u0dc6\u0e01-\u0e30\u0e32\u0e33\u0e40-\u0e46\u0e81\u0e82\u0e84\u0e87\u0e88\u0e8a\u0e8d\u0e94-\u0e97\u0e99-\u0e9f\u0ea1-\u0ea3\u0ea5\u0ea7\u0eaa\u0eab\u0ead-\u0eb0\u0eb2\u0eb3\u0ebd\u0ec0-\u0ec4\u0ec6\u0edc-\u0edf\u0f00\u0f40-\u0f47\u0f49-\u0f6c\u0f88-\u0f8c\u1000-\u102a\u103f\u1050-\u1055\u105a-\u105d\u1061\u1065\u1066\u106e-\u1070\u1075-\u1081\u108e\u10a0-\u10c5\u10c7\u10cd\u10d0-\u10fa\u10fc-\u1248\u124a-\u124d\u1250-\u1256\u1258\u125a-\u125d\u1260-\u1288\u128a-\u128d\u1290-\u12b0\u12b2-\u12b5\u12b8-\u12be\u12c0\u12c2-\u12c5\u12c8-\u12d6\u12d8-\u1310\u1312-\u1315\u1318-\u135a\u1380-\u138f\u13a0-\u13f4\u1401-\u166c\u166f-\u167f\u1681-\u169a\u16a0-\u16ea\u16ee-\u16f0\u1700-\u170c\u170e-\u1711\u1720-\u1731\u1740-\u1751\u1760-\u176c\u176e-\u1770\u1780-\u17b3\u17d7\u17dc\u1820-\u1877\u1880-\u18a8\u18aa\u18b0-\u18f5\u1900-\u191c\u1950-\u196d\u1970-\u1974\u1980-\u19ab\u19c1-\u19c7\u1a00-\u1a16\u1a20-\u1a54\u1aa7\u1b05-\u1b33\u1b45-\u1b4b\u1b83-\u1ba0\u1bae\u1baf\u1bba-\u1be5\u1c00-\u1c23\u1c4d-\u1c4f\u1c5a-\u1c7d\u1ce9-\u1cec\u1cee-\u1cf1\u1cf5\u1cf6\u1d00-\u1dbf\u1e00-\u1f15\u1f18-\u1f1d\u1f20-\u1f45\u1f48-\u1f4d\u1f50-\u1f57\u1f59\u1f5b\u1f5d\u1f5f-\u1f7d\u1f80-\u1fb4\u1fb6-\u1fbc\u1fbe\u1fc2-\u1fc4\u1fc6-\u1fcc\u1fd0-\u1fd3\u1fd6-\u1fdb\u1fe0-\u1fec\u1ff2-\u1ff4\u1ff6-\u1ffc\u2071\u207f\u2090-\u209c\u2102\u2107\u210a-\u2113\u2115\u2119-\u211d\u2124\u2126\u2128\u212a-\u212d\u212f-\u2139\u213c-\u213f\u2145-\u2149\u214e\u2160-\u2188\u2c00-\u2c2e\u2c30-\u2c5e\u2c60-\u2ce4\u2ceb-\u2cee\u2cf2\u2cf3\u2d00-\u2d25\u2d27\u2d2d\u2d30-\u2d67\u2d6f\u2d80-\u2d96\u2da0-\u2da6\u2da8-\u2dae\u2db0-\u2db6\u2db8-\u2dbe\u2dc0-\u2dc6\u2dc8-\u2dce\u2dd0-\u2dd6\u2dd8-\u2dde\u2e2f\u3005-\u3007\u3021-\u3029\u3031-\u3035\u3038-\u303c\u3041-\u3096\u309d-\u309f\u30a1-\u30fa\u30fc-\u30ff\u3105-\u312d\u3131-\u318e\u31a0-\u31ba\u31f0-\u31ff\u3400-\u4db5\u4e00-\u9fcc\ua000-\ua48c\ua4d0-\ua4fd\ua500-\ua60c\ua610-\ua61f\ua62a\ua62b\ua640-\ua66e\ua67f-\ua697\ua6a0-\ua6ef\ua717-\ua71f\ua722-\ua788\ua78b-\ua78e\ua790-\ua793\ua7a0-\ua7aa\ua7f8-\ua801\ua803-\ua805\ua807-\ua80a\ua80c-\ua822\ua840-\ua873\ua882-\ua8b3\ua8f2-\ua8f7\ua8fb\ua90a-\ua925\ua930-\ua946\ua960-\ua97c\ua984-\ua9b2\ua9cf\uaa00-\uaa28\uaa40-\uaa42\uaa44-\uaa4b\uaa60-\uaa76\uaa7a\uaa80-\uaaaf\uaab1\uaab5\uaab6\uaab9-\uaabd\uaac0\uaac2\uaadb-\uaadd\uaae0-\uaaea\uaaf2-\uaaf4\uab01-\uab06\uab09-\uab0e\uab11-\uab16\uab20-\uab26\uab28-\uab2e\uabc0-\uabe2\uac00-\ud7a3\ud7b0-\ud7c6\ud7cb-\ud7fb\uf900-\ufa6d\ufa70-\ufad9\ufb00-\ufb06\ufb13-\ufb17\ufb1d\ufb1f-\ufb28\ufb2a-\ufb36\ufb38-\ufb3c\ufb3e\ufb40\ufb41\ufb43\ufb44\ufb46-\ufbb1\ufbd3-\ufd3d\ufd50-\ufd8f\ufd92-\ufdc7\ufdf0-\ufdfb\ufe70-\ufe74\ufe76-\ufefc\uff21-\uff3a\uff41-\uff5a\uff66-\uffbe\uffc2-\uffc7\uffca-\uffcf\uffd2-\uffd7\uffda-\uffdc0-9\u0300-\u036f\u0483-\u0487\u0591-\u05bd\u05bf\u05c1\u05c2\u05c4\u05c5\u05c7\u0610-\u061a\u064b-\u0669\u0670\u06d6-\u06dc\u06df-\u06e4\u06e7\u06e8\u06ea-\u06ed\u06f0-\u06f9\u0711\u0730-\u074a\u07a6-\u07b0\u07c0-\u07c9\u07eb-\u07f3\u0816-\u0819\u081b-\u0823\u0825-\u0827\u0829-\u082d\u0859-\u085b\u08e4-\u08fe\u0900-\u0903\u093a-\u093c\u093e-\u094f\u0951-\u0957\u0962\u0963\u0966-\u096f\u0981-\u0983\u09bc\u09be-\u09c4\u09c7\u09c8\u09cb-\u09cd\u09d7\u09e2\u09e3\u09e6-\u09ef\u0a01-\u0a03\u0a3c\u0a3e-\u0a42\u0a47\u0a48\u0a4b-\u0a4d\u0a51\u0a66-\u0a71\u0a75\u0a81-\u0a83\u0abc\u0abe-\u0ac5\u0ac7-\u0ac9\u0acb-\u0acd\u0ae2\u0ae3\u0ae6-\u0aef\u0b01-\u0b03\u0b3c\u0b3e-\u0b44\u0b47\u0b48\u0b4b-\u0b4d\u0b56\u0b57\u0b62\u0b63\u0b66-\u0b6f\u0b82\u0bbe-\u0bc2\u0bc6-\u0bc8\u0bca-\u0bcd\u0bd7\u0be6-\u0bef\u0c01-\u0c03\u0c3e-\u0c44\u0c46-\u0c48\u0c4a-\u0c4d\u0c55\u0c56\u0c62\u0c63\u0c66-\u0c6f\u0c82\u0c83\u0cbc\u0cbe-\u0cc4\u0cc6-\u0cc8\u0cca-\u0ccd\u0cd5\u0cd6\u0ce2\u0ce3\u0ce6-\u0cef\u0d02\u0d03\u0d3e-\u0d44\u0d46-\u0d48\u0d4a-\u0d4d\u0d57\u0d62\u0d63\u0d66-\u0d6f\u0d82\u0d83\u0dca\u0dcf-\u0dd4\u0dd6\u0dd8-\u0ddf\u0df2\u0df3\u0e31\u0e34-\u0e3a\u0e47-\u0e4e\u0e50-\u0e59\u0eb1\u0eb4-\u0eb9\u0ebb\u0ebc\u0ec8-\u0ecd\u0ed0-\u0ed9\u0f18\u0f19\u0f20-\u0f29\u0f35\u0f37\u0f39\u0f3e\u0f3f\u0f71-\u0f84\u0f86\u0f87\u0f8d-\u0f97\u0f99-\u0fbc\u0fc6\u102b-\u103e\u1040-\u1049\u1056-\u1059\u105e-\u1060\u1062-\u1064\u1067-\u106d\u1071-\u1074\u1082-\u108d\u108f-\u109d\u135d-\u135f\u1712-\u1714\u1732-\u1734\u1752\u1753\u1772\u1773\u17b4-\u17d3\u17dd\u17e0-\u17e9\u180b-\u180d\u1810-\u1819\u18a9\u1920-\u192b\u1930-\u193b\u1946-\u194f\u19b0-\u19c0\u19c8\u19c9\u19d0-\u19d9\u1a17-\u1a1b\u1a55-\u1a5e\u1a60-\u1a7c\u1a7f-\u1a89\u1a90-\u1a99\u1b00-\u1b04\u1b34-\u1b44\u1b50-\u1b59\u1b6b-\u1b73\u1b80-\u1b82\u1ba1-\u1bad\u1bb0-\u1bb9\u1be6-\u1bf3\u1c24-\u1c37\u1c40-\u1c49\u1c50-\u1c59\u1cd0-\u1cd2\u1cd4-\u1ce8\u1ced\u1cf2-\u1cf4\u1dc0-\u1de6\u1dfc-\u1dff\u200c\u200d\u203f\u2040\u2054\u20d0-\u20dc\u20e1\u20e5-\u20f0\u2cef-\u2cf1\u2d7f\u2de0-\u2dff\u302a-\u302f\u3099\u309a\ua620-\ua629\ua66f\ua674-\ua67d\ua69f\ua6f0\ua6f1\ua802\ua806\ua80b\ua823-\ua827\ua880\ua881\ua8b4-\ua8c4\ua8d0-\ua8d9\ua8e0-\ua8f1\ua900-\ua909\ua926-\ua92d\ua947-\ua953\ua980-\ua983\ua9b3-\ua9c0\ua9d0-\ua9d9\uaa29-\uaa36\uaa43\uaa4c\uaa4d\uaa50-\uaa59\uaa7b\uaab0\uaab2-\uaab4\uaab7\uaab8\uaabe\uaabf\uaac1\uaaeb-\uaaef\uaaf5\uaaf6\uabe3-\uabea\uabec\uabed\uabf0-\uabf9\ufb1e\ufe00-\ufe0f\ufe20-\ufe26\ufe33\ufe34\ufe4d-\ufe4f\uff10-\uff19\uff3f]*$/.test(name)
}
/**
* com.__varslistを元に、this.varslistSetを設定
*/
setVarslistSet(varslist: Map<string, any>[]): VarsSet[] {
const vlist: VarsSet[] = []
// 変数名の一覧をVarsSetに格納 (0: システム変数, 1: グローバル変数, 2: ローカル変数) 0と1のみ移す
for (let i = 0; i <= 1; i++) {
const scope: Map<string, any> = varslist[i]
const names = new Set(scope.keys())
names.delete('meta') // remove 'meta' from names
vlist[i] = { isFunction: false, names, readonly: new Set() }
}
return vlist
}
/**
* 改行を埋め込む
*/
convLineno(node: Ast, forceUpdate = false, incLine = 0): string {
// スピードモードでは行番号を埋め込まない
if (this.speedMode.lineNumbers > 0) { return '' }
const lineNo: number = node.line + incLine
let lineNoStr: string
if (typeof node.line !== 'number') {
lineNoStr = 'unknown'
} else if (typeof node.file !== 'string') {
lineNoStr = `l${lineNo}`
} else {
lineNoStr = `l${lineNo}:${node.file}`
}
// 強制的に行番号をアップデートするか
if (!forceUpdate) {
if (lineNoStr === this.lastLineNo) { return '' }
this.lastLineNo = lineNoStr
}
// 実行行のデータ
const lineDataJSON = JSON.stringify(lineNoStr)
// デバッグ実行か
let debugCode = ''
if (this.debugOption.useDebug) {
// messageAction
if (this.debugOption.messageAction) {
debugCode += `window.postMessage({action:'${this.debugOption.messageAction}',` +
`line: ${lineDataJSON}});`
}
// waitTime
if (lineNo >= 1) {
if (this.debugOption.waitTime > 0) {
debugCode += `await __v0.get('秒待')(${this.debugOption.waitTime},__self);`
}
// breakpoints
this.numAsyncFn += 1
this.usedAsyncFn = true
debugCode += `await __v0.get('__DEBUG_BP_WAIT')(${lineNo}, __self);`
}
// end
debugCode += 'if (__v0.get(\'__forceClose\')) { return -1 };'
}
// 例: __v0.set('__line', 'l1:main.nako3')
// return `__v0.set('__line', ${lineDataJSON});` + debugCode
return `__line(${lineDataJSON});` + debugCode
}
/**
* ローカル変数の取得用JavaScriptコードを生成する。
* @param {string} name
*/
varname_get(name: string): string {
if (this.varslistSet.length === 3) {
// グローバル
return `__self.__varslist[${2}].get(${JSON.stringify(name)})`
} else {
// ローカル
return `__self.__vars.get(${JSON.stringify(name)})`
}
}
/**
* ローカル変数の設定用JavaScriptコードを生成する。
* @param {string} name
* @param {string} jsvalue
*/
varname_set(name: string, jsvalue: string): string {
if (this.varslistSet.length === 3) {
return `__self.__varslist[2].set(${JSON.stringify(name)}, (${jsvalue}))`
} else {
return `__self.__vars.set(${JSON.stringify(name)}, (${jsvalue}))`
}
}
/**
* ローカル変数の設定用JavaScriptコードを生成する。
* @param {string} name
* @param {string} jsvalue
*/
varname_set_sys(name: string, jsvalue: string): string {
return `__self.__setSysVar(${JSON.stringify(name)}, (${jsvalue}))`
}
/**
* @param {string} name
* @returns {string}
*/
static getFuncName(name: string): string {
if (name.indexOf('__') >= 0) { // スコープがある場合
const a = name.split('__')
const scope = a[0]
const name3 = NakoGen.getFuncName(a[1])
return `${scope}__${name3}`
}
let name2 = name.replace(/[ぁ-ん]+$/, '')
if (name2 === '') { name2 = name }
return name2
}
/** @param {Ast} node */
static convPrint(node: Ast): string {
return `__print(${node});`
}
/** @param {AstStrValue} node */
convRequire(node: AstStrValue): string {
const moduleName = node.value
return this.convLineno(node, false) +
`__module['${moduleName}'] = require('${moduleName}');\n`
}
/**
* プログラムの実行に必要な関数定義を書き出す(グローバル領域)
* convGenの結果を利用するため、convGenの後に呼び出すこと。
* @param com
* @param opt
*/
getDefFuncCode(com: NakoCompiler, opt: NakoGenOptions): string {
let code = ''
// よく使う変数のショートカット
// jsInit の部分に設定するコード
code += `const nakoVersion = { version: ${JSON.stringify(com.version)} }\n`
code += 'const __self = self;\n'
code += '__self.__self = __self;\n'
code += 'const __varslist = __self.__varslist;\n'
code += 'const __module = __self.__module;\n'
code += 'const __v0 = __self.__v0 = __self.__varslist[0];\n'
code += 'const __v1 = __self.__v1 = __self.__varslist[1];\n'
code += 'const __vars = __self.__vars = __self.__varslist[2];\n'
code += `const __modList = __self.__modList = ${JSON.stringify(com.getModList())}\n`
code += 'const __line = (lineno) => { __self.__v0.set(\'__line\', lineno); }\n'
code += '__v0.set(\'__line\', \'l0:__getDefFuncCode\');\n'
code += '__v0.set(\'__forceClose\', false);\n'
code += `__v0.set('__useDebug', ${String(this.debugOption.useDebug)});\n`
// 定数を埋め込む
code += '__self.constPools = ' + JSON.stringify(this.constPools) + ';\n'
code += '__self.constPoolsTemplate = ' + JSON.stringify(this.constPoolsTemplate) + ';\n'
//
code += '__self.__propAccessor = [];\n'
// なでしこの関数定義を行う
let nakoFuncCode = ''
this.nakoFuncList.forEach((value, key) => {
const f = trim(cleanGeneratedCode(String(value.fn), 1))
const isAsync = value.asyncFn ? 'true' : 'false'
nakoFuncCode += '' +
`//[DEF_FUNC name='${key}' asyncFn=${isAsync}]\n` +
`__self.__varslist[1].set("${key}", ${f});\n` +
`//[/DEF_FUNC name='${key}']\n`
})
if (nakoFuncCode !== '') { code += '__v0.set(\'__line\', \'関数の定義\');\n' + nakoFuncCode }
// テストの定義を行う
if (opt.isTest) {
let testCode = 'const __tests = [];\n'
this.nakoTestFuncs.forEach((value) => {
const f = value.fn
testCode += `${String(f)};\n`
})
if (testCode !== '') {
code += '__v0.set(\'__line\', \'テストの定義\');\n'
code += testCode + '\n'
}
}
return code
}
/**
* プラグイン・オブジェクトを追加
* @param po プラグイン・オブジェクト
*/
addPlugin(po: FuncList): void {
return this.__self.addPlugin(po)
}
/**
* プラグイン・オブジェクトを追加(ブラウザ向け)
* @param name オブジェクト名
* @param po 関数リスト
*/
addPluginObject(name: string, po: FuncList): void {
this.__self.addPluginObject(name, po)
}
/**
* プラグイン・ファイルを追加(Node.js向け)
* @param objName オブジェクト名
* @param path ファイルパス
* @param po 登録するオブジェクト
*/
addPluginFile(objName: string, path: string, po: FuncList): void {
this.__self.addPluginFile(objName, path, po)
}
/**
* 関数を追加する
* @param key 関数名
* @param josi 助詞
* @param fn 関数
*/
addFunc(key: string, josi: FuncArgs, fn: any) {
this.__self.addFunc(key, josi, fn)
}
/**
* プラグイン関数を参照する
* @param key プラグイン関数の関数名
* @returns プラグイン・オブジェクト
*/
getFunc(key: string) {
return this.__self.getFunc(key)
}
/**
* 関数を先に登録してしまう
*/
registerFunction(ast: Ast) {
if (ast.type !== 'block') { throw NakoSyntaxError.fromNode('構文解析に失敗しています。構文は必ずblockが先頭になります', ast) }
/** 関数一覧 */
const funcList: {name: string; node:Ast}[] = []
// なでしこ関数を定義して this.nako_func[name] に定義する
const registFunc = (t: AstDefFunc) => {
// (t.type == 'def_func') はチェック済み
if (!t.name) { throw new Error('[System Error] 関数の定義で関数名が指定されていません') }
const name: string = t.name
this.usedFuncSet.add(name)
this.__self.__varslist[1].set(name, () => { }) // 事前に適当な値を設定
this.varslistSet[1].names.add(name) // global
const meta = t.meta
if (!meta) { throw new Error('[System Error] 関数の定義で関数名のメタ情報が指定されていません') }
this.nakoFuncList.set(name, {
josi: meta.josi,
fn: () => {},
type: 'func',
asyncFn: !!t.asyncFn,
isExport: t.isExport
})
funcList.push({ name, node: t })
}
const registFuncs = (ast: Ast) => {
// blocksプロパティを持っているか？
if ((ast as AstBlocks).blocks) {
// 各ブロックをくまなく巡回チェック
for (const t of (ast as AstBlocks).blocks) {
if (t.type === 'def_func') { // 関数定義
registFunc(t as AstDefFunc)
} else {
registFuncs(t)
}
}
}
}
// 関数の登録
registFuncs(ast)
// __self.__varslistの変更を反映
const initialNames: Set<string> = new Set()
if (this.speedMode.invalidSore === 0) {
initialNames.add('それ')
}
this.varsSet = { isFunction: false, names: initialNames, readonly: new Set() }
this.varslistSet = this.setVarslistSet(this.__self.__varslist)
this.varslistSet[2] = this.varsSet
}
/**
* @param node
* @param opt
*/
convGen(node: Ast, opt: NakoGenOptions): string {
const result = this.convLineno(node, false) + this._convGen(node, true)
if (opt.isTest) {
return ''
} else {
return result
}
}
/**
* @param {Ast} node
* @param {boolean} isExpression
*/
_convGen(node: Ast|null, isExpression: boolean): string {
if (!node) { return '' }
let code = ''
if (node instanceof Array) {
for (let i = 0; i < node.length; i++) {
const n = node[i]
code += this._convGen(n, isExpression)
}
return code
}
if (node === null) { return 'null' }
if (node === undefined) { return 'undefined' }
if (typeof (node) !== 'object') { return '' + String(node) }
// switch
switch (node.type) {
case 'nop':
break
case 'block':
code += this.convBlock(node as AstBlocks)
break
case 'comment':
case 'eol':
code += this.convComment(node as AstEol)
break
case 'run_mode':
code += this.convRunMode(node as AstStrValue)
break
case 'break':
code += this.convCheckLoop(node, 'break')
break
case 'continue':
code += this.convCheckLoop(node, 'continue')
break
case 'end':
code += '__v0.get(\'終\')(__self);'
break
case 'number':
code += (node as AstConst).value
break
case 'bigint':
code += (node as AstConst).value
break
case 'string':
code += this.convString(node as AstConst)
break
case 'def_local_var':
code += this.convDefLocalVar(node as AstDefVar)
break
case 'def_local_varlist':
code += this.convDefLocalVarlist(node as AstDefVarList)
break
case 'let':
code += this.convLet(node as AstLet)
break
case 'let_prop':
code += this.convLetProp(node as AstLet)
break
case 'ref_prop':
code += this.convRefProp(node as AstLet)
break
case 'inc':
code += this.convInc(node as AstBlocks)
break
case 'word':
case 'variable':
code += this.convGetVar(node as AstStrValue)
break
case 'op':
case 'calc':
code += this.convOp(node as AstOperator)
break
case 'renbun':
code += this.convRenbun(node as AstOperator)
break
case 'not':
code += '((' + this._convGen((node as AstBlocks).blocks[0], true) + ')?false:true)'
break
case 'func':
case 'func_pointer':
case 'calc_func':
code += this.convCallFunc(node as AstCallFunc, isExpression)
break
case 'if':
code += this.convIf(node as AstIf)
break
case 'for':
code += this.convFor(node as AstFor)
break
case 'foreach': // 反復
code += this.convForeach(node as AstForeach)
break
case 'repeat_times': // 回
code += this.convRepeatTimes(node as AstRepeatTimes)
break
case 'speed_mode':
code += this.convSpeedMode(node as AstBlocks, isExpression)
break
case 'performance_monitor':
code += this.convPerformanceMonitor(node as AstBlocks, isExpression)
break
case 'while':
code += this.convWhile(node as AstWhile)
break
case 'atohantei':
code += this.convAtohantei(node as AstAtohantei)
break
case 'switch':
code += this.convSwitch(node as AstSwitch)
break
case 'let_array':
code += this.convLetArray(node as AstLetArray)
break
case 'ref_array':
code += this.convRefArray(node)
break
case 'ref_array_value':
code += this.convRefArrayValue(node as AstOperator)
break
case 'json_array':
code += this.convJsonArray(node as AstBlocks)
break
case 'json_obj':
code += this.convJsonObj(node as AstBlocks)
break
case 'bool':
code += ((node as AstConst).value) ? 'true' : 'false'
break
case 'null':
code += 'null'
break
case 'def_test':
code += this.convDefTest(node as AstDefFunc)
break
case 'def_func':
code += this.convDefFunc(node as AstDefFunc)
break
case 'func_obj':
code += this.convFuncObj(node as AstDefFunc)
break
case 'return':
code += this.convReturn(node as AstBlocks)
break
case 'try_except':
code += this.convTryExcept(node as AstBlocks)
break
case 'require':
code += this.convRequire(node as AstStrValue)
break
default:
throw new Error('System Error: unknown_type=' + node.type)
}
return code
}
/** 変数を検索 */
findVar(name: string, jsvalue: string|null = null): FindVarResult|null {
// __vars ? (ローカル変数)
if (this.varslistSet.length > 3 && this.varsSet.names.has(name)) {
return {
i: this.varslistSet.length - 1,
name,
isTop: true,
js: this.varname_get(name),
js_set: this.varname_set(name, String(jsvalue))
}
}
// __varslist ?
for (let i = 2; i >= 0; i--) {
if (this.varslistSet[i].names.has(name)) {
// ユーザーの定義したグローバル変数 (__varslist[2]) は、変数展開されている（そのままの名前で定義されている）可能性がある。
// それ以外の変数は、必ず__varslistに入っている。
return {
i,
name,
isTop: false,
js: `__self.__varslist[${i}].get(${JSON.stringify(name)})`,
js_set: `__self.__varslist[${i}].set(${JSON.stringify(name)}, ${jsvalue ?? 'undefined'})`
}
}
}
return null
}
/**
* 定義済みの変数の参照
* @param {string} name
* @param {Ast} position
*/
genVar(name: string, position: Ast): string {
const res = this.findVar(name)
const lno = position.line
if (res === null) {
// 定義されていない名前の参照は変数の定義とみなす。
// 多くの場合はundefined値を持つ変数であり分かりづらいバグを引き起こすが、
// 「ナデシコする」などの命令の中で定義された変数の参照の場合があるため警告に留める。
// ただし、自動的に定義される変数『引数』『それ』などは例外 #952
if (name === '引数' || name === 'それ' || name === '対象' || name === '対象キー') {
// デフォルト定義されている変数名
} else {
if (this.warnUndefinedVar) {
// main__は省略して表示するように。 #1223
const dispName = name.replace(/^main__(.+)$/, '$1')
this.__self.getLogger().warn(`変数『${dispName}』は定義されていません。`, position)
}
}
this.varsSet.names.add(name)
return this.varname_get(name)
}
const i = res.i
// システム関数・変数の場合
if (i === 0) {
const pv = this.__self.getNakoFunc(name)
if (!pv) { return `${res.js}/*[link_error]l${lno}:${position.file ?? 'unknown'}*/` }
if (pv.type === 'const' || pv.type === 'var') { return res.js }
if (pv.type === 'func') {
if (!pv.josi || pv.josi.length === 0) { return `(${res.js}())` }
throw NakoSyntaxError.fromNode(`『${name}』が複文で使われました。単文で記述してください。(v1非互換)`, position)
}
throw NakoSyntaxError.fromNode(`『${name}』は関数であり参照できません。`, position)
}
return res.js
}
convGetVar(node: AstStrValue): string {
// 変数名を得る
const name = node.value
// 変数を取得するコードを生成
return this.genVar(name, node)
}
convBlock(node: AstBlocks): string {
let code = ''
for (const block of node.blocks) {
code += this._convGen(block, false)
}
return code
}
convComment(node: AstEol): string {
let commentSrc = String(node.comment)
// コメントの改行や空行を無効化
commentSrc = commentSrc.replace(/\n/g, '¶')
commentSrc = commentSrc.replace(/\*\//g, '＊／')
commentSrc = commentSrc.replace(/(^\s+|\s+$)/g, '')
// コメントの行番号を得る
const lineNo = this.convLineno(node, false)
if (commentSrc === '' && lineNo === '') { return ';' }
if (commentSrc === '') {
return ';' + lineNo + '\n'
}
return ';' + lineNo + '//' + commentSrc + '\n'
}
convRunMode(node: AstStrValue): string {
const mode = node.value
let isStrict = false
if (mode === '厳しくチェック') {
// 厳しくチェックモードの場合、変数の未定義チェックを行う
isStrict = true
}
this.warnUndefinedVar = isStrict
this.warnUndefinedReturnUserFunc = isStrict
this.warnUndefinedCallingUserFunc = isStrict
this.warnUndefinedCallingSystemFunc = isStrict
this.warnUndefinedCalledUserFuncArgs = isStrict
return `/* 実行モード: ${mode} */`
}
convReturn(node: AstBlocks): string {
// 関数の中であれば利用可能
if (this.varsSet.names.has('!関数')) { throw NakoSyntaxError.fromNode('『戻る』がありますが、関数定義内のみで使用可能です。', node) }
const astValue = node.blocks[0]
const lno = this.convLineno(node, false)
// 戻り値のコードを得る
let value = ''
if (astValue.type !== 'nop') {
value = this._convGen(astValue, true)
} else if (this.speedMode.invalidSore === 0) {
value = this.varname_get('それ')
}
// 戻り値のない関数の場合
if (value === '') {
return lno + 'return;'
}
// 戻り値がundefindかをチェックするかどうか
if (!this.warnUndefinedReturnUserFunc) {
return lno + `return ${value};`
} else {
const funcName: string = (this.defFuncName) ? this.defFuncName : '無名関数'
const poolIndex = this.addConstPool(`ユーザ関数『${funcName}』からundefinedが返されています`, [], node.file, node.line)
return lno + `return (__self.chk(${value}, ${poolIndex}));`
}
}
getConstPoolsTemplateId(msg: string): number {
let id = this.constPoolsTemplate.indexOf(msg)
if (id < 0) {
id = this.constPoolsTemplate.length
this.constPoolsTemplate[id] = msg
}
return id
}
addConstPool(msg: string, args: string[], file: any, line: any): number {
// file
file = String(file)
const fileNo = this.getConstPoolsTemplateId(file)
// msg
const msgNo = this.getConstPoolsTemplateId(msg)
// args
const args2: number[] = []
for (const arg of args) {
const argStr = '' + String(arg)
const argNo = this.getConstPoolsTemplateId(argStr)
args2.push(argNo)
}
const poolIndex = this.constPools.length
this.constPools.push([msgNo, args2, fileNo, line])
return poolIndex
}
convCheckLoop(node: Ast, cmd: string): string {
// ループの中であれば利用可能
if (!this.flagLoop) {
const cmdj = (cmd === 'continue') ? '続ける' : '抜ける'
throw NakoSyntaxError.fromNode(`『${cmdj}』文がありますが、それは繰り返しの中で利用してください。`, node)
}
return this.convLineno(node) + cmd + ';'
}
convDefFuncCommon(node: AstDefFunc, name: string): string {
// 定義中の関数名を記録
this.defFuncName = name
// 変数をJS変数に展開するかどうか (TODO)
const isExtractJS = false
// パフォーマンスモニタ:ユーザ関数のinjectの定義
let performanceMonitorInjectAtStart = ''
let performanceMonitorInjectAtEnd = ''
if (this.performanceMonitor.userFunction !== 0) {
let key = name
if (!key) {
if (typeof this.performanceMonitor.mumeiId === 'undefined') {
this.performanceMonitor.mumeiId = 0
}
this.performanceMonitor.mumeiId++
key = `anous_${this.performanceMonitor.mumeiId}`
}
performanceMonitorInjectAtStart = 'const performanceMonitorEnd = (function (key, type) {\n' +
'const uf_start = performance.now() * 1000;\n' +
'return function () {\n' +
'const el_time = performance.now() * 1000 - uf_start;\n' +
'if (!__self.__performance_monitor) {\n' +
'__self.__performance_monitor={};\n' +
'__self.__performance_monitor[key] = { called:1, totel_usec: el_time, min_usec: el_time, max_usec: el_time, type: type };\n' +
'} else if (!__self.__performance_monitor[key]) {\n' +
'__self.__performance_monitor[key] = { called:1, totel_usec: el_time, min_usec: el_time, max_usec: el_time, type: type };\n' +
'} else {\n' +
'__self.__performance_monitor[key].called++;\n' +
'__self.__performance_monitor[key].totel_usec+=el_time;\n' +
'if(__self.__performance_monitor[key].min_usec>el_time){__self.__performance_monitor[key].min_usec=el_time;}\n' +
'if(__self.__performance_monitor[key].max_usec<el_time){__self.__performance_monitor[key].max_usec=el_time;}\n' +
`}};})('${key}', 'user');` +
'try {\n'
performanceMonitorInjectAtEnd = '} finally { performanceMonitorEnd(); }\n'
}
let variableDeclarations = ''
const indent = ' '
let pushStack = ''
let popStack = ''
const initialNames: Set<string> = new Set()
if (this.speedMode.invalidSore === 0) {
initialNames.add('それ')
}
this.varsSet = { isFunction: true, names: initialNames, readonly: new Set() }
// ローカル変数をPUSHする
this.varslistSet.push(this.varsSet)
// JSの引数と引数をバインド
if (isExtractJS) {
variableDeclarations += indent + 'var 引数 = arguments;\n'
} else {
variableDeclarations += indent + '__self.__vars.set(\'引数\', arguments);\n'
}
// ローカル変数を生成 (再帰関数呼び出しで引数の値が壊れる問題があるので修正 #1663 / タイミングによって壊れるので修理 #1758)
// 暫定変数__localVarsに現在のローカル変数の値をPUSHし、変数を抜ける時にPOPする)
// 関数として宣言しているが、JS関数となでしこ関数では変数管理の方法が異なるため、完全なローカル変数としては使えない
// 必ず、pushStack/popStack する必要がある
pushStack += '\n// PUSH STACK\n'
pushStack += 'const __localvars = __self.__vars;\n'
pushStack += '__self.__vars = new Map();\n'
pushStack += 'try {\n'
popStack += '} finally {\n'
popStack += indent + '// POP STACK\n'
popStack += indent + 'self.__vars = __localvars;\n'
popStack += '}\n'
// 宣言済みの名前を保存
const varsDeclared = Array.from(this.varsSet.names.values())
let code = ''
// 引数をローカル変数に設定
const meta: FuncListItem|undefined = node.meta
if (!meta) { throw new Error('[System Error] 関数の定義でメタ情報が指定されていません') }
if (!meta.varnames) { meta.varnames = [] }
for (let i = 0; i < meta.varnames.length; i++) {
const word = meta.varnames[i]
if (word === '引数') { continue }
if (!this.warnUndefinedCalledUserFuncArgs) {
code += indent + this.varname_set(word, `arguments[${i}]`) + ';\n'
} else {
// check undefined
let errMsg = `匿名関数の引数『${word}』にundefinedが渡されました`
if (name) {
errMsg = `ユーザ関数『${name}』の引数『${word}』にundefinedが渡されました`
}
const warnJS = `__self.logger.warn('${errMsg}', {line: ${node.line}, file: ${JSON.stringify(node.file)}});`
const checkFunc = `((a) => { if (a === undefined) { ${warnJS} }; return a; })`
const callCheckFunc = `${checkFunc}(arguments[${i}])`
code += indent + this.varname_set(word, callCheckFunc) + ';\n'
}
this.varsSet.names.add(word)
}
// 関数定義は、グローバル領域で。
if (name) {
this.usedFuncSet.add(name)
this.varslistSet[1].names.add(name)
if (this.nakoFuncList.get(name) === undefined) {
if (!node.meta) { throw new Error('[System Error] 関数の定義でメタ情報が指定されていません') }
// 既に generate で作成済みのはず(念のため)
this.nakoFuncList.set(name, {
josi: node.meta.josi,
fn: () => {},
type: 'func',
asyncFn: false,
isExport: null
})
this.__self.getLogger().warn(`generateで未定義の状態の関数『${name}』が動的に登録されています。`)
}
}
// ブロックを解析
const oldUsedAsyncFn = this.usedAsyncFn
this.usedAsyncFn = false
if (this.debugOption.useDebug) { this.usedAsyncFn = true }
const block = this._convGen(node.blocks[0], false)
code += block.split('\n').map((line) => ' ' + line).join('\n') + '\n'
// 関数の最後に、変数「それ」をreturnするようにする
if (this.speedMode.invalidSore === 0) {
code += ` return (${this.varname_get('それ')});\n`
}
// パフォーマンスモニタ:ユーザ関数のinject
code += performanceMonitorInjectAtEnd
// 名前のある関数で非同期関数であれば、関数にasyncを付与する
if (name && this.usedAsyncFn) {
const f = this.nakoFuncList.get(name)
if (f) { f.asyncFn = true }
}
// 関数の末尾に、ローカル変数をPOP
// 関数内で定義されたローカル変数の宣言
if (isExtractJS) {
for (const name of Array.from(this.varsSet.names.values())) {
if (!varsDeclared.includes(name)) {
if (NakoGen.isValidIdentifier(name)) {
variableDeclarations += ` var ${name};\n`
}
}
}
if (this.speedMode.invalidSore === 0) {
if (NakoGen.isValidIdentifier('それ')) {
variableDeclarations += ' var それ = \'\';\n'
} else {
variableDeclarations += ` ${this.varname_get('それ')} = '';`
}
}
}
// usedAsyncFnの値に応じて関数定義の方法を変更
const tof = (this.usedAsyncFn) ? topOfFunctionAsync : topOfFunction
// 関数コード全体を構築
const lineInfo = ' ' + this.convLineno(node, true, 1) + '\n'
code = tof + performanceMonitorInjectAtStart + pushStack + variableDeclarations + lineInfo + code + popStack
code += endOfFunction
// 名前があれば、関数を登録する
if (name) {
const nameFuncValue = this.nakoFuncList.get(name)
if (nameFuncValue) {
nameFuncValue.fn = code
nameFuncValue.asyncFn = this.usedAsyncFn
meta.asyncFn = this.usedAsyncFn
}
}
this.usedAsyncFn = oldUsedAsyncFn // 以前の値を戻す
this.varslistSet.pop()
this.varsSet = this.varslistSet[this.varslistSet.length - 1]
if (name) { this.__self.__varslist[1].set(name, code) }
this.defFuncName = '' // 関数名をクリア
return code
}
convDefTest(node: AstDefFunc): string {
const name = node.name
let code = `__tests.push({ name: '${name}', f: () => {\n`
// ブロックを解析
const block = this._convGen(node.blocks[0], false)
code += ` ${block}\n` +
'}});'
if (!node.meta) {
throw new Error('[System Error] テストのメタ情報が指定されていません')
}
this.nakoTestFuncs.set(name, {
josi: node.meta.josi,
fn: code,
type: 'test_func'
})
// ★この時点ではテストコードを生成しない★
// プログラム冒頭でコード生成時にテストの定義を行う
return ''
}
convDefFunc(node: AstDefFunc): string {
// ※ [関数定義のメモ]
// ※ 関数の定義はプログラムの冒頭に移される。
// ※ そのため、生成されたコードはここでは返さない
// ※ registerFunction を参照
if (!node.name) { return '' }
const name = NakoGen.getFuncName(node.name)
this.convDefFuncCommon(node, name)
return ''
}
convFuncObj(node: AstDefFunc): string {
return '/*convFuncObj*/' + this.convDefFuncCommon(node, '')
}
convJsonObj(node: AstBlocks): string {
const resultArray = []
const list = node.blocks
for (let i = 0; i < list.length / 2; i++) {
const idx = i * 2
const key = list[idx + 0]
const val = list[idx + 1]
const keyStr = this._convGen(key, true)
const valStr = this._convGen(val, true)
resultArray.push(`${keyStr}: ${valStr}`)
}
return '{' + resultArray.join(', ') + '}'
}
convJsonArray(node: AstBlocks): string {
const list = node.blocks
const codelist = list.map((e: Ast) => {
return this._convGen(e, true)
})
return '[' + codelist.join(',') + ']'
}
convRefArray(node: Ast): string {
let code = ''
code = this._convGen(node.name as Ast, true)
const list: Ast[] | undefined = node.index
if (!list) { return code }
for (let i = 0; i < list.length; i++) {
const idx = this._convGen(list[i], true)
code += '[' + idx + ']'
}
return code
}
convRefArrayValue(node: AstOperator): string {
let code = ''
const op: string = node.name ? String(node.name) : '???'
const val: Ast|undefined = node.index ? node.index.shift() : undefined
if (!val) { return '/*[WARNING] convRefArrayOperator::InvalidValue */' }
code = this._convGen(val, true)
const list: Ast[] | undefined = node.index
if (!list) { return code }
if (op === '@' || op === '[') {
for (let i = 0; i < list.length; i++) {
const idx = this._convGen(list[i], true)
code += '[' + idx + ']'
}
return code
}
if (op === '$') {
return this.convRefProp_genCode(code, list as AstStrValue[])
}
// operator not found
const op2 = op.replace('*/', '＊/')
return `/* [WARNING] convRefArrayOperator::UnknownOperator [${op2}] */` + code
}
convLetArray(node: AstLetArray): string {
const id = this.loopId++
const valueNode: Ast = node.blocks[0]
const indexNodes: Ast[] = node.blocks.slice(1)
const name = this.genVar(node.name, node)
let codeInit = ''
let code = name
let codeArray = ''
// codeInit?
if (node.checkInit) { // DNCLのための初期化処理 ... DNCLでは配列の初期化なしでいきなり配列を使う試験問題があるため
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]'
// [name]の内容は[__self.__varslist[2].get("a__A")]のようなものになっているはず
if (node.name) {
const word = node.name
const tmpVar = `$nako_tmp_a${id}`
const initArrayCode = this.varname_set(word, arrayDefCode)
codeInit += `\n/*配列初期化*/if (!(${name} instanceof Array)) { ${initArrayCode} };\n`
codeInit += `${tmpVar} = ${name};\n`
for (let i = 0; i < indexNodes.length - 1; i++) {
const idx = this._convGen(indexNodes[i], true)
codeArray += `[${idx}]`
codeInit += `\n/*配列初期化${i}*/if (!(${tmpVar}${codeArray} instanceof Array)) { ${tmpVar}${codeArray} = ${arrayDefCode}; };`
}
codeInit += '\n'
}
}
// array
for (let i = 0; i < indexNodes.length; i++) {
const idx = this._convGen(indexNodes[i], true)
code += '[' + idx + ']'
}
// value
let value = null
if (this.speedMode.invalidSore === 0) { value = this.varname_get('それ') }
if (valueNode.type !== 'nop') { value = this._convGen(valueNode, true) }
if (value === null) {
throw NakoSyntaxError.fromNode('代入する先の変数名がありません。', node)
}
code += ' = ' + value + ';\n'
// generate code
const src = this.convLineno(node, false) + codeInit + code
return src
}
convGenLoop(node: Ast): string {
const tmpflag = this.flagLoop
this.flagLoop = true
try {
return this._convGen(node, false)
} finally {
this.flagLoop = tmpflag
}
}
convFor(node: AstFor): string {
const astFrom = node.blocks[0]
const astTo = node.blocks[1]
const astInc = node.blocks[2]
const astBlock = node.blocks[3]
// forのIDを取得
const idLoop = this.loopId++
const varI = `$nako_i${idLoop}`
// ループ変数について
let loopVarSetter = ''
if (node.word !== '') { // ループ変数を使う時
const varName = node.word
this.varsSet.names.add(varName)
loopVarSetter = this.varname_set(varName, varI)
}
// ループ条件を変数に入れる用
const varFrom = `$nako_from${idLoop}`
const varTo = `$nako_to${idLoop}`
const varTemp = `$nako_temp${idLoop}`
let sorePrefex = ''
if (this.speedMode.invalidSore === 0) {
sorePrefex = this.varname_set('それ', varI)
}
// ループ条件を確認
let kara = '0'
let made = '0'
let temp = '0'
if (astTo && astTo.type === 'func' && astTo.name === '範囲') {
temp = this._convGen(astTo, true)
kara = `${varTemp}['先頭'] || 0`
made = `${varTemp}['末尾'] || 0`
} else {
kara = this._convGen(astFrom, true)
made = this._convGen(astTo, true)
}
const flagDown = node.flagDown
const flagUp = node.flagUp
let inc = '1'
if (astInc.type !== 'nop') {
inc = this._convGen(astInc, true)
}
// ループ内のブロック内容を得る
const block = this.convGenLoop(astBlock)
const code =
this.convLineno(node, false) + '\n' +
`/*[convFor id=${idLoop}]*/\n` +
`const ${varTemp} = ${temp};\n` +
`const ${varFrom} = ${kara};\n` +
`const ${varTo} = ${made};\n` +
`if (${varFrom} < ${varTo}) { // up\n` +
` if (${String(flagUp)}) {` +
` for (let ${varI} = ${varFrom}; ${varI} <= ${varTo}; ${varI}+= ${inc}) {\n` +
` ${sorePrefex};${loopVarSetter}\n` +
' // for block begin\n' +
` ${block}\n` +
' // for block end\n' +
' };\n' +
' };\n' +
`} else if (${varFrom} > ${varTo}) { // down\n` +
` if (${String(flagDown)}) {` +
` for (let ${varI} = ${varFrom}; ${varI} >= ${varTo}; ${varI}-= ${inc}) {\n` +
` ${sorePrefex};${loopVarSetter}\n` +
' // for block begin\n' +
` ${block}\n` +
' // for block end\n' +
' }\n' +
' };\n' +
'} else { // from == to\n' +
` for (let ${varI} = ${varFrom}; ${varI} <= ${varTo}; ${varI}+= 1) {\n` +
` ${sorePrefex};${loopVarSetter}\n` +
' // for block begin\n' +
` ${block}\n` +
' // for block end\n' +
' };\n' +
'};\n' +
`//[/convFor id=${idLoop}]\n`
return code
}
convForeach(node: AstForeach): string {
const exprAst = node.blocks[0]
const blockAst = node.blocks[1]
// foreachのIDを取得
const id = this.loopId++
const loopKeyVar = `$nako_i${id}`
const loopValueVar = `$nako_foreach_value${id}`
const loopDataVar = `$nako_foreach_data${id}`
const taisyouTemp = `$nako_taisyou_temp${id}`
const taisyouKeyTemp = `$nako_taisyou_key_temp${id}`
const soreTemp = `$nako_foreach_sore_temp${id}`
// 「対象」「対象キー」を取得 --- blockより早く変数を定義する必要がある
let taisyoPrefex = this.varname_set_sys('対象', loopValueVar)
if (node.word !== '') { // 対象変数がある場合、対象は設定されない
const valueVar = node.word
this.varsSet.names.add(valueVar)
taisyoPrefex = this.varname_set(valueVar, loopValueVar)
}
const keyVar = '対象キー'
const keySetter = this.varname_set_sys(keyVar