Input Edit Techniques

I need to do some input editing for things like time (hh:mm:ss), phone numbers (999/888-7777), and others. There are lots of JavaScript functions to edit characters on the fly. Has anybody had any luck using similar techniques in XOJO?

If you don’t use JavaScript then what is the best technique.

Here is a link to some examples: