Chore: Remove author tags

src/checkers/inference/InferenceCli.java

@@ -13,8 +13,6 @@
  * Command line launcher for Checker-Framework-Inference.
  *
  * <p>Parses command line options and creates InferenceMain instance to start inference system.
- *
- * @author mcarthur
  */
 public class InferenceCli {
 

src/checkers/inference/InferenceDevelLauncher.java

@@ -19,8 +19,6 @@
  * <p>TODO: We need to think how to enable {@code InferenceDevelLauncher} to find all necessary
  * locations by itself, so that we could remove the dependency of a shell script. After achieving
  * this, we could also apply the similar solution to {@code CheckerDevelMain}.
- *
- * @author charleszhuochen
  */
 public class InferenceDevelLauncher extends InferenceLauncher {
 

src/checkers/inference/InferenceMain.java

@@ -68,8 +68,6 @@
  *
  * <p>In the future, Checker-Framework-Inference might be able to use the inferred annotations for
  * type-checking without first inserting the annotations into the input program.
- *
- * @author mcarthur
  */
 public class InferenceMain {
 

src/checkers/inference/InferrableChecker.java

@@ -24,8 +24,6 @@
  *
  * <p>Some methods are from BaseTypeChecker as convenience to Inference classes so they do not need
  * to have multiple references to the same class.
- *
- * @author mcarthur
  */
 public interface InferrableChecker {
 

src/checkers/inference/SolutionJaifUpdater.java

@@ -24,8 +24,6 @@
  * SolutionJaifUpdater takes in a solved json constraints file and a JAIF that contains
  * {@link @VarAnnot} annotations and creates a new JAIF by replacing the @VarAnnots with the
  * annotation for that @VarAnnot's id in the solution.
- *
- * @author mcarthur
  */
 public class SolutionJaifUpdater {
 

src/checkers/inference/dataflow/InferenceAnalysis.java

@@ -35,8 +35,6 @@
  *
  * <p>Finally, InferenceAnalysis make analysis' nodeValues field available outside of the class.
  * InferenceTransfer uses nodeValue to override values for nodes.
- *
- * @author mcarthur
  */
 public class InferenceAnalysis extends CFAnalysis {
 

src/checkers/inference/dataflow/InferenceStore.java

@@ -8,8 +8,6 @@
  * InferenceStore extends CFStore for inference.
  *
  * <p>Currently it does not change the behaviour of CFStore.
- *
- * @author mcarthur
  */
 public class InferenceStore extends CFStore {
 

src/checkers/inference/dataflow/InferenceValue.java

@@ -28,8 +28,6 @@
  * InferenceValue extends CFValue for inference.
  *
  * <p>leastUpperBound, creates CombVariables to represent the join of two VarAnnots.
- *
- * @author mcarthur
  */
 public class InferenceValue extends CFValue {
 

src/checkers/inference/model/ConstraintManager.java

@@ -15,11 +15,7 @@
 import checkers.inference.model.ArithmeticConstraint.ArithmeticOperationKind;
 import checkers.inference.model.ComparisonConstraint.ComparisonOperationKind;
 
-/**
- * Constraint manager holds constraints that are generated by InferenceVisitor.
- *
- * @author mcarthur
- */
+/** Constraint manager holds constraints that are generated by InferenceVisitor. */
 public class ConstraintManager {
 
     private boolean ignoreConstraints = false;

src/checkers/inference/model/serialization/AnnotationMirrorSerializer.java

@@ -2,11 +2,7 @@
 
 import javax.lang.model.element.AnnotationMirror;
 
-/**
- * Interface to handle serialization and deserialization of AnnotationMirrors to Strings.
- *
- * @author mcarthur
- */
+/** Interface to handle serialization and deserialization of AnnotationMirrors to Strings. */
 public interface AnnotationMirrorSerializer {
 
     AnnotationMirror deserialize(String atm);

src/checkers/inference/model/serialization/JsonDeserializer.java

@@ -53,8 +53,6 @@
  * <p>The format of the json constraint file is documented in JsonSerializer.java.
  *
  * <p>TODO: Support nested constraints
- *
- * @author mcarthur
  */
 public class JsonDeserializer {
 

src/checkers/inference/model/serialization/JsonSerializer.java

@@ -60,8 +60,6 @@
  *
  * <p>// Generics { "constraint": "enabled_check", "id" : "var:12", "then": [ ... ], "else": [ ...
  * ], } ] }
- *
- * @author mcarthur
  */
 public class JsonSerializer implements Serializer<String, JSONObject> {
 

src/checkers/inference/model/serialization/JsonSerializerSolver.java

@@ -19,11 +19,7 @@
 import checkers.inference.model.Constraint;
 import checkers.inference.model.Slot;
 
-/**
- * InferenceSolver that serializes constraints to a file in JSON format.
- *
- * @author mcarthur
- */
+/** InferenceSolver that serializes constraints to a file in JSON format. */
 public class JsonSerializerSolver implements InferenceSolver {
 
     private static final String FILE_KEY = "constraint-file";

src/checkers/inference/model/serialization/SimpleAnnotationMirrorSerializer.java

@@ -9,8 +9,6 @@
  * other).
  *
  * <p>The serialized format is what the game expects: "type:0" and "type:1"
- *
- * @author mcarthur
  */
 public class SimpleAnnotationMirrorSerializer implements AnnotationMirrorSerializer {
 

src/checkers/inference/solver/DebugSolver.java

@@ -21,11 +21,7 @@
 import checkers.inference.model.serialization.ToStringSerializer;
 import checkers.inference.util.InferenceUtil;
 
-/**
- * Debug solver prints out variables and constraints.
- *
- * @author mcarthur
- */
+/** Debug solver prints out variables and constraints. */
 public class DebugSolver implements InferenceSolver {
 
     private static final boolean showAstPaths =

src/checkers/inference/solver/PropagationSolver.java

@@ -30,8 +30,6 @@
  * InferenceSolver FloodSolver implementation
  *
  * <p>TODO: Parameters to configure where to push conflicts?
- *
- * @author mcarthur
  */
 public class PropagationSolver implements InferenceSolver {
 

src/checkers/inference/solver/SolverEngine.java

@@ -31,7 +31,6 @@
  *
  * @see SolverFactory
  * @see SolvingStrategy
- * @author jianchu
  */
 public class SolverEngine implements InferenceSolver {
     protected boolean collectStatistics;

src/checkers/inference/solver/backend/FormatTranslator.java

@@ -11,7 +11,6 @@
  * <p>It encode Slot and Constraint to specific types needed by underlying solver, and decode solver
  * solution to AnnotationMirror.
  *
- * @author charleszhuochen
  * @param <SlotEncodingT> encoding type for slot.
  * @param <ConstraintEncodingT> encoding type for constraint.
  * @param <SlotSolutionT> type for underlying solver's solution of a Slot

src/checkers/inference/solver/backend/Solver.java

@@ -29,7 +29,6 @@
  * checkers.inference.solver.SolverEngine#solveInparall()} and {@link
  * checkers.inference.solver.SolverEngine#solveInSequential()}.
  *
- * @author jianchu
  * @param <T> type of FormatTranslator required by this Solver
  */
 public abstract class Solver<T extends FormatTranslator<?, ?, ?>> {

src/checkers/inference/solver/backend/lingeling/LingelingSolver.java

@@ -26,8 +26,6 @@
 /**
  * LingelingSolver is also a MaxSatSolver but it calls Lingeling SAT solver to solve the clauses. It
  * doesn't support soft constraint.
- *
- * @author jianchu
  */
 public class LingelingSolver extends MaxSatSolver {
 

src/checkers/inference/solver/backend/logiql/DecodingTool.java

@@ -18,8 +18,6 @@
 /**
  * DecodingTool decodes the result from LogicBlox, change the form to human readable form and put
  * the result to HashMap result and return it to LogicSolver.
- *
- * @author Jianchu Li
  */
 public class DecodingTool {
 

src/checkers/inference/solver/backend/logiql/LogiQLFormatTranslator.java

@@ -8,11 +8,7 @@
 import checkers.inference.solver.backend.logiql.encoder.LogiQLConstraintEncoderFactory;
 import checkers.inference.solver.frontend.Lattice;
 
-/**
- * LogiQLFormatTranslator converts constraint into string as logiQL data.
- *
- * @author jianchu
- */
+/** LogiQLFormatTranslator converts constraint into string as logiQL data. */
 public class LogiQLFormatTranslator extends AbstractFormatTranslator<String, String, String> {
 
     public LogiQLFormatTranslator(Lattice lattice) {

src/checkers/inference/solver/backend/logiql/LogiQLPredicateGenerator.java

@@ -13,8 +13,6 @@
 /**
  * LogiqlConstraintGenerator take QualifierHierarchy of current type system as input, and generate
  * the logiql encoding of all constraint, and write the result in a .logic file.
- *
- * @author Jianchu Li
  */
 public class LogiQLPredicateGenerator {
 

src/checkers/inference/solver/backend/logiql/LogiQLSolver.java

@@ -23,8 +23,6 @@
  * constraint into LogiQL data. With both predicate and data created, it calls LogicBloxRunner that
  * runs logicblox to solve the LogiQL, and reads the output. Finally the output will be sent to
  * DecodingTool and get decoded.
- *
- * @author jianchu
  */
 public class LogiQLSolver extends Solver<LogiQLFormatTranslator> {
 

src/checkers/inference/solver/backend/logiql/LogicBloxRunner.java

@@ -9,8 +9,6 @@
 /**
  * LogicBloxRunner send two .logic file generated by LogiqlConstraintGenerator and
  * LogiqlDataGenerator to Logicblox, and write the output from database to file logicbloxOutput.txt.
- *
- * @author Jianchu Li
  */
 public class LogicBloxRunner {
 

src/checkers/inference/solver/backend/maxsat/MathUtils.java

@@ -2,11 +2,7 @@
 
 import checkers.inference.solver.frontend.Lattice;
 
-/**
- * Methods convert between slot id and Max-SAT id.
- *
- * @author jianchu
- */
+/** Methods convert between slot id and Max-SAT id. */
 public class MathUtils {
 
     /**

src/checkers/inference/solver/backend/maxsat/MaxSatFormatTranslator.java

@@ -17,11 +17,7 @@
 import checkers.inference.solver.backend.maxsat.encoder.MaxSATConstraintEncoderFactory;
 import checkers.inference.solver.frontend.Lattice;
 
-/**
- * MaxSatFormatTranslator converts constraint into array of VecInt as clauses.
- *
- * @author jianchu
- */
+/** MaxSatFormatTranslator converts constraint into array of VecInt as clauses. */
 public class MaxSatFormatTranslator extends AbstractFormatTranslator<VecInt[], VecInt[], Integer> {
 
     /**

src/checkers/inference/solver/backend/maxsat/MaxSatSolver.java

@@ -38,8 +38,6 @@
 /**
  * MaxSatSolver calls MaxSatFormatTranslator that converts constraint into a list of VecInt, then
  * invoke Sat4j lib to solve the clauses, and decode the result.
- *
- * @author jianchu
  */
 public class MaxSatSolver extends Solver<MaxSatFormatTranslator> {
 

src/checkers/inference/solver/backend/maxsat/VectorUtils.java

@@ -2,11 +2,7 @@
 
 import org.sat4j.core.VecInt;
 
-/**
- * Helper class for creating VecInt and VecInt array.
- *
- * @author jianchu
- */
+/** Helper class for creating VecInt and VecInt array. */
 public class VectorUtils {
 
     public static VecInt asVec(int... result) {

src/checkers/inference/solver/constraintgraph/ConstraintGraph.java

@@ -18,8 +18,6 @@
  * is a vertex. ConstraintGraph is used for separating constraint into different components by
  * running graph traversal algorithm on it. Normal edges in this graph are bi-directional edges,
  * except SubtypeEdge is single-directed from subtype vertex to supertype vertex.
- *
- * @author jianchu
  */
 public class ConstraintGraph {
 

src/checkers/inference/solver/constraintgraph/Edge.java

@@ -4,11 +4,7 @@
 
 import checkers.inference.model.Constraint;
 
-/**
- * Edge represents a constraint. Edge is undirected.
- *
- * @author jianchu
- */
+/** Edge represents a constraint. Edge is undirected. */
 public class Edge {
 
     protected Vertex from;

src/checkers/inference/solver/constraintgraph/GraphBuilder.java

@@ -28,8 +28,6 @@
 /**
  * GraphBuilder builds the constraint graph and runs graph traversal algorithms to separate the
  * graph in different components.
- *
- * @author jianchu
  */
 public class GraphBuilder {
     private final Collection<Constraint> constraints;

src/checkers/inference/solver/constraintgraph/SubtypeEdge.java

@@ -2,11 +2,7 @@
 
 import checkers.inference.model.SubtypeConstraint;
 
-/**
- * SubtypeEdge is for subtype constraint. It can be treated as directed edge.
- *
- * @author jianchu
- */
+/** SubtypeEdge is for subtype constraint. It can be treated as directed edge. */
 public class SubtypeEdge extends Edge {
 
     protected SubtypeEdge(Vertex from, Vertex to, SubtypeConstraint constraint) {

src/checkers/inference/solver/constraintgraph/Vertex.java

@@ -8,11 +8,7 @@
 import checkers.inference.model.ConstantSlot;
 import checkers.inference.model.Slot;
 
-/**
- * Vertex represents a slot. Two vertices are same if they have same slot id.
- *
- * @author jianchu
- */
+/** Vertex represents a slot. Two vertices are same if they have same slot id. */
 public class Vertex {
 
     private Set<Edge> edges;

src/checkers/inference/solver/frontend/Lattice.java

@@ -15,8 +15,6 @@
  *
  * <p>It is convenient to get all subtypes and supertypes of a specific type qualifier, all type
  * qualifier, and bottom and top qualifiers from an instance of this class.
- *
- * @author jianchu
  */
 public class Lattice {
 

src/checkers/inference/solver/frontend/TwoQualifiersLattice.java

@@ -9,11 +9,7 @@
 
 import javax.lang.model.element.AnnotationMirror;
 
-/**
- * Special Lattice class for two qualifier type system.
- *
- * @author jianchu
- */
+/** Special Lattice class for two qualifier type system. */
 public class TwoQualifiersLattice extends Lattice {
 
     public TwoQualifiersLattice(

src/checkers/inference/util/JaifBuilder.java

@@ -28,8 +28,6 @@
  *
  * <p>JaifBuilder first organizes ASTRecords by class and top level member, and then builds a Jaif
  * string.
- *
- * @author mcarthur
  */
 public class JaifBuilder {
 

src/dataflow/DataflowAnnotatedTypeFactory.java

@@ -49,8 +49,6 @@
  * DataflowAnnotatedTypeFactory is the type factory for Dataflow type system. It defines the subtype
  * relationship of Dataflow type system, annotate the base cases, and implements simplification
  * algorithm.
- *
- * @author jianchu
  */
 public class DataflowAnnotatedTypeFactory extends BaseInferenceRealTypeFactory {
 

src/dataflow/DataflowChecker.java

@@ -14,11 +14,7 @@
 import dataflow.qual.DataFlow;
 import dataflow.qual.DataFlowTop;
 
-/**
- * Checker for Dataflow type system.
- *
- * @author jianchu
- */
+/** Checker for Dataflow type system. */
 public class DataflowChecker extends BaseInferrableChecker {
     public AnnotationMirror DATAFLOW, DATAFLOWTOP;