ECMAScript 4 Unit Patterns

ECMAScript 4 Netscape Proposal

Rationale

Unit Patterns

Monday, June 30, 2003

This LALR(1) grammar describes the syntax of quoted unit patterns. The semantics describe the actions the lexer takes in order to interpret a quoted unit pattern. The input to this grammar and semantics is the unit string literal’s contents after the string literal has been processed. See also the description of the semantic notation.

This document is also available as a Word RTF file.

The start nonterminal is UnitPattern.

White Space

Syntax

{wsopt, wsreq}

WhiteSpaceCharacter

«TAB» | «VT» | «FF» | «SP» | «u00A0»

| «u2000» | «u2001» | «u2002» | «u2003» | «u2004» | «u2005» | «u2006» | «u2007»

| «u2008» | «u2009» | «u200A» | «u200B»

| «u3000»

LineTerminator «LF» | «CR» | «u0085» | «u2028» | «u2029»

RequiredWhiteSpace

WhiteSpaceCharacter

| LineTerminator

| RequiredWhiteSpace WhiteSpaceCharacter

| RequiredWhiteSpace LineTerminator

WhiteSpace^wsopt

RequiredWhiteSpace

| «empty»

WhiteSpace^wsreq RequiredWhiteSpace

Unit Patterns

Syntax

UnitPattern WhiteSpace^wsopt UnitQuotient

UnitQuotient

UnitProduct^wsopt

| UnitProduct^wsopt / WhiteSpace^wsopt UnitProduct^wsopt

UnitProduct

| UnitProduct^wsopt * WhiteSpace^wsopt UnitFactor

| UnitProduct^wsreq UnitFactor

UnitFactor

1 WhiteSpace

| 1 WhiteSpace^wsopt ^ WhiteSpace^wsopt SignedInteger WhiteSpace

| Identifier WhiteSpace

| Identifier WhiteSpace^wsopt ^ WhiteSpace^wsopt SignedInteger WhiteSpace

Semantics

tuple UnitFactor

identifier: String,

exponent: Integer

end tuple;

UnitList = UnitFactor[];

proc unitReciprocal(value: UnitList): UnitList

return [UnitFactoridentifier: f.identifier, exponent: –f.exponent | f value]

end proc;

Value[UnitPattern WhiteSpace^wsopt UnitQuotient]: UnitList = Value[UnitQuotient];

Value[UnitQuotient]: UnitList;

Value[UnitQuotient UnitProduct^wsopt] = Value[UnitProduct^wsopt];

Value[UnitQuotient UnitProduct^wsopt₁ / WhiteSpace^wsopt UnitProduct^wsopt₂] = Value[UnitProduct^wsopt₁] unitReciprocal(Value[UnitProduct^wsopt₂]);

Value[UnitProduct]: UnitList;

Value[UnitProduct UnitFactor] = Value[UnitFactor];

Value[UnitProduct₀ UnitProduct^wsopt₁ * WhiteSpace^wsopt UnitFactor] = Value[UnitProduct^wsopt₁] Value[UnitFactor];

Value[UnitProduct₀ UnitProduct^wsreq₁ UnitFactor] = Value[UnitProduct^wsreq₁] Value[UnitFactor];

Value[UnitFactor]: UnitList;

Value[UnitFactor 1 WhiteSpace] = [];

Value[UnitFactor 1 WhiteSpace^wsopt ^ WhiteSpace^wsopt SignedInteger WhiteSpace] = [];

Value[UnitFactor Identifier WhiteSpace] = [UnitFactoridentifier: Name[Identifier], exponent: 1];

Value[UnitFactor Identifier WhiteSpace^wsopt ^ WhiteSpace^wsopt SignedInteger WhiteSpace] = [UnitFactoridentifier: Name[Identifier], exponent: IntegerValue[SignedInteger]];

Signed Integers

Syntax

SignedInteger

| + DecimalDigits

| - DecimalDigits

DecimalDigits

| DecimalDigits ASCIIDigit

ASCIIDigit 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9

Semantics

IntegerValue[SignedInteger]: Integer;

IntegerValue[SignedInteger DecimalDigits] = IntegerValue[DecimalDigits];

IntegerValue[SignedInteger + DecimalDigits] = IntegerValue[DecimalDigits];

IntegerValue[SignedInteger - DecimalDigits] = –IntegerValue[DecimalDigits];

IntegerValue[DecimalDigits]: Integer;

IntegerValue[DecimalDigits ASCIIDigit] = DecimalValue[ASCIIDigit];

IntegerValue[DecimalDigits₀ DecimalDigits₁ ASCIIDigit] = 10IntegerValue[DecimalDigits₁] + DecimalValue[ASCIIDigit];

DecimalValue[ASCIIDigit]: Integer = digitValue(ASCIIDigit);

Identifiers

Syntax

Identifier

InitialIdentifierCharacter

| Identifier ContinuingIdentifierCharacter

InitialIdentifierCharacter UnicodeInitialAlphabetic | $ | _

ContinuingIdentifierCharacter UnicodeAlphanumeric | $ | _

UnicodeInitialAlphabetic Any Unicode initial alphabetic character (includes ASCII A-Z and a-z)

UnicodeAlphanumeric Any Unicode alphabetic or decimal digit character (includes ASCII 0-9, A-Z, and a-z)

Semantics

Name[Identifier]: String;

Name[Identifier InitialIdentifierCharacter] = [InitialIdentifierCharacter];

Name[Identifier₀ Identifier₁ ContinuingIdentifierCharacter] = Name[Identifier₁] [ContinuingIdentifierCharacter];

Waldemar Horwat
Last modified Monday, June 30, 2003