within vs. withincode

[juha]

Instead of:
call(void System->println(..)) AND within(Foo))
call(void System->println(..)) AND withincode(Foo->new(..)))
call(void System->println(..)) AND withincode(* Foo->*(..)))

We could have:
call(void System->println(..)) AND within(Foo))
call(void System->println(..)) AND within(Foo->new(..)))
call(void System->println(..)) AND within(* Foo->*(..)))

Within/withincode functionality depends on the content. These keywords appear redundant. The latter example has same semantics but requires the developer to learn one less keyword and its usage.

[juha]

I don't think this will ever be added. Its not on our TODO list. By the time we'd have the cycles to implement this, 5.0 may already be widely adopted, then again, maybe not...

If you were interested in implementing this, please do. I would grant you CVS access if you did implement it.

Bill