checker.src.org.checkerframework.checker.formatter.jdk.astub Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of checker Show documentation
Show all versions of checker Show documentation
The Checker Framework enhances Java’s type system to
make it more powerful and useful. This lets software developers
detect and prevent errors in their Java programs.
The Checker Framework includes compiler plug-ins ("checkers")
that find bugs or verify their absence. It also permits you to
write your own compiler plug-ins.
import org.checkerframework.checker.formatter.qual.*;
package java.util;
class Formatter {
@FormatMethod
public Formatter format(String format, Object... args);
@FormatMethod
public Formatter format(Locale l, String format, Object... args);
}
package java.lang;
class String {
@FormatMethod
public static String format(Locale l, String format, Object... args);
@FormatMethod
public static String format(String format, Object... args);
}
package java.io;
class PrintStream {
@FormatMethod
public PrintStream format(Locale l, String format, Object... args);
@FormatMethod
public PrintStream format(String format, Object... args);
@FormatMethod
public PrintStream printf(Locale l, String format, Object... args);
@FormatMethod
public PrintStream printf(String format, Object... args);
}
class PrintWriter {
@FormatMethod
public PrintWriter format(Locale l, String format, Object... args);
@FormatMethod
public PrintWriter format(String format, Object... args);
@FormatMethod
public PrintWriter printf(Locale l, String format, Object... args);
@FormatMethod
public PrintWriter printf(String format, Object... args);
}
class Console {
@FormatMethod
public Console format(String format, Object... args);
@FormatMethod
public Console printf(String format, Object... args);
}