式の文法

[アーティクル]
03/22/2024

Note

Microsoft Power Fx は、キャンバスアプリ用の数式言語の新しい名前です。これらの記事は、キャンバスアプリから言語を抽出し、その他の Microsoft Power Platform 製品と統合して、オープンソースとして利用できるようにするために進行中の作業です。言語の紹介のために Microsoft Power Fx の概要から開始します。

Microsoft Power Fx は名前を式にバインドする数式に基づいています。 Excel ワークシートと同様に、式へのインバウンド依存関係が変更されると、式が再計算されて名前の値が変更され、その他の数式に再計算がカスケードされる可能性があります。

この文法は、数式の式の部分をカバーしています。数式を作成するための名前へのバインドは、Power Fx の統合方法によって異なります。ワークシートでバインディング構文は公開されておらず、A1 セルに =B1 と入力した場合のように式が記述されている場所によって暗示されます。場合によっては、バインディングがまったく必要なく、Power Fx が式エバリュエーターとして使用されます。たとえば、データベーステーブルの計算列をサポートする場合などです。 Power Apps の場合、Power Apps Studio 外での使用のための YAML に基づいたシリアル化形式を使用して Power Apps Studio で作業するときにバインディングが暗示されます。

文法規則

字句と構文の文法は、文法プロダクションを使用して表されます。各文法プロダクションによって、非終端記号と、その非終端記号から非終端記号または終端記号のシーケンスへの可能な展開が定義されます。文法プロダクションでは、非終端の記号は斜体で表示され、終端記号は固定幅フォントで表示されます。

文法プロダクションの最初の行は、定義される非終端記号の名前と、その後にコロンを付けたものです。連続してインデントされた各行には、非終端記号または終端記号のシーケンスとして表された、非終端記号の可能な展開が含まれます。たとえば、次のようなプロダクションの場合:

GlobalIdentifier:
[@識別子]

GlobalIdentifier をトークン [@ で構成されると定義し、識別子につづき、またトークンにつづきます]。

1 つの非終端記号に可能な展開が複数ある場合は、代替の展開が別の行に示されます。省略可能な記号を示すには、添字 "opt" が使用されます。たとえば、次のようなプロダクションの場合:

FunctionCall:
FunctionIdentifier(FunctionArguments_opt)

これは次の短縮形です。

FunctionCall:
FunctionIdentifier()
FunctionIdentifier(FunctionArguments)

通常、代替の展開は別の行に示されます。ただし、多数の代替がある場合は、1 行に示された展開の一覧の前に「次のいずれか」という語句が含まれることがあります。これは、それぞれの代替を別々の行に一覧表示することに対する簡便な方法です。

たとえば、次のようなプロダクションの場合:

DecimalDigit:次のいずれか
0 1 2 3 4 5 6 7 8 9

これは次の短縮形です。

DecimalDigit:
0
1
2
3
4
5
6
7
8
9

字句解析

字句単位の生成は、Power Fx 式の字句文法を定義します。すべての有効な Power Fx 式は、この文法に準拠しています。

ExpressionUnit:
ExpressionElements_opt

ExpressionElements:
ExpressionElement
ExpressionElementExpressionElements_opt

ExpressionElement:
Whitespace
Comment

字句のレベルでは、Power Fx 式は Whitespace、Comment、Token 要素のストリームで構成されます。次の各セクションで、それぞれのプロダクションについて説明します。構文の文法においては、トークン 要素のみが有効です。

空白

空白は、Power Apps ドキュメント内のコメントとトークンを区切るために使用されます。

Whitespace:
Unicode スペース区切り文字 (クラス Zs)
Unicode 行区切り文字 (クラス Zl)
Unicode 段落区切り文字 (クラス Zp)
水平タブ文字 (U+0009)
ラインフィード文字 (U+000A)
垂直タブ文字 (U+000B)
フォームフィード文字 (U+000C)
復帰文字 (U+000D)
次の行の文字 (U+0085)

2 つの形式のコメントがサポートされています。

単一行コメントは、// 文字で始まり、ソース行の末尾まで拡張されます。
区切られたコメントは、/* 文字で始まり、*/ 文字で終わります。区切られたコメントは、複数行にまたがることがあります。

コメント:
DelimitedComment
SingleLineComment

SingleLineComment:
//SingleLineCommentCharacters_opt

SingleLineCommentCharacters:
SingleLineCommentCharacter
SingleLineCommentCharacterSingleLineCommentCharacters_opt

SingleLineCommentCharacter:
NewLineCharacter を除くすべての Unicode 文字

DelimitedComment:
/*DelimitedCommentCharacters_opt*/

DelimitedCommentCharacters:
DelimitedCommentCharactersNoAsteriskDelimitedCommentCharacters_opt
*DelimitedCommentAfterAsteriskCharacters

DelimitedCommentAfterAsteriskCharacters:
DelimitedCommentNoSlashAsteriskCharacterDelimitedCommentCharacters_opt
*DelimitedCommentAfterAsteriskCharacters

DelimitedCommentCharactersNoAsterisk:
* (アスタリスク) を除く任意の Unicode 文字

DelimitedCommentNoSlashAsteriskCharacter:
/ (スラッシュ) または * (アスタリスク) を除く任意の Unicode 文字

コメントは入れ子にはなりません。文字シーケンス /* と */ は単一行コメント内で特別な意味を持ちません。また、// と /* の文字シーケンスは、区切られたコメント内で特別な意味を持ちません。

コメントは、テキストリテラル文字列内では処理されません。

次の例には、2 つの区切られたコメントが含まれています。

/* Hello, world
*/
"Hello, world"    /* This is an example of a text literal */

次の例には、3 つの単一行コメントが含まれています。

// Hello, world
//
"Hello, world"    // This is an example of a text literal

リテラル

リテラルは、値のソースコード表現です。

リテラル:
LogicalLiteral
NumberLiteral
TextLiteral

論理リテラル

true および false の値を記述するために使用される論理リテラルでは、論理値が生成されます。

LogicalLiteral:次のいずれか
true false

数値リテラル

数値を記述するために使用される数値リテラルでは、数値が生成されます。

NumberLiteral:
DecimalDigitsExponentPart_opt
DecimalDigitsDecimalSeparatorDecimalDigits_optExponentPart_opt
DecimalSeparatorDecimalDigitsExponentPart_opt

DecimalDigits:
DecimalDigit
DecimalDigitsDecimalDigit

DecimalDigit:次のいずれか
0 1 2 3 4 5 6 7 8 9

ExponentPart:
ExponentIndicatorSign_optDecimalDigits

ExponentIndicator:次のいずれか
e E

Sign:次のいずれか
+ -

テキストリテラル

Unicode 文字のシーケンスを記述するために使用されるテキストリテラルでは、テキスト値が生成されます。テキストリテラルは二重引用符で囲まれています。テキスト値に二重引用符を含めるには、次の例に示すように二重引用符を繰り返します。

"The ""quoted"" text" // The "quoted" text

TextLiteral:
"TextLiteralCharacters_opt"

TextLiteralCharacters:
TextLiteralCharacterTextLiteralCharacters_opt

TextLiteralCharacter:
TextCharacterNoDoubleQuote
DoubleQuoteEscapeSequence

TextCharacterNoDoubleQuote:
二重引用符を除くすべての Unicode コードポイント

DoubleQuoteEscapeSequence:
" "

識別子

識別子は、値を参照するために使用される名前です。識別子は、標準識別子または一重引用符で囲まれた識別子とすることができます。

識別子:
IdentifierName、OperatorやContextKeywordを除く

IdentifierName:
IdentifierStartCharacterIdentifierContinueCharacters_opt
'SingleQuotedIdentifier'

IdentifierStartCharacter:
LetterCharacter
_

IdentifierContinueCharacter:
IdentifierStartCharacter
DecimalDigitCharacter
ConnectingCharacter
CombiningCharacter
FormattingCharacter

IdentifierContinueCharacters:
IdentifierContinueCharacterIdentifierContinueCharacters_opt

LetterCharacter:
大文字 (Lu) または 小文字 (Ll)のクラスの Unicode 文字
タイトル文字 (Lt) クラスの任意の Unicode 文字
修飾 (Lm)クラス、または その他 (Lo) クラスの任意の Unicode 文字
数字文字 (Nl) クラスの任意の Unicode 文字