File: Options.java

package info (click to toggle)

checker-framework-java 3.2.0%2Bds-1

file content (8 lines) | stat: -rw-r--r-- 128 bytes

public class Options {

    private Class main_class;

    public Options() {
        throw new Error("" + main_class);
    }
}