ST4 iterieren eine Liste mit einem Index

Question

So habe ich eine Liste, die über wie so iteriert:

body(foo) ::= "<foo:{it|<\n><\n><bar(it)>}>" 

bar(x) ::= "[<x.key>:<x.value>]" 

ich den Index verwenden möchten.

bar(x) ::= "[<i0>:<x.key>:x.value>]" 

ich sah, dass es eine ist <i> und <i0> Index-Token, aber ich verstehe nicht, wie es verwendet wird, oder wenn es verwendet werden könnte, zu tun, was ich tun will.

Answer 1

Ok, so ist der Trick <i> oder <i0> in passieren, wenn Sie eine Funktion haben, aber ich ist implizit vorhanden innerhalb eines Iterators:

body(foo) ::= "<foo:{it|<\n><\n><bar(i0,it)>}>" 

bar(i,x) ::= "[<i>:<x.key>:<x.value>]"