GwiParent.java

// Library for issue #511: https://github.com/typetools/checker-framework/issues/511

abstract class GwiParent {
    abstract void syntaxError(Recognizer<?> recognizer);
}

abstract class ATNSimulator {}

class Recognizer<ATNInterpreter extends ATNSimulator> {}