Is their a way to display strategies
(or just thier names) from within 
Stratego.

This could be used to add trace 
monitors to Stratego code.

For example:

<verbatim>
------------------------------
I-str-detectfail-here(s) =
	 s <+
	 ...Display s somehow!...
------------------------------
</verbatim>

Might be used to call strategies
whose specification says they should 
not fail -- displaying a big warning
message and the strategy name when
(i mean if;) they do..

-- Bill J Ellis

There is no way to introspect a strategy at run-time to get
its name (or any other analysis for that matter). What you
might find useful is the strategy risky in term-io.str (in SSL),
defined as:
<verbatim>
  risky(msg, s) =
	 restore(s, debug(msg))
</verbatim>
which will print msg on failure of s (see restore in conditional.str).
Thus, you can wrap the strategy that
you expect to succeed with 
<verbatim>
	risky(!"strategy s should always succeed here: "), s)
</verbatim>
One could imagine instrumenting the Stratego code such that a
strategy would print its name upon request, or go into reflection
mode. I'd have to think about details though. 

-- Main.EelcoVisser - 23 Jul 2003