org.checkerframework.framework.stub

Class RemoveAnnotationsForInference

java.lang.Object

org.checkerframework.framework.stub.RemoveAnnotationsForInference

public class RemoveAnnotationsForInference
extends Object

Process Java source files to remove annotations that ought to be inferred.

Removes annotations from all files in the given directories. Modifies the files in place.

Does not remove trusted annotations: those that the checker trusts rather than verifies.

Does not remove annotations at locations where inference does no work:

• within the scope of a relevant @SuppressWarnings
• within the scope of @IgnoreInWholeProgramInference or an annotation meta-annotated with that, such as @Option

After removing annotations, javac may issue "warning: [cast] redundant cast to ..." if -Alint:cast (or -Alint:all which implies it) is passed to javac. You can suppress the warning by passing -Alint:-cast to javac.

Constructor Summary

Constructors

Constructor and Description
RemoveAnnotationsForInference()

Method Summary

Modifier and Type	Method and Description
static void	main(String[] args) Processes each provided command-line argument; see class documentation for details.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RemoveAnnotationsForInference

public RemoveAnnotationsForInference()

Method Detail

main

public static void main(String[] args)

Processes each provided command-line argument; see class documentation for details.

Parameters:

args - command-line arguments: directories to process