User interface

Syntax

Definition ::= MetaAnno* "screen" QId
                 "(" {FArg ","}* ")" (":" Type)?
                 "{" ScreenElem* "}"
             | MetaAnno* "control" QId
                 "(" {FArg ","}* ")"
                 "{" ScreenElem* "}"
ScreenElem ::= (ID "@")? "<" HTMLID HtmlArg* ">"
                  ScreenElem* "</" HTMLID ">"
             | (ID "@")? "<" HTMLID HtmlArg* "/"">" 
             | "var" ID ":" Type "=" Exp
             | "var" ID "=" Exp
             | "var" ID ":" Type "<-" Exp
             | "var" ID "<-" Exp
             | "script" "{" Statement* "}"
             | STRING
             | "list" "(" LValue (":" Type)? "in" Exp ")"
                 "{" ScreenElem* "}"
             | "when" "(" Exp ")" "{" ScreenElem* "}"
                 ("else" "{" ScreenElem* "}")?
             | Exp "(" {NamedExp ","}* ")"
                 "{" ScreenElem* "}"
             | Exp "(" {NamedExp ","}* ")"
             | Exp "{" ScreenElem* "}"

language/ui.txt · Last modified: 2020/03/11 10:47 by Zef Hemel