// Special manipulation if we are going to write a new paragraph
function handleBeginningOfParagraph(bBeginningOfParagraph : node) {
    if bBeginningOfParagraph {
        @<text:p text:style-name="P1">@
        bBeginningOfParagraph = false;
    }
}

TrafficLight2OASIS ::=
    => {
        // Invariant part of the document, such as styles
        @<?xml version="1.0" encoding="UTF-8"?>
<office:document-content xmlns:office="urn:oasis:names:tc:opendocument:xmlns:office:1.0" xmlns:style="urn:oasis:names:tc:opendocument:xmlns:style:1.0" xmlns:text="urn:oasis:names:tc:opendocument:xmlns:text:1.0" xmlns:table="urn:oasis:names:tc:opendocument:xmlns:table:1.0" xmlns:draw="urn:oasis:names:tc:opendocument:xmlns:drawing:1.0" xmlns:fo="urn:oasis:names:tc:opendocument:xmlns:xsl-fo-compatible:1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:meta="urn:oasis:names:tc:opendocument:xmlns:meta:1.0" xmlns:number="urn:oasis:names:tc:opendocument:xmlns:datastyle:1.0" xmlns:svg="urn:oasis:names:tc:opendocument:xmlns:svg-compatible:1.0" xmlns:chart="urn:oasis:names:tc:opendocument:xmlns:chart:1.0" xmlns:dr3d="urn:oasis:names:tc:opendocument:xmlns:dr3d:1.0" xmlns:math="http://www.w3.org/1998/Math/MathML" xmlns:form="urn:oasis:names:tc:opendocument:xmlns:form:1.0" xmlns:script="urn:oasis:names:tc:opendocument:xmlns:script:1.0" xmlns:ooo="http://openoffice.org/2004/office" xmlns:ooow="http://openoffice.org/2004/writer" xmlns:oooc="http://openoffice.org/2004/calc" xmlns:dom="http://www.w3.org/2001/xml-events" xmlns:xforms="http://www.w3.org/2002/xforms" xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" office:version="1.0"><office:scripts/><office:font-face-decls><style:font-face style:name="Tahoma1" svg:font-family="Tahoma"/><style:font-face style:name="Courier New" svg:font-family="&apos;Courier New&apos;" style:font-family-generic="modern" style:font-pitch="fixed"/><style:font-face style:name="Lucida Sans Unicode" svg:font-family="&apos;Lucida Sans Unicode&apos;" style:font-pitch="variable"/><style:font-face style:name="Tahoma" svg:font-family="Tahoma" style:font-pitch="variable"/><style:font-face style:name="Times New Roman" svg:font-family="&apos;Times New Roman&apos;" style:font-family-generic="roman" style:font-pitch="variable"/></office:font-face-decls><office:automatic-styles><style:style style:name="P1" style:family="paragraph" style:parent-style-name="Standard"><style:paragraph-properties style:text-autospace="none"/><style:text-properties style:font-name="Courier New" fo:font-size="10pt" style:font-size-asian="10pt" style:font-size-complex="10pt"/></style:style><style:style style:name="P2" style:family="paragraph" style:parent-style-name="Standard"><style:text-properties style:font-name="Courier New" fo:font-size="10pt" style:font-size-asian="10pt" style:font-size-complex="10pt"/></style:style><style:style style:name="T1" style:family="text"><style:text-properties fo:color="#0000ff" fo:font-weight="bold" style:font-weight-asian="bold" style:font-weight-complex="bold"/></style:style><style:style style:name="T2" style:family="text"><style:text-properties fo:font-style="italic" style:font-style-asian="italic" style:font-style-complex="italic"/></style:style><style:style style:name="T3" style:family="text"><style:text-properties fo:color="#0000ff"/></style:style><style:style style:name="T4" style:family="text"><style:text-properties fo:color="#008000"/></style:style><style:style style:name="T5" style:family="text"><style:text-properties fo:color="#0000ff" style:text-position="sub 58%" fo:font-size="12pt" style:font-size-asian="12pt" style:font-size-complex="12pt"/></style:style><style:style style:name="T6" style:family="text"><style:text-properties fo:color="#800000"/></style:style><style:style style:name="T7" style:family="text"><style:text-properties fo:color="#ff0000" fo:font-weight="bold" style:font-weight-asian="bold" style:font-weight-complex="bold"/></style:style><style:style style:name="fr1" style:family="graphic" style:parent-style-name="Graphics"><style:graphic-properties style:mirror="none" fo:clip="rect(0in 0in 0in 0in)" draw:luminance="0%" draw:contrast="0%" draw:red="0%" draw:green="0%" draw:blue="0%" draw:gamma="100%" draw:color-inversion="false" draw:image-opacity="100%" draw:color-mode="standard"/></style:style></office:automatic-styles><office:body><office:text><office:forms form:automatic-focus="false" form:apply-design-mode="false"/><text:sequence-decls><text:sequence-decl text:display-outline-level="0" text:name="Illustration"/><text:sequence-decl text:display-outline-level="0" text:name="Table"/><text:sequence-decl text:display-outline-level="0" text:name="Text"/><text:sequence-decl text:display-outline-level="0" text:name="Drawing"/></text:sequence-decls>@
    }
    => local bBeginningOfParagraph = true;
    // consume token by token
    [
            // an identifier: keyword or function of the language or sensor
            #readIdentifier:sWord
            => handleBeginningOfParagraph(bBeginningOfParagraph);
            [
                    // a keyword
                    #check(sWord in {"activate", "desactivate", "duration", "start", "strategy"})
                    => {@<text:span text:style-name="T1">@sWord@</text:span>@}
                |
                    // the sensor: 'hour' is displayed in subscript
                    #check(sWord == "vehicles_hour")
                    => {@<text:span text:style-name="T3">vehicles</text:span><text:span text:style-name="T5">hour</text:span>@}
                |
                    // a function
                    #check(sWord == "time")
                    => {@<text:span text:style-name="T3">@sWord@</text:span>@}
                |
                    // other
                    => {@<text:span text:style-name="T2">@sWord@</text:span>@}
            ]
        |
            // a constant string
            #readCString:sText
            => handleBeginningOfParagraph(bBeginningOfParagraph);
            => {@<text:span text:style-name="T6">&quot;@sText.composeHTMLLikeString()@&quot;</text:span>@}
        |
            // symbols to highlight
            ["=>" | "->"]:sSymbol
            => handleBeginningOfParagraph(bBeginningOfParagraph);
            => {@<text:span text:style-name="T7">@sSymbol.composeHTMLLikeString()@</text:span>@}
        |
            // multi-line comment
            !!"/*"
            => handleBeginningOfParagraph(bBeginningOfParagraph);
            [->"*/"]:sComment
            => {@<text:span text:style-name="T4">@sComment.composeHTMLLikeString()@</text:span>@}
        |
            // inline comment
            !!"//"
            => handleBeginningOfParagraph(bBeginningOfParagraph);
            [~[['\r']? '\n']]*:sComment
            => {@<text:span text:style-name="T4">@sComment.composeHTMLLikeString()@</text:span>@}
        |
            // special case: tabulation
            '\t'
            => handleBeginningOfParagraph(bBeginningOfParagraph);
            => {@<text:tab />@}
        |
            // special case: end of paragraph
            ['\r']? '\n'
            => {
                if bBeginningOfParagraph {
                    @<text:p text:style-name="P1">@
                } else {
                    bBeginningOfParagraph = true;
                }
                @</text:p>@
            }
        |
            // any other non-empty character
            #readChar:cChar
            => handleBeginningOfParagraph(bBeginningOfParagraph);
            =>{@@cChar.composeHTMLLikeString()@@}
    ]*
    => {
        // may have a paragraph to close
        if !bBeginningOfParagraph {
            @</text:p>@
        }
        local sFileName = getShortFilename(getInputFilename());
        local sPictureFile = sFileName.rsubString(4) + ".png";
        if sFileName.endString(".tlc") && sPictureFile.existFile() {
            // reference the PNG diagram of the strategy in the document and
            // copy it to the directory devoted to pictures
            copyFile(sPictureFile, "OpenOffice2.0/Pictures/" + sPictureFile);
            @<text:p text:style-name="P1" /><text:p text:style-name="P1">@
            @<draw:frame draw:style-name="fr1" draw:name="graphics1" text:anchor-type="paragraph" @
            // extract the width and height of the picture, loaded as a binary file:
            // each byte is represented by two hexadecimal digits
            local sHexaDimensions = rightString(leftString(loadBinaryFile(sPictureFile), 48), 16);
            local dheight = $6.9*hexaToDecimal(sHexaDimensions.rightString(8)) / hexaToDecimal(sHexaDimensions.leftString(8))$;
            @svg:width="6.9in" @
            @svg:height="@$floor($1 + dheight*10$)/10$@in" @
            @draw:z-index="0"><draw:image xlink:href="Pictures/@sPictureFile@" xlink:type="simple"@
            @ xlink:show="embed" xlink:actuate="onLoad"/></draw:frame></text:p>@
        }
        // end of the document
        @</office:text></office:body></office:document-content>@
    }
    ;