Modula-2 Reloaded

A Modern Typesafe & Literate Programming Notation

Site Menu

Project

Specification

Implementation

Recommendations

Reference

Needs Updating

Work in Progress

Wastebasket

Wiki Manual

edit SideBar

Output Formats For Numeric Types Representing Cardinal Numbers

WiP.OutputFormatsForNumericTypesRepresentingCardinalNumbers History

Hide minor edits - Show changes to markup

2010-01-31 05:14 by benjk -
Deleted lines 89-91:

fixedFmtDecimal : 

    integralPart ;
Restore
2010-01-31 05:12 by benjk -
Changed lines 10-11 from:
    base16Notation | decimalNotation;
to:
    cardNumberNotation;
Changed line 59 from:
Base-16 Notation
to:
Cardinal Number Notation
Changed lines 61-73 from:

base16Notation : 

    base16CLiteral | base16M2Literal ;

base16CLiteral : 

    '0' 'x' ( decimalDigit | 'a' .. 'f' )+ ;

base16M2Literal : 

    '0' ( decimalDigit | 'A' .. 'F' )+ 'H' ;

@]

Decimal Notation

[@ decimalNotation :

to:

cardNumberNotation :

Changed lines 80-81 from:
    sign? fillChar* ( fixedFmtDecimal | expFmtDecimal ) suffix? ;
to:
    base16CLiteralFmt | base16M2LiteralFmt | decimalFmt ;

base16CLiteralFmt : 

    '0' 'x' ( decimalDigit | 'a' .. 'f' )+ ;

base16M2LiteralFmt : 

    '0' ( decimalDigit | 'A' .. 'F' )+ 'H' ;

decimalFmt : 

    sign? fillChar* integralPart suffix? ;
Deleted lines 93-95:

expFmtDecimal : 

    fixedFmtDecimal exponent ;
Deleted lines 101-109:

engIntegralPart : 

    ( ( ( decimalDigit digitSeparator? )? decimalDigit )? decimalDigit )? decimalDigit ;

exponent : 

    'E' '+' decimalDigit decimalDigit+ ;

engExponent : 

    exponent ;
Restore
2010-01-29 16:09 by benjk -
Changed lines 10-11 from:
    cardNumberNotation ;
to:
    base16Notation | decimalNotation;
Changed line 59 from:
Cardinal Number Notation
to:
Base-16 Notation
Changed lines 61-69 from:

cardNumberNotation : 

    unpaddedcardNumberValue | leftPaddedcardNumberValue | rightPaddedcardNumberValue ;

leftPaddedcardNumberValue : 

    whitespace+ unpaddedcardNumberValue ;

rightPaddedcardNumberValue : 

    unpaddedcardNumberValue whitespace+ ;
to:

base16Notation : 

    base16CLiteral | base16M2Literal ;

base16CLiteral : 

    '0' 'x' ( decimalDigit | 'a' .. 'f' )+ ;

base16M2Literal : 

    '0' ( decimalDigit | 'A' .. 'F' )+ 'H' ;

@]

Decimal Notation

[@ decimalNotation : 

    unpaddedCardNumberValue | leftPaddedCardNumberValue | rightPaddedCardNumberValue ;

leftPaddedCardNumberValue : 

    whitespace+ unpaddedCardNumberValue ;

rightPaddedCardNumberValue : 

    unpaddedCardNumberValue whitespace+ ;
Changed line 85 from:

unpaddedcardNumberValue :

to:

unpaddedCardNumberValue :

Restore
2010-01-29 15:58 by benjk -
Added lines 1-127:

Types

CARDINAL, LONGCARD

Syntax

The EBNF for the textual representation of values of types that represent cardinal numbers is

Values and Value Lists
cardNumberValue :
    cardNumberNotation ;

cardNumberValueList :
    cardNumberValue ( listSeparator cardNumberValue )* ;

listSeparator :
    defaultListSeparator | userDefinedListSeparator | newline ;

defaultListSeparator :
    defaultListSeparatorForValuesWithCommas |
    defaultListSeparatorForValuesWithoutCommas ;

defaultListSeparatorForValuesWithCommas :
    ';' whitespace ;

defaultListSeparatorForValuesWithoutCommas :
    ',' whitespace ;

userDefinedListSeparator :
    character whitespace? ;
Arrays and Array Lists
cardNumberArray :
     openingArrayDelimiter cardNumberValueList closingArrayDelimiter ;

cardNumberArrayList :
    cardNumberArray ( listSeparator cardNumberArray )* ;

openingArrayDelimiter :
    ( defaultOpeningArrayDelimiter | userDefinedOpeningArrayDelimiter ) whitespace ;

closingArrayDelimiter :
    whitespace ( defaultClosingArrayDelimiter | userDefinedOpeningArrayDelimiter ) ;

defaultOpeningArrayDelimiter :
    '{' ;

defaultClosingArrayDelimiter :
    '}' ;

userDefinedOpeningArrayDelimiter :
    '(' | '[' ;

userDefinedClosingArrayDelimiter :
    ')' | ']' ;
Cardinal Number Notation
cardNumberNotation :
    unpaddedcardNumberValue | leftPaddedcardNumberValue | rightPaddedcardNumberValue ;

leftPaddedcardNumberValue :
    whitespace+ unpaddedcardNumberValue ;

rightPaddedcardNumberValue :
    unpaddedcardNumberValue whitespace+ ;

whitespace :
    ' ' ;

unpaddedcardNumberValue :
    simpleFormat | otherFormats ;

simpleFormat :
    decimalDigit+ ;

otherFormats :
    sign? fillChar* ( fixedFmtDecimal | expFmtDecimal ) suffix? ;

fixedFmtDecimal :
    integralPart ;

expFmtDecimal :
    fixedFmtDecimal exponent ;

sign :
    whitespace | '+' ;

fillChar :
    whitespace | '*' | '0' ;

integralPart :
    decimalDigit decimalDigit? decimalDigit? ( digitSeparator? digitGroup )* ;

engIntegralPart :
    ( ( ( decimalDigit digitSeparator? )? decimalDigit )? decimalDigit )? decimalDigit ;

exponent :
    'E' '+' decimalDigit decimalDigit+ ;

engExponent :
    exponent ;

digitSeparator :
    whitespace | ',' | '.' ;

digitGroup :
    decimalDigit decimalDigit decimalDigit ;

decimalDigit  :
    '0' .. '9' ;

suffix :
    character* ;

character :
    <any printable ASCII character> ;

newline :
    <runtime host dependent ASCII control sequence for new line> ;

Static Semantics

  • all values in a list are shown in the same notation.
  • all values in a list are shown with identical formatting.
Restore