James Hamilton 712fd768ca Add ability to skip to next option if parse error ...

Allows providing a function to handle the case of an unknown option.

```
    public static void main(String[] args)
    {
        try
        {
            try (ConfigurationParser parser = new ConfigurationParser(new String[]{"-keep class * {}", "-unknownoption", "-whatisthisoption?"}, System.getProperties()))
            {
                parser.parse(new Configuration(), (option, location) -> {
                    System.out.println("Unknown option: " + option + " @ " + location);
                });
            }
            catch (ParseException ex)
            {
                ex.printStackTrace();
            }
        }
        catch (IOException ex)
        {
            ex.printStackTrace();
        }
    }
```

Output:

```
Unknown option: -unknownoption @ argument number 2
Unknown option: -whatisthisoption? @ argument number 3
```

2024-01-22 14:55:53 +01:00

..

src

Add ability to skip to next option if parse error

2024-01-22 14:55:53 +01:00

build.gradle

Fix MemberDescriptorSpecializer checking wrong processing flags

2023-12-01 14:56:44 +01:00