Grammatica van expressies

Artikel
03/22/2024

Notitie

Microsoft Power Fx is de nieuwe naam voor de formuletaal voor canvas-apps. Aan deze artikelen wordt gewerkt terwijl we de taal extraheren uit canvas-apps en deze integreren met andere Microsoft Power Platform-producten en het beschikbaar maken als open source. Begin met het Microsoft Power Fx-overzicht voor een inleiding in de taal.

Microsoft Power Fx is gebaseerd op formules die een naam aan een expressie binden. Net als in Excel-werkbladen, wanneer de inkomende afhankelijkheden van de expressie veranderen, wordt de expressie opnieuw berekend en verandert de waarde van de naam, waardoor de herberekening mogelijk in andere formules wordt omgezet.

Deze grammatica omvat het expressiegedeelte van de formule. Het binden aan een naam om een formule te maken, is afhankelijk van hoe Power Fx is geïntegreerd. In werkbladen wordt de bindingssyntaxis niet weergegeven, maar wordt deze geïmpliceerd door de locatie waar de uitdrukking is geschreven, bijvoorbeeld door invoeren van =B1 in de A1-cel. In sommige gevallen is helemaal geen binding vereist en wordt Power Fx gebruikt als een expressie-evaluator, bijvoorbeeld ter ondersteuning van berekende kolommen van een databasetabel. Voor Power Apps wordt de binding geïmpliceerd bij het werken in Power Apps Studio met een serialisatie-indeling op basis van YAML voor gebruik buiten Power Apps Studio.

Conventies met betrekking tot de grammatica

De lexicale en syntactische grammatica's worden weergegeven met behulp van grammaticaproducties. Elke productieregel voor de grammatica definieert een niet-terminaal symbool en de mogelijke uitbreidingen van het desbetreffende niet-terminale symbool in reeksen van niet-terminale of terminale symbolen. In grammaticaproducties worden niet-terminale symbolen cursief weergegeven. Terminale symbolen worden weergegeven in een lettertype met een vaste breedte.

De eerste regel van een grammaticaproductie is de naam van het niet-terminale symbool dat wordt gedefinieerd, gevolgd door een dubbele punt. Elke volgende ingesprongen regel bevat een mogelijke uitbreiding van het niet-terminale symbool en wordt opgegeven als een reeks van niet-terminale of terminale symbolen. Neem bijvoorbeeld de volgende productieregel:

GlobalIdentifier:
[@Identifier]

definieert dat een GlobalIdentifier moet bestaan uit het token [@, gevolgd door een id, gevolgd door het token ].

Wanneer er meer dan één mogelijke uitbreiding van een niet-terminaal symbool is, worden de alternatieven weergegeven op afzonderlijke regels. De subscript opt wordt gebruikt om een optioneel symbool aan te geven. Neem bijvoorbeeld de volgende productieregel:

FunctionCall:
FunctionIdentifier(FunctionArguments_opt)

is een korte aanduiding voor:

FunctionCall:
FunctionIdentifier()
FunctionIdentifier(FunctionArguments)

Alternatieven worden normaal gesproken vermeld op afzonderlijke regels. Als er echter een groot aantal alternatieven is, kan de lijst met uitbreidingen op één regel worden voorafgegaan door de tekst 'one of' (een van). Dit is eenvoudigweg de korte manier voor de weergave van alle alternatieven op afzonderlijke regels.

Neem bijvoorbeeld de volgende productieregel:

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

is een korte aanduiding voor:

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

Lexicale analyse

De productie van lexicale eenheden definieert de lexicale grammatica voor een Power Fx-uitdrukking. Elke geldige Power Fx-expressie voldoet aan deze grammatica.

ExpressionUnit:
ExpressionElements_opt

ExpressionElements:
ExpressionElement
ExpressionElementExpressionElements_opt

ExpressionElement:
Whitespace
Comment

Op lexicaal niveau bestaat een Power Fx-expressie uit de volgende stroom: Whitespace-, Comment- en Token-elementen. Deze productieregels worden besproken in de volgende secties. Alleen Token-elementen zijn belangrijk in de syntactische grammatica.

Spatie

Witruimte (Whitespace) wordt gebruikt om opmerkingen en tokens binnen een Power Apps-document te scheiden.

Whitespace:
elk Unicode Space-scheidingsteken (klasse Zs)
elk Unicode Line-scheidingsteken (klasse Zl)
elk Unicode Paragraph-scheidingsteken (klasse Zp)
Horizontaal tabteken (U+0009)
Teken voor regelinvoer (U+000A)
Verticaal tabteken (U+000B)
Teken voor paginadoorvoer (U+000C)
Teken voor regelterugloop (U+000D)
Teken voor volgende regel (U+0085)

Opmerkingen

Er worden twee soorten opmerkingen ondersteund:

Eenregelige opmerkingen beginnen met de tekens // en worden uitgebreid naar het einde van de bronregel.
Gescheiden opmerkingen beginnen met de tekens /* en eindigen met de tekens */. Commentaar met scheidingstekens kan meerdere regels omvatten.

Comment:
DelimitedComment
SingleLineComment

SingleLineComment:
//SingleLineCommentCharacters_opt

SingleLineCommentCharacters:
SingleLineCommentCharacter
SingleLineCommentCharacterSingleLineCommentCharacters_opt

SingleLineCommentCharacter:
alle Unicode-tekens behalve een NewLineCharacter

DelimitedComment:
/*DelimitedCommentCharacters_opt*/

DelimitedCommentCharacters:
DelimitedCommentCharactersNoAsteriskDelimitedCommentCharacters_opt
*DelimitedCommentAfterAsteriskCharacters

DelimitedCommentAfterAsteriskCharacters:
DelimitedCommentNoSlashAsteriskCharacterDelimitedCommentCharacters_opt
*DelimitedCommentAfterAsteriskCharacters

DelimitedCommentCharactersNoAsterisk:
elk Unicode-teken behalve * (asterisk)

DelimitedCommentNoSlashAsteriskCharacter:
elk Unicode-teken behalve / (slash) of * (asterisk)

Commentaarregels zijn niet genest. De tekenreeksen /* en */ hebben geen speciale betekenis binnen een eenregelig commentaar. De tekenreeksen // en /* hebben geen speciale betekenis binnen een commentaar met scheidingstekens.

Commentaar wordt niet verwerkt binnen letterlijke tekstwaarden (literals).

Het volgende voorbeeld bevat twee gescheiden opmerkingen:

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

De volgende voorbeelden bevatten drie opmerkingen van één regel:

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

Letterlijke waarden

Een literal oftewel letterlijke waarde is een representatie van de broncode van een waarde.

Literal:
LogicalLiteral
NumberLiteral
TextLiteral

Logische literals

Er wordt een logische letterlijke waarde (logical literal) gebruikt voor het schrijven van de waarden waar en onwaar, en dit resulteert in een logische waarde.

LogicalLiteral:een van
true false

Numerieke letterlijke waarden

Een numerieke letterlijke waarde (number literal) wordt gebruikt om een numerieke waarde te schrijven en resulteert in een getalwaarde.

NumberLiteral:
DecimalDigitsExponentPart_opt
DecimalDigitsDecimalSeparatorDecimalDigits_optExponentPart_opt
DecimalSeparatorDecimalDigitsExponentPart_opt

DecimalDigits:
DecimalDigit
DecimalDigitsDecimalDigit

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

ExponentPart:
ExponentIndicatorSign_optDecimalDigits

ExponentIndicator:een van
e E

Sign:een van
+ -

Letterlijke tekstwaarde

Een letterlijke tekstwaarde (text literal) wordt gebruikt voor het schrijven van een reeks Unicode-tekens en resulteert in een tekstwaarde. Letterlijke tekstwaarden worden tussen dubbele aanhalingstekens geplaatst. Om dubbele aanhalingstekens in de tekstwaarde op te nemen, herhaalt u de dubbele aanhalingstekens, zoals weergegeven in het volgende voorbeeld:

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

TextLiteral:
"TextLiteralCharacters_opt"

TextLiteralCharacters:
TextLiteralCharacterTextLiteralCharacters_opt

TextLiteralCharacter:
TextCharacterNoDoubleQuote
DoubleQuoteEscapeSequence

TextCharacterNoDoubleQuote:
elk Unicode-codepunt behalve dubbele aanhalingstekens

DoubleQuoteEscapeSequence:
" "

Identifiers

Een id (identifier) is een naam die wordt gebruikt om naar een waarde te verwijzen. Id's kunnen reguliere id's of id's met enkele aanhalingstekens zijn.

Identifier:
IdentifierNamemaarnietOperator of ContextKeyword

IdentifierName:
IdentifierStartCharacterIdentifierContinueCharacters_opt
'SingleQuotedIdentifier'

IdentifierStartCharacter:
LetterCharacter
_

IdentifierContinueCharacter:
IdentifierStartCharacter
DecimalDigitCharacter
ConnectingCharacter
CombiningCharacter
FormattingCharacter

IdentifierContinueCharacters:
IdentifierContinueCharacterIdentifierContinueCharacters_opt

LetterCharacter:
elk Unicode-teken van de klasse Hoofdletter (Lu) of Kleine letter (Ll)
elk Unicode-teken van de klasse Titelletter (Lt)
elk Unicode-teken van de klasse Lettermodificator (Lm) of Letter overig (Lo)
elk Unicode-teken van de klasse Nummerletter (Nl)

CombiningCharacter:
elk Unicode-teken van de klasse Markering zonder tussenruimte (Mn) of Tussenruimte combinatie met markering (Mc)

DecimalDigitCharacter:
elk Unicode-teken van de klasse Decimaal cijfer (Nd)

ConnectingCharacter:
elk Unicode-teken van de klasse Connector-interpunctie (Pc)

FormattingCharacter:
elk Unicode-teken van de klasse Notatie (Cf)

Id's met enkele aanhalingstekens

Een single quoted-identifier kan een reeks van Unicode-tekens bevatten om te gebruiken als id, inclusief trefwoorden, witruimte, commentaar en operators. Enkele aanhalingstekens worden ondersteund met een escape-reeks van twee enkele aanhalingstekens.

SingleQuotedIdentifier:
SingleQuotedIdentifierCharacters

SingleQuotedIdentifierCharacters:
SingleQuotedIdentifierCharacterSingleQuotedIdentifierCharacters_opt

SingleQuotedIdentifierCharacter:
TextCharactersNoSingleQuote
SingleQuoteEscapeSequence

TextCharactersNoSingleQuote:
elk Unicode-teken behalve ' (U+0027)

SingleQuoteEscapeSequence:
' '

Ondubbelzinnige identifier

DisambiguatedIdentifier:
TableColumnIdentifier
GlobalIdentifier

TableColumnIdentifier:
Identifier[@Identifier]

GlobalIdentifier:
[@Identifier]

Contexttrefwoorden

ContextKeyword:
Parent
Self
ThisItem
ThisRecord

Hoofdlettergevoelig

Power Apps-id's zijn hoofdlettergevoelig. De ontwerptool zal ze automatisch in de juiste vorm veranderen wanneer een formule wordt geschreven.

Scheidingstekens

DecimalSeparator:
. (punt) voor talen die een punt gebruiken als scheidingsteken voor decimale getallen, bijvoorbeeld 1.23
, (komma) voor talen die een komma gebruiken als scheidingsteken voor decimale getallen, bijvoorbeeld 1,23

ListSeparator:
, (komma) als DecimalSeparator. (punt) is
; (puntkomma) als DecimalSeparator, (komma) is

ChainingSeparator:
; (puntkomma) als DecimalSeparator. (punt) is
;; (dubbele puntkomma) als DecimalSeparator, (komma) is

Operatoren

Operators worden in formules gebruikt om bewerkingen te beschrijven die betrekking hebben op een of meer operanden. De expressie a + b gebruikt bijvoorbeeld de operator + om de twee operanden a en b toe te voegen.

Operator:
BinaryOperator
BinaryOperatorRequiresWhitespace
PrefixOperator
PrefixOperatorRequiresWhitespace
PostfixOperator

BinaryOperator:een van
= < <= > >= <>
+ - * / ^
&
&& ||
in exactin