Ausdrucksgrammatik

Artikel
03/22/2024

Notiz

Microsoft Power Fx ist der neue Name für die Formelsprache für Canvas-Apps. Diese Artikel werden ständig weiterentwickelt, da wir die Sprache aus Canvas-Apps extrahieren, in andere Microsoft Power Platform-Produkte integrieren und als Open Source zur Verfügung stellen. Beginnen Sie mit der Microsoft Power Fx-Übersicht, um eine Einführung in die Sprache zu erhalten.

Microsoft Power Fx basiert auf Formeln, die einen Namen an einen Ausdruck binden. W in Excel-Arbeitsblättern wird der Ausdruck als eingehende Abhängigkeit vom Ausdruck neu berechnet und der Wert des Namens geändert, wodurch die Neuberechnung möglicherweise in andere Formeln kaskadiert wird.

Diese Grammatik deckt den Ausdrucksteil der Formel ab. Die Bindung an einen Namen zum Erstellen einer Formel hängt davon ab, wie Power Fx integriert ist. In Arbeitsblättern wird die Bindungssyntax nicht verfügbar gemacht, sondern vom Speicherort impliziert, an dem der Ausdruck geschrieben wird, beispielsweise durch Eingabe von =B1 in der A1-Zelle. In einigen Fällen ist überhaupt keine Bindung erforderlich, und Power Fx wird als Ausdrucksauswerter verwendet, beispielsweise zur Unterstützung berechneter Spalten einer Datenbanktabelle. Für Power Apps wird die Bindung impliziert, wenn in Power Apps Studio mit einem auf YAML basierenden Serialisierungsformat zur Verwendung außerhalb von Power Apps Studio gearbeitet wird.

Grammatikalische Konventionen

Die lexikalische und syntaktische Grammatik wird mithilfe von Grammatikproduktionen dargestellt. Jede Grammatikproduktion definiert ein Nichtterminalsymbol und dessen mögliche Erweiterungen in Sequenzen aus Nichtterminal- oder Terminalsymbolen. In Grammatikproduktionen werden Nichtterminalsymbole kursiv und Terminalsymbole werden in nichtproportionaler Schriftart dargestellt.

Die erste Zeile einer Grammatikproduktion entspricht dem Namen des Nichtterminalsymbols, das definiert wird, gefolgt von einem Doppelpunkt. Jede aufeinanderfolgende eingerückte Zeile enthält eine mögliche Erweiterung des Nichtterminalsymbols als Sequenz aus Nichtterminal- und Terminalsymbolen. Zum Beispiel wird bei der folgenden Produktion:

GlobalIdentifier:
[@ Bezeichner]

definiert einen globalen Bezeichner, der aus dem Token [@ besteht, gefolgt von einem Bezeichner, gefolgt vom Token ].

Wenn es mehrere mögliche Erweiterungen eines Nichtterminalsymbols gibt, werden die Alternativen in separaten Zeilen aufgeführt. Das tiefergestellte „opt“ wird als indexiertes Suffix verwendet, um optionale Symbole zu kennzeichnen. Zum Beispiel wird bei der folgenden Produktion:

FunctionCall:
FunctionIdentifier(FunctionArguments_opt)

ist die Kurzform für:

FunctionCall:
FunctionIdentifier()
FunctionIdentifier(FunctionArguments)

Alternativen werden normalerweise in separaten Zeilen aufgeführt. In einigen Fällen mit vielen Alternativen kann „One of“ („Eine von“) einer Liste von Erweiterungen vorangestellt werden, die in einer einzelnen Zeile angegeben werden. Dabei handelt es sich lediglich um eine Kurzform zum Auflisten aller Alternativen in separaten Zeilen.

Zum Beispiel wird bei der folgenden Produktion:

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

ist die Kurzform für:

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

Lexikalische Analyse

Die Produktion von lexikalischen Einheiten definiert die lexikalische Grammatik für einen Power Fx-Ausdruck. Jeder gültige Power Fx-Ausdruck entspricht dieser Grammatik.

ExpressionUnit:
ExpressionElements_opt

ExpressionElements:
ExpressionElement
ExpressionElementExpressionElements_opt

ExpressionElement:
Leerzeichen
Kommentar

Auf lexikalischer Ebene besteht ein Power Fx Ausdruck aus einem Stream aus den Elementen Leerraum, Kommentar und Token. All diese Produktionen werden in den folgenden Abschnitten beschrieben. Nur Tokenelemente sind in der syntaktischen Grammatik von Bedeutung.

Leerzeichen

Leerraum wird verwendet, um Kommentare und Token in einem Power Apps Dokument voneinander zu trennen.

Leerzeichen:
ein beliebiges Unicode-Leerzeichen (Klasse Zs)
ein beliebiges Unicode Zilentrennzeichen (Klasse ZI)
ein beliebiges Unicode-Absatztrennzeichen (Klasse Zp)
Horizontales Tabstoppzeichen (U+0009)
Zeilenvorschubzeichen (U+000A)
Vertikales Tabulatorzeichen (U+000B)
Seitenvorschubzeichen (U+000C)
Wagenrücklaufzeichen (U+000D)
Zeilenumbruchzeichen (U+0085)

Kommentare

Es werden zwei Arten von Kommentaren unterstützt:

Einzeilige Kommentare beginnen mit den Zeichen // und werden an das Ende der Quellzeile angefügt.
Durch Trennzeichen getrennte Kommentare beginnen mit den Zeichen /* und enden mit den Zeichen */. Durch Trennzeichen getrennte Kommentare können mehrere Zeilen umfassen.

Kommentar:
DelimitedComment
SingleLineComment

SingleLineComment:
// SingleLineCommentCharacters_opt

SingleLineCommentCharacters:
SingleLineCommentCharacter
SingleLineCommentCharacterSingleLineCommentCharacters_opt

SingleLineCommentCharacter:
Alle Unicode-Zeichen außer einem NewLineCharacter

DelimitedComment:
/* DelimitedCommentCharacters_opt*/

DelimitedCommentCharacters:
DelimitedCommentCharactersNoAsteriskDelimitedCommentCharacters_opt
* DelimitedCommentAfterAsteriskCharacters

DelimitedCommentAfterAsteriskCharacters:
DelimitedCommentNoSlashAsteriskCharacterDelimitedCommentCharacters_opt
* DelimitedCommentAfterAsteriskCharacters

DelimitedCommentCharactersNoAsterisk:
Beliebiges Unicode-Zeichen mit Ausnahme von * (Stern)

DelimitedCommentNoSlashAsteriskCharacter:
Beliebiges Unicode-Zeichen mit Ausnahme von / (Slash) oder * (Stern)

Kommentare sind nicht verschachtelt. Die Zeichenfolgen /* und */ verfügen innerhalb eines einzeiligen Kommentars über keine besondere Bedeutung, und die Zeichenfolgen // und /* verfügen in einem durch Trennzeichen getrennten Kommentar über keine besondere Bedeutung.

Kommentare werden nicht in Textliteralzeichenfolgen verarbeitet.

Das folgende Beispiel enthält zwei begrenzte Kommentare:

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

Die folgenden Beispiele enthalten drei einzeilige Kommentare:

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

Literale

Ein Literal ist die Quellcodedarstellung eines Werts.

Literal:
LogicalLiteral
NumberLiteral
TextLiteral

Logische Literale

Ein logisches Literal wird zum Schreiben der Werte „true“ und „false“ verwendet und erzeugt einen logischen Wert.

LogicalLiteral:one of
true false

Zahlenliterale

Ein Zahlenliteral wird zum Schreiben eines numerischen Werts verwendet und erzeugt einen numerischen Wert.

NumberLiteral:
DecimalDigitsExponentPart_opt
DecimalDigitsDecimalSeparatorDecimalDigits_optExponentPart_opt
DecimalSeparatorDecimalDigitsExponentPart_opt

DecimalDigits:
DecimalDigit
DecimalDigitsDecimalDigit

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

ExponentPart:
ExponentIndicatorSign_optDecimalDigits

ExponentIndicator:eins von
e E

Sign:eins von
+ -

Textliterale

Ein Textliteral wird zum Schreiben einer Sequenz von Unicode-Zeichen verwendet und erzeugt einen Textwert. Textliterale werden in doppelte Anführungszeichen gesetzt. Um doppelte Anführungszeichen in den Textwert aufzunehmen, wiederholen Sie die doppelten Anführungszeichen, wie im folgenden Beispiel gezeigt:

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

TextLiteral:
" TextLiteralCharacters_opt"

TextLiteralCharacters:
TextLiteralCharacterTextLiteralCharacters_opt

TextLiteralCharacter:
TextCharacterNoDoubleQuote
DoubleQuoteEscapeSequence

TextCharacterNoDoubleQuote:
Beliebiger Unicode-Codepunkt außer doppeltem Anführungszeichen

DoubleQuoteEscapeSequence:
" "

Bezeichner

Ein Bezeichner ist ein Name für einen Wert. Es gibt sowohl reguläre Bezeichner als auch Bezeichner in einelnen Anführungszeichen.

Bezeichner:
IdentifierNameabernichtOperatororContextKeyword

IdentifierName:
IdentifierStartCharacterIdentifierContinueCharacters_opt
' SingleQuotedIdentifier'

IdentifierStartCharacter:
LetterCharacter
_

IdentifierContinueCharacter:
IdentifierStartCharacter
DecimalDigitCharacter
ConnectingCharacter
CombiningCharacter
FormattingCharacter

IdentifierContinueCharacters:
IdentifierContinueCharacterIdentifierContinueCharacters_opt

LetterCharacter:
ein beliebiges Unicode-Zeichen der Klasse Zeichen in Großschreibung (Lu) oder Zeichen in Kleinschreibung (LI)
ein beliebiges Unicode-Zeichen der Klasse Titlecase Buchstaben (Lt)
ein beliebiges Unicode-Zeichen der Klasse Buchstaben-Modifizierer (Lm) oder Buchstaben andere (Lo)
ein beliebiges Unicode-Zeichen der Klasse Zahlzeichen (Nl)

CombiningCharacter:
ein beliebiges Unicode-Zeichen der Klasse Non-spacing mark (Mn) oder Spacing combining mark (Mc)

DecimalDigitCharacter:
ein beliebiges Unicode-Zeichen der Klasse Dezimalstelle (Nd)

ConnectingCharacter:
ein beliebiges Unicode-Zeichen der Klasse Konnektor-Satzzeichen (Pc)

FormattingCharacter:
ein beliebiges Unicode-Zeichen der Klasse Format (Cf)

Einfache Bezeichner in Anführungszeichen

Ein Bezeichner in einfachen Anführungszeichen kann beliebige Sequenzen mit keinen oder mehreren Unicode-Zeichen enthalten, einschließlich Schlüsselwörter, Leerraum, Kommentare und Operatoren. Einfache Anführungszeichen werden mit einer Escape-Sequenz aus zwei einfachen Anführungszeichen unterstützt.

SingleQuotedIdentifier:
SingleQuotedIdentifierCharacters

SingleQuotedIdentifierCharacters:
SingleQuotedIdentifierCharacterSingleQuotedIdentifierCharacters_opt

SingleQuotedIdentifierCharacter:
TextCharactersNoSingleQuote
SingleQuoteEscapeSequence

TextCharactersNoSingleQuote:
beliebiges Unicode-Zeichen mit Ausnahme von ' (U+0027)

SingleQuoteEscapeSequence:
' '

Eindeutige Kennung

DisambiguatedIdentifier:
TableColumnIdentifier
GlobalIdentifier

TableColumnIdentifier:
Identifier[@Identifier]

GlobalIdentifier:
[@ Bezeichner]

Kontextschlüsselwörter

ContextKeyword:
Parent
Self
ThisItem
ThisRecord

Groß-/Kleinschreibung beachten

Power Apps Bezeicher unterscheiden zwischen Groß‑ und Kleinschreibung. Das Dokumenterstellungstool ändert sie automatisch in die richtige Schreibweise, wenn eine Formel geschrieben wird.

Trennzeichen

DecimalSeparator:
. (Punkt) für Sprachen, die beispielsweise einen Punkt als Trennzeichen für Dezimalzahlen verwenden, z. B. 1.23
, (Komma) für eine Sprache, die beispielsweise einen Punkt als Trennzeichen für Dezimalzahlen verwendet, zum Beispiel 1,23

ListSeparator:
, (Komma) wenn DecimalSeparator is . (Punkt)
; (Strichpunkt) wenn DecimalSeparator ist , (Komma)

ChainingSeparator:
; (Semikolon), wenn DecimalSeparator . (Punkt) ist
;; (Doppelpunkt) wenn DecimalSeparator ist , (Komma)

Operatoren

Operatoren werden in Formeln verwendet, um Vorgänge mit einem oder mehreren Operanden zu beschreiben. Der Ausdruck a + b verwendet beispielsweise den Operator +, um die zwei Operanden a und b hinzuzufügen.

Operator:
BinaryOperator
BinaryOperatorRequiresWhitespace
PrefixOperator
PrefixOperatorRequiresWhitespace
PostfixOperator