maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] xml parsing

From: Scott Christley <schristley AT mac.com>
To: maude-help AT cs.uiuc.edu
Subject: [Maude-help] xml parsing
Date: Tue, 16 Apr 2013 15:33:20 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help/>
List-id: <maude-help.cs.uiuc.edu>

Hello,

I want my Maude (v2.3) program to be able to parse and manipulate XML. I can
create sorts and operators such as this:

sort xmlValue .
sort xmlKey .
op <key> _ </key> : xmlValue -> xmlKey .

and it works fine, but the issue is that whitespace is required between the
tokens, so this can be parsed:

<key> name </key>

but this cannot be parsed:

<key>name</key>

Is there a way to allow this? For example, it seems other symbols like
parentheses do not require whitespace.

thanks
Scott

[Maude-help] xml parsing, Scott Christley, 04/16/2013
- Re: [Maude-help] xml parsing, Steven Eker, 04/16/2013
  - Re: [Maude-help] xml parsing, Scott Christley, 04/16/2013