Masken und Screens
<mask> | := | <masktype> ident '{' <maskstlist> '}' |
; | ||
<maskstlist> | := | <maskst> |
| | <maskstlist> | |
; | ||
<masktype> | := | OS_HOMEPAGE |
| | OS_MASK | |
| | OS_MENU | |
| | OS_MENUBAR | |
| | OS_SPECMASK | |
; | ||
<maskst> | := | <updatemaskst> |
| | OS_HIDDEN | |
| | OS_NOWARN | |
| | OS_SELUID ';' | |
| | OS_SYSPERM ';' | |
| | OS_TITLE <number> ';' | |
| | OS_POSMASK ident ';' | |
| | OS_MMENUBAR ident ';' | |
| | OS_IMEXMENUBAR ident ';' | |
| | OS_ORDERMENUBAR ident ';' | |
| | OS_SELECTMENUBAR ident ';' | |
| | OS_SURVOMENUBAR ident ';' | |
| | OS_SURVEYMENUBAR ident ';' | |
| | ';' | |
; | ||
<updatemaskst> | := | OS_SORTLIST '{' '{' <orderlist> '}' '}' |
| | OS_INDEXLIST [ OS_UNIQUE ] '{' <orderlist> '}' | |
| | OS_NMGIVELIST [ OS_REVERSE ] <listpos> '{' <nmgivelist> '}' |
|
| | OS_NMTAKELIST [ OS_REVERSE ] '{' <nmgivelist> '}' | |
| | OS_MFIELDLIST '{' <maskfieldlist> '}' | |
; | ||
<orderlist> | := | ident ',' <number> ';' |
; | ||
<listpos> | := | <listposition> <listtarget> |
; | ||
<listposition> | := | OS_BEFORE |
| | OS_AFTER | |
; | ||
<listtarget> | := | OS_FIRST |
| | OS_LAST | |
| | ident | |
; | ||
<nmgivelist> | := | ident [ OS_NOMPD ] '{'<takefieldlist> '}' |
| | OS_SEPARATOR ident ';' | |
; | ||
<takefieldlist> | := | ident ',' ident ';' |
| | ident ',' ident ',' <tgflaglist> ';' | |
| | <takefieldlist> | |
; | ||
<tgflaglist> | := | <tgflag> |
| | <tgflaglist> | |
; | ||
<tgflag> | := | OS_NULL |
| | OS_TGSEL | |
| | OS_USERSEL | |
| | OS_COPY | |
; | ||
<maskfieldlist> | := | <addormove> OS_SCREEN <number> OS_TITLE <number> '{' framelist '}' |
| | OS_DELETE OS_SCREEN <number> ';' | |
; | ||
<framelist> | := | <addormove> ident '[' <number> ',' <number> ']' ';' |
| | OS_UPDATE ident ';' | |
; | ||
<addormove> | := | OS_ADD |
| | OS_MOVE | |
; |