In ListMatching you can use list variables inside a match against a list pattern. List variables are variables followed by a *. List variables represent list content: some terms that can be put in a list.

The current implementation in StrategoRelease09 just supports simple matching like [t*] and [t,t*]. This is still an experimental feature; full support to follow.

-- MartinBravenboer - 25 Jan 2003


Revision: r1.1 - 25 Jan 2003 - 01:45 - MartinBravenboer
Stratego > StrategoGlossary > ListMatching
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback