Hello, I've been looking at the documentation and trying small examples to do the following but to no avail. I have a virtual string which contains a ( as one of its characters and I would like to extract the part which comes before the (. I've tried to transform the virtual string into a string and use String.token but it's not working. The result I get when I browse the string is something like [104 105 40 104 97] which, I suspect, is not correct. Maybe I'm doing something wrong? Can someone tell me how to achive this?
Thanks
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
