Skip to content

Commit

Permalink
Clean up imports
Browse files Browse the repository at this point in the history
  • Loading branch information
smillst committed Jan 19, 2016
1 parent c709392 commit 0d6c5a6
Showing 1 changed file with 15 additions and 15 deletions.
30 changes: 15 additions & 15 deletions src/sparta/checkers/NotReviewedLibraryChecker.java
Original file line number Diff line number Diff line change
@@ -1,6 +1,18 @@
package sparta.checkers;

import static sparta.checkers.FlowChecker.SPARTA_OUTPUT_DIR;
import org.checkerframework.common.basetype.BaseAnnotatedTypeFactory;
import org.checkerframework.common.basetype.BaseTypeChecker;
import org.checkerframework.common.basetype.BaseTypeVisitor;
import org.checkerframework.framework.qual.StubFiles;
import org.checkerframework.framework.qual.Unqualified;
import org.checkerframework.framework.source.Result;
import org.checkerframework.framework.source.SupportedOptions;
import org.checkerframework.framework.stub.StubGenerator;
import org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType;
import org.checkerframework.framework.util.AnnotatedTypes;
import org.checkerframework.javacutil.ElementUtils;
import org.checkerframework.javacutil.InternalUtils;
import org.checkerframework.javacutil.TreeUtils;

import java.io.File;
import java.io.FileNotFoundException;
Expand All @@ -19,26 +31,14 @@
import javax.lang.model.element.TypeElement;
import javax.tools.Diagnostic.Kind;

import org.checkerframework.common.basetype.BaseAnnotatedTypeFactory;
import org.checkerframework.common.basetype.BaseTypeChecker;
import org.checkerframework.common.basetype.BaseTypeVisitor;
import org.checkerframework.framework.qual.StubFiles;
import org.checkerframework.framework.qual.Unqualified;
import org.checkerframework.framework.source.Result;
import org.checkerframework.framework.source.SupportedOptions;
import org.checkerframework.framework.stub.StubGenerator;
import org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType;
import org.checkerframework.framework.util.AnnotatedTypes;
import org.checkerframework.javacutil.ElementUtils;
import org.checkerframework.javacutil.InternalUtils;
import org.checkerframework.javacutil.TreeUtils;

import com.sun.source.tree.MemberSelectTree;
import com.sun.source.tree.MethodInvocationTree;
import com.sun.source.tree.MethodTree;
import com.sun.source.tree.NewClassTree;
import com.sun.source.tree.Tree;

import static sparta.checkers.FlowChecker.SPARTA_OUTPUT_DIR;

/**
* This checker outputs a warning every location a method, constructor, or field
* that has not been reviewed is used.
Expand Down

0 comments on commit 0d6c5a6

Please sign in to comment.