Changes between Version 9 and Version 10 of NameSpaces

Timestamp:

2017-09-11 14:23:45 (8 years ago)

Author:

archibald

Comment:

--

NameSpaces

@@ -10 +10 @@
 To store namespaces we need a structure similar to that detailed below ... [wiki:NotationExplaination explaination of the notation]
 
+== DATA DEFINITION ==
 {{{
 NAMESPACE $project:tdx - $system:lang    // however $project is implied and not really needed
@@ -25 +26 @@
     }
 }}}
+
+== SYNTAX DEFINITION ==
+
+{{{#!div style="background: #ffd; border: 3px ridge"
+namespaceClause := "NAMESPACE" {"$"} ident {":"ident}* { "-" {"$" ident { ":" ident }* { ident {":"ident}* }* }; 
+}}}