WOLFRAM

Wolfram言語 ＆ システムドキュメントセンター

SyntaxInformation[f]

f[…]が入力としてタイプされたときにシンタックスの色付けその他の助言を生成するために使われる情報を返す．

詳細
Details and Options Details and Options
例題  
例  
スコープ  
関連項目
関連するガイド
履歴
引用書式

SyntaxInformation

SyntaxInformation[f]

f[…]が入力としてタイプされたときにシンタックスの色付けその他の助言を生成するために使われる情報を返す．

詳細

  • SyntaxInformation[f]={"prop1"->data1,"prop2"->data2,…}は，f のシンタックスの特性 propiを定義する．
  • 可能な特性には次のようなものがある．
  • "ArgumentsPattern"認められた引数の列のパターン
    "LocalVariables"局所変数の型とその取り得る位置
    "ColorEqualSigns"=に色付けが施される引数位置
  • "ArgumentsPattern"の設定値は{patt1,patt2,…}という形式である．ただし pattiは，_，__，___，_.，OptionsPattern[]，{p1,…}のいずれかである．
  • "ArgumentsPattern"の設定値が，f はオプションを取ると指定している場合，有効なオプション名はOptions[f]で決定される．
  • "LocalVariables"の設定値は，{"type",{imin,imax}}という形である．可能な型には"Table"，"Solve"，"Integrate"，"Limit"，"Plot"，"Manipulate"がある．iminと imaxは，変数が現れ得る引数位置の最大数と最小数である．imaxはInfinityでもよい．
  • {"type",{imin,imax},"Lexical"}の"LocalVariables"の設定値は，Dynamicの中にある局所変数に特別な色付けがなされないようにする．
  • "ColorEqualSigns"の設定は{imin,imax}という形になる．

例題

すべて開く すべて閉じる

例  (2)

fが厳密に引数を2つ取るように指定する：

Wolfram Language code: SyntaxInformation[f] = {"ArgumentsPattern" -> {_, _}};
Wolfram Language code: {f[], f[x], f[x, y], f[x, y, z], f[x, y, z, w]};

fのオプションを設定する：

Wolfram Language code: Options[f] = {aaa -> 1, bbb -> 2};

fが2つの引数を取り，この引数にオプションが続くように指定する：

Wolfram Language code: SyntaxInformation[f] = {"ArgumentsPattern" -> {_, _, OptionsPattern[]}};

不適切なオプションは，赤く色付けされる：

Wolfram Language code: f[x, y, aab -> 2, aaa -> 3, bba -> 4];

スコープ  (4)

fの第1引数は厳密に2つの要素からなるリストでなければならない：

Wolfram Language code: SyntaxInformation[f] = {"ArgumentsPattern" -> {{_, _}, _}};
Wolfram Language code: {f[{a}, x], f[{a, b}, x], f[{a, b, c}, x]};

第1引数は，評価するとリストになる記号のような式でもよい：

Wolfram Language code: {f[a], f[a, x], f[a, x, y]};

fは任意の数の引数を持つことができるが，その各々が2つの要素からなるリストでなければならない：

Wolfram Language code: SyntaxInformation[f] = {"ArgumentsPattern" -> {{_, _}...}};
Wolfram Language code: {f[{x, y}, {a, b}], f[{x}, {a, b}, {x, y, z}]};

fは，位置2から無限大までにおける「表のような」局所反復子の指定を許す：

Wolfram Language code: SyntaxInformation[f] = {"LocalVariables" -> {"Table", {2, Infinity}}};
Wolfram Language code: f[x + y, {x, 0, 1}];

fは反復子型リストの引数が続く1つの一般的な引数を持たなければならない：

Wolfram Language code: SyntaxInformation[f] = {"LocalVariables" -> {"Table", {2, Infinity}}, "ArgumentsPattern" -> {_, {_, _, _., _.}..}};
Wolfram Language code: f[x + y + z, {x, 0, 1}, {y, 0, 1, 2, 3}];
Wolfram Research (2007), SyntaxInformation, Wolfram言語関数， https://reference.wolfram.com/language/ref/SyntaxInformation.html.

テキスト

Wolfram Research (2007), SyntaxInformation, Wolfram言語関数， https://reference.wolfram.com/language/ref/SyntaxInformation.html.

CMS

Wolfram Language. 2007. "SyntaxInformation." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/SyntaxInformation.html.

APA

Wolfram Language. (2007). SyntaxInformation. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/SyntaxInformation.html

BibTeX

@misc{reference.wolfram_2026_syntaxinformation, author="Wolfram Research", title="{SyntaxInformation}", year="2007", howpublished="\url{https://reference.wolfram.com/language/ref/SyntaxInformation.html}", note=[Accessed: 28-August-2026]}

BibLaTeX

@online{reference.wolfram_2026_syntaxinformation, organization={Wolfram Research}, title={SyntaxInformation}, year={2007}, url={https://reference.wolfram.com/language/ref/SyntaxInformation.html}, note=[Accessed: 28-August-2026]}