User Tools

Site Tools


z:dateiformat

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
z:dateiformat [2008/10/20 21:44]
cabalistic angelegt
z:dateiformat [2015/08/23 13:59] (current)
Line 36: Line 36:
 === Datei === === Datei ===
 Eine Datei ist der globale Block mit Typnamen "GLOBAL" und unspezifiziertem Bezeichner. Sie enthält beliebig viele Unterblöcke und kann auch Attribute enthalten. Eine Datei ist der globale Block mit Typnamen "GLOBAL" und unspezifiziertem Bezeichner. Sie enthält beliebig viele Unterblöcke und kann auch Attribute enthalten.
 +
 +
 +===== Grammatik =====
 +
 +  file        ::= inner_block
 +  inner_block ::= (block | attribute)*
 +  block       ::= identifier [identifier] '{' inner_block '}'
 +  identifier  ::= alphanumeric (alphanumeric)*
 +  attribute   ::= identifier '=' value eol
 +  value       ::= list | string
 +  list        ::= '(' (list | string) (',' (list | string))* ')'
 +
z/dateiformat.1224531879.txt.gz · Last modified: 2015/08/23 14:03 (external edit)