W3C home > Mailing lists > Public > public-ixml@w3.org > October 2021

Renaming idea for a future version.

From: Steven Pemberton <steven.pemberton@cwi.nl>
Date: Wed, 27 Oct 2021 19:25:21 +0000
Message-Id: <1635362027555.1894785024.729734229@cwi.nl>
To: ixml <public-ixml@w3.org>
Working further on my tutorial.
I give examples of how to rename an element:

	start: -date.

so a <start> element has the same content structure as a <date>.

But it would be handy to go in the other direction too.

	date: day, " ", month, " ", year.
	day: d, d?.
	month: "January"; "February"; etc.
	year: d, d, d, d.

	iso: year, "-", nmonth, "-", day.
	nmonth: d, d.

the month and nmonth elements have to have different names, because they 
have different syntaxes.

Strawperson proposal:

	iso: year, "-", nmonth^month, "-", day.

Read "an nmonth serialised as <month>", and by extension, used in a rule 
definition:

	nmonth^month: d, d.

Steven
Received on Wednesday, 27 October 2021 19:25:37 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 13 September 2022 10:02:05 UTC