WikiChree.COM
新規
編集
添付
管理
WikiChreeガイド
WikiChreeの公式ガイドです。
最新の20件
2026-09-19
プラグイン/linkvote
2026-09-05
DokuFarm
WikiChree.COM
プラグイン/touchgraph
プラグイン/tracker_list
プラグイン/template
プラグイン/version
プラグイン/yetlist
プラグイン/unfreeze
プラグイン/source
プラグイン/versionlist
プラグイン/update_entities
2026-09-04
[テーブル番号または設定]
プラグイン/vote
プラグイン/tracker
プラグイン/topicpath
プラグイン/size
プラグイン/showrss
プラグイン/server
プラグイン/setlinebreak
開始行:
* Pkript/文法/エラー処理 [#a07718aa]
try / catch による例外捕捉とリソース上限エラーの扱い。
** リファレンス [#lc53edaf]
*** 構文 [#l0dfbd9d]
#highlight{{
try {
// 処理
} catch (err) {
// err.message にエラー内容と発生位置が格納される
}
}}
- catch ブロックの変数名は省略できる(catch { ... })
- return / break / continue は try を素通りする
- throw および finally はサポートしていない
*** catch できないエラー [#dacf7c6d]
リソース制限違反によるエラーは catch を素通りし、スクリプ...
|~上限|~定数|h
|実行時間|PKRIPT_MAX_TIME|
|ステップ数|PKRIPT_MAX_STEPS|
|メモリ使用量|PKRIPT_MAX_MEMORY|
|再帰深度とループ回数|PKRIPT_MAX_DEPTH / PKRIPT_MAX_LOOP|
|文字列長と配列要素数|PKRIPT_MAX_STRING / PKRIPT_MAX_ARRAY|
|ページ参照と書き込み回数|PKRIPT_MAX_READS / PKRIPT_MAX_W...
|wiki.convert の呼び出し回数|PKRIPT_MAX_CONVERT|
|正規表現バックトラック量|PKRIPT_REGEX_BACKTRACK|
** 使用法 [#v43a5634]
*** JSONのパースエラーを安全に処理する [#try_usage_json]
#highlight{{
let config = {};
try {
config = JSON.parse(wiki.source("ConfigPage"));
} catch (e) {
console.warn("設定のパースに失敗しました:", e.message);
}
}}
終了行:
* Pkript/文法/エラー処理 [#a07718aa]
try / catch による例外捕捉とリソース上限エラーの扱い。
** リファレンス [#lc53edaf]
*** 構文 [#l0dfbd9d]
#highlight{{
try {
// 処理
} catch (err) {
// err.message にエラー内容と発生位置が格納される
}
}}
- catch ブロックの変数名は省略できる(catch { ... })
- return / break / continue は try を素通りする
- throw および finally はサポートしていない
*** catch できないエラー [#dacf7c6d]
リソース制限違反によるエラーは catch を素通りし、スクリプ...
|~上限|~定数|h
|実行時間|PKRIPT_MAX_TIME|
|ステップ数|PKRIPT_MAX_STEPS|
|メモリ使用量|PKRIPT_MAX_MEMORY|
|再帰深度とループ回数|PKRIPT_MAX_DEPTH / PKRIPT_MAX_LOOP|
|文字列長と配列要素数|PKRIPT_MAX_STRING / PKRIPT_MAX_ARRAY|
|ページ参照と書き込み回数|PKRIPT_MAX_READS / PKRIPT_MAX_W...
|wiki.convert の呼び出し回数|PKRIPT_MAX_CONVERT|
|正規表現バックトラック量|PKRIPT_REGEX_BACKTRACK|
** 使用法 [#v43a5634]
*** JSONのパースエラーを安全に処理する [#try_usage_json]
#highlight{{
let config = {};
try {
config = JSON.parse(wiki.source("ConfigPage"));
} catch (e) {
console.warn("設定のパースに失敗しました:", e.message);
}
}}
ページ名:
既存のページ名で編集する