Switch Matcher

[SoniEx2]

Can we get a switch matcher? It's a set of key-value pairs (aka a HashMap (but not necessarily)) that is much faster than alternations (O(1) vs O(n)).

First you need a pattern. This pattern will be used to lookup a pattern in the map. After matching the pattern, and looking up the result in the map, there are 2 possible outcomes:

• The value is null, or the key doesn't exist.
  • Check for a default case, which is set by using setCase(null, pattern). This has 2 possible outcomes:
    • If there is no default case, the match fails.
    • If there is a default case, we attempt to match it.
• The value is not null. Attempt to match it.

Constructing and using switch matchers could be done as in switch(pattern).setCase(string, pattern).setCase(string, pattern).setCase(null, pattern).

Removing cases could be done with setCase(string, null).

[skyem123]

I do not like the idea of using a null, hmm...

[skyem123]

So... with setCase(string, pattern), is string the ID of the pattern?

[skyem123]

Also, instead of pattern, it would be matcher. 😉

[SoniEx2]

I do not like the idea of using a null, hmm...

"null" means "none". See also Python. (Do note that I only decided this because it's map-backed, and maps return null for missing keys.)

So... with setCase(string, pattern), is string the ID of the pattern?

string is a string. If the pattern you're switching on (the one you passed to switch()) matches "abc", the case you're looking for has "abc" as string.

Basically, this is backed by a HashMap<String, Matcher>. The basic idea is this:

Find match for the switch pattern (the one you passed to switch()), map.get(<the match>), if it's null you look for a default case with map.get(null), either way you now have a matcher (or null if there's no default either). If it's null the switch doesn't match, otherwise you match the retrieved matcher.

Something like this: (simplified lazy pseudocode - I don't know what your codebase looks like)

// Java because I'm lazy
private HashMap map = new HashMap<String, Matcher>();
private Matcher matcher; // this is what you switch on

public void setCase(String string, Matcher matcher) {
    map.put(string, matcher);
}

public boolean match(State s) {
    if (matcher.match(s)) {
        Matcher m = map.get(s.getMatch()); // try case
        if (m == null) m = map.get(null); // try default
        if (m == null) return false; // didn't match
        return m.match(s); // run case (or default) matcher
    }
    return false;
}

Also, instead of pattern, it would be matcher. 😉

Same thing.

[skyem123]

Hm...
Maybe I should have a FilteredMatch class, that can filter based on the string, start position range and end position range, as that would allow for more detailed filtering.

[SoniEx2]

That's already possible.

[skyem123]

huh?

[SoniEx2]

Anchor a match to the start of the string, add garbage/ignored characters (optionally make them optional), then follow it with a switcher.

You do a position range with the garbage chars, you do the "filter based on the string" with a switcher.

[skyem123]

so you're saying to modify the string?

[SoniEx2]

What? No I mean like, add as many "matcher for any character" as you need.

[skyem123]

Can you describe how to match ranges instead of strings themselves will work? I didn't quite understand you there.