html
Create an HTML3.2 span (without a top-level html tag) containing a styled presentation of the given method name. The method name must have quotes around it, and have backslash escapes for embedded backslashes and quotes. If stripQuotes is true, remove the outer quotes and backslashes used as escapes.
Note that there are other kinds of escape sequences, such as "\(20)", but those won't occur in a name that was created by producing the toString of an A_String representing a method name. The only backslashes in such a name always precede a quote or another backslash.
Return
An HTML3.2 String that can be substituted inside a top-level html tag (or any place a span could go), which presents the method name with the best approximation of what the styling can produce.
Parameters
The name of the method, including outer quotes and backslashes for escaped characters.
Whether to strip the outer quotes and backslash escapes in the output HTML String.
The Stylesheet that determines how the abstract styling leads to concrete presentation changes (e.g., font color).
The one-based start of the token to highlight in the name. If this is -1, ignore pastEndOfToken and don't highlight anything.
The one-based end, inclusive, of the token to highlight in the name.