/// <summary> Creates a Words object for lexing the operators with names specified in ops,
/// and for lexing the keywords case insensitively.
/// Keywords and operators are lexed as TokenReserved.
/// Words that are not among the keywords are lexed as TokenWord.
/// </summary>
/// <param name="wscanner">the scanner for a word in the language.
/// </param>
/// <param name="ops">the operator names.
/// </param>
/// <param name="keywords">the keyword names.
/// </param>
/// <param name="toWord">the FromString object used to create a token for non-key words recognized by wscanner.
/// </param>
/// <returns> the Words instance.
/// </returns>
public static Words GetCaseInsensitive(Scanner wscanner, string[] ops, string[] keywords,
FromString toWord)
{
return(Words.getCaseInsensitive(wscanner, ops, keywords, toWord));
}
/// <summary> Creates a Words object for lexing the operators with names specified in ops,
/// and for lexing the keywords case insensitively.
/// Keywords and operators are lexed as TokenReserved.
/// Words that are not among the keywords are lexed as TokenWord.
/// A word is defined as an alpha numeric string that starts with [_a-zA-Z],
/// with 0 or more [0-9_a-zA-Z] following.
/// </summary>
/// <param name="ops">the operator names.
/// </param>
/// <param name="keywords">the keyword names.
/// </param>
/// <returns> the Words instance.
/// </returns>
public static Words GetCaseInsensitive(string[] ops, string[] keywords)
{
return(Words.getCaseInsensitive(ops, keywords));
}