Well it doesn't necessarily have to be a traditional/printed character - maybe stuff in low ASCII or high Unicode ranges could be guaranteed not to appear?
Alternatively, as Nick suggests, some form of escaping - e.g. prefix all non-delimiting delimiter characters with an escape character, for example backslash, and that way, you could safely escape everything (with original backslashes would be doubled up). List: http://www.antlr.org/mailman/listinfo/antlr-interest Unsubscribe: http://www.antlr.org/mailman/options/antlr-interest/your-email-address -- You received this message because you are subscribed to the Google Groups "il-antlr-interest" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/il-antlr-interest?hl=en.
