From a888a49fdd663b8903e04b12e7d036a2c0ff09d2 Mon Sep 17 00:00:00 2001 From: Ben Liblit Date: Wed, 12 Jul 2017 16:54:57 -0700 Subject: [PATCH] Fix all Eclipse warnings about unnecessary semicolons I have *not* upgraded this problem to be treated as an error in the future. Unfortunately Eclipse uses a single configuration setting for both unnecessary semicolons and also for empty control-flow statements like `while (p) ;`. I'm not convinced that it's worth rewriting all instances of the latter into `while (p) { }`. So this is just going to stay as a warning for now. --- .../js/html/nu_validator/NuValidatorHtmlParser.java | 2 +- .../wala/cast/js/translator/RhinoToAstTranslator.java | 2 +- .../com/ibm/wala/cast/js/test/FieldBasedCGUtil.java | 2 +- .../js/analysis/typeInference/JSTypeInference.java | 2 -- .../flowgraph/vertices/PrototypeFieldVertex.java | 2 +- .../wala/cast/js/client/JavaScriptAnalysisEngine.java | 2 +- .../com/ibm/wala/cast/js/html/RangeFileMapping.java | 2 +- .../wala/cast/js/ipa/callgraph/JSCallGraphUtil.java | 2 +- .../callgraph/JSSSAPropagationCallGraphBuilder.java | 6 +++--- .../js/ipa/callgraph/PropertyNameContextSelector.java | 2 +- .../wala/cast/js/translator/PropertyReadExpander.java | 2 +- .../cast/analysis/typeInference/AstTypeInference.java | 2 +- .../callgraph/AstSSAPropagationCallGraphBuilder.java | 4 ++-- .../com/ibm/wala/cast/ir/translator/AstTranslator.java | 10 +++++----- .../ibm/wala/cast/ir/translator/TranslatorToCAst.java | 2 +- .../java/com/ibm/wala/cast/loader/AstMethod.java | 2 +- .../java/com/ibm/wala/cast/tree/CAstReference.java | 2 +- .../ibm/wala/cast/tree/rewrite/CAstBasicRewriter.java | 2 +- .../com/ibm/wala/cast/tree/rewrite/CAstRewriter.java | 4 ++-- .../src/reflection/GetMethodContext.java | 6 +++--- .../arraybounds/hypergraph/SoftFinalHyperNode.java | 2 +- .../com/ibm/wala/cfg/exc/intra/NullPointerState.java | 2 +- .../wala/demandpa/alg/DemandRefinementPointsTo.java | 2 +- .../ipa/callgraph/propagation/PointerAnalysisImpl.java | 2 +- .../propagation/PropagationCallGraphBuilder.java | 2 +- .../propagation/TargetMethodContextSelector.java | 1 - .../propagation/cfa/CallStringContextSelector.java | 2 +- .../propagation/rta/DelegatingExplicitCallGraph.java | 2 +- .../src/com/ibm/wala/ipa/cfg/ExceptionPrunedCFG.java | 2 +- com.ibm.wala.core/src/com/ibm/wala/ipa/slicer/PDG.java | 2 +- com.ibm.wala.core/src/com/ibm/wala/ssa/IR.java | 2 +- .../src/com/ibm/wala/util/ssa/SSAValueManager.java | 2 +- .../js/client/EclipseJavaScriptAnalysisEngine.java | 2 +- .../source/com/ibm/wala/ide/util/JsdtUtil.java | 2 +- .../src/com/ibm/wala/ide/util/EclipseProjectPath.java | 4 ++-- .../src/com/ibm/wala/sourcepos/Debug.java | 2 +- .../com/ibm/wala/util/graph/traverse/Topological.java | 2 +- .../ibm/wala/util/intset/SemiSparseMutableIntSet.java | 1 - 38 files changed, 46 insertions(+), 50 deletions(-) diff --git a/com.ibm.wala.cast.js.html.nu_validator/src/com/ibm/wala/cast/js/html/nu_validator/NuValidatorHtmlParser.java b/com.ibm.wala.cast.js.html.nu_validator/src/com/ibm/wala/cast/js/html/nu_validator/NuValidatorHtmlParser.java index 5dd3ba348..1da735eba 100644 --- a/com.ibm.wala.cast.js.html.nu_validator/src/com/ibm/wala/cast/js/html/nu_validator/NuValidatorHtmlParser.java +++ b/com.ibm.wala.cast.js.html.nu_validator/src/com/ibm/wala/cast/js/html/nu_validator/NuValidatorHtmlParser.java @@ -55,7 +55,7 @@ public class NuValidatorHtmlParser implements IHtmlParser { parser.setXmlPolicy(XmlViolationPolicy.ALLOW); parser.setContentHandler(new ContentHandler() { private Locator locator; - private Stack tags = new Stack<>();; + private Stack tags = new Stack<>(); private int countLines(char[] ch, int start, int length) { LineNumberReader r = new LineNumberReader(new StringReader (new String(ch, start, length))); diff --git a/com.ibm.wala.cast.js.rhino/source/com/ibm/wala/cast/js/translator/RhinoToAstTranslator.java b/com.ibm.wala.cast.js.rhino/source/com/ibm/wala/cast/js/translator/RhinoToAstTranslator.java index 715838543..ca02bff35 100644 --- a/com.ibm.wala.cast.js.rhino/source/com/ibm/wala/cast/js/translator/RhinoToAstTranslator.java +++ b/com.ibm.wala.cast.js.rhino/source/com/ibm/wala/cast/js/translator/RhinoToAstTranslator.java @@ -2394,7 +2394,7 @@ private CAstNode[] walkChildren(final Node n, WalkContext context) { public void warning(String arg0, String arg1, int arg2, String arg3, int arg4) { // ignore warnings } - }; + } CAstErrorReporter reporter = new CAstErrorReporter(); CompilerEnvirons compilerEnv = new CompilerEnvirons(); diff --git a/com.ibm.wala.cast.js.test/harness-src/com/ibm/wala/cast/js/test/FieldBasedCGUtil.java b/com.ibm.wala.cast.js.test/harness-src/com/ibm/wala/cast/js/test/FieldBasedCGUtil.java index 2d9d98c45..8cdbc08bf 100644 --- a/com.ibm.wala.cast.js.test/harness-src/com/ibm/wala/cast/js/test/FieldBasedCGUtil.java +++ b/com.ibm.wala.cast.js.test/harness-src/com/ibm/wala/cast/js/test/FieldBasedCGUtil.java @@ -54,7 +54,7 @@ import com.ibm.wala.util.functions.Function; * */ public class FieldBasedCGUtil { - public static enum BuilderType { PESSIMISTIC, OPTIMISTIC, OPTIMISTIC_WORKLIST }; + public static enum BuilderType { PESSIMISTIC, OPTIMISTIC, OPTIMISTIC_WORKLIST } private final JavaScriptTranslatorFactory translatorFactory; diff --git a/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/analysis/typeInference/JSTypeInference.java b/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/analysis/typeInference/JSTypeInference.java index 6fd54b9c7..dc3eecef5 100644 --- a/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/analysis/typeInference/JSTypeInference.java +++ b/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/analysis/typeInference/JSTypeInference.java @@ -81,7 +81,6 @@ public class JSTypeInference extends AstTypeInference { result = new DeclaredTypeOperator(new ConeType(cha.getRootClass())); } } - ; class JSTypeVarFactory extends TypeVarFactory { @@ -104,7 +103,6 @@ public class JSTypeInference extends AstTypeInference { } } } - ; init(ir, new JSTypeVarFactory(), new JSTypeOperatorFactory()); } diff --git a/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/callgraph/fieldbased/flowgraph/vertices/PrototypeFieldVertex.java b/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/callgraph/fieldbased/flowgraph/vertices/PrototypeFieldVertex.java index 1f237828c..a09259b79 100644 --- a/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/callgraph/fieldbased/flowgraph/vertices/PrototypeFieldVertex.java +++ b/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/callgraph/fieldbased/flowgraph/vertices/PrototypeFieldVertex.java @@ -4,7 +4,7 @@ import com.ibm.wala.ipa.callgraph.propagation.PointerKey; public class PrototypeFieldVertex extends Vertex implements PointerKey { - public enum PrototypeField { __proto__, prototype }; + public enum PrototypeField { __proto__, prototype } private final PrototypeField field; private final ObjectVertex type; diff --git a/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/client/JavaScriptAnalysisEngine.java b/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/client/JavaScriptAnalysisEngine.java index 3095a5731..c098f86e1 100644 --- a/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/client/JavaScriptAnalysisEngine.java +++ b/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/client/JavaScriptAnalysisEngine.java @@ -116,7 +116,7 @@ public abstract class JavaScriptAnalysisEngine extends Ab } public static class FieldBasedJavaScriptAnalysisEngine extends JavaScriptAnalysisEngine { - public enum BuilderType { PESSIMISTIC, OPTIMISTIC, REFLECTIVE }; + public enum BuilderType { PESSIMISTIC, OPTIMISTIC, REFLECTIVE } private BuilderType builderType = BuilderType.OPTIMISTIC; diff --git a/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/html/RangeFileMapping.java b/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/html/RangeFileMapping.java index ea1a52330..315028b09 100644 --- a/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/html/RangeFileMapping.java +++ b/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/html/RangeFileMapping.java @@ -125,7 +125,7 @@ public class RangeFileMapping implements FileMapping { public String toString() { return "[include:"+includePosition+"]"+super.toString(); } - }; + } return new Pos(); } else { diff --git a/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/JSCallGraphUtil.java b/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/JSCallGraphUtil.java index b7c2b6fe7..da7d0ff85 100755 --- a/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/JSCallGraphUtil.java +++ b/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/JSCallGraphUtil.java @@ -321,7 +321,7 @@ public class JSCallGraphUtil extends com.ibm.wala.cast.ipa.callgraph.CAstCallGra public URL getURL() { return url; } - }; + } public static Module getPrologueFile(final String name) { return new Bootstrap(name, JSCallGraphUtil.class.getClassLoader().getResourceAsStream(name), JSCallGraphUtil.class.getClassLoader().getResource(name)); diff --git a/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/JSSSAPropagationCallGraphBuilder.java b/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/JSSSAPropagationCallGraphBuilder.java index 2d509b46b..1503a29ba 100755 --- a/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/JSSSAPropagationCallGraphBuilder.java +++ b/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/JSSSAPropagationCallGraphBuilder.java @@ -390,13 +390,13 @@ public class JSSSAPropagationCallGraphBuilder extends AstSSAPropagationCallGraph public void visitPrototypeLookup(PrototypeLookup instruction) { } - }; + } @Override protected ImplicitPointsToSetVisitor makeImplicitPointsToVisitor(LocalPointerKey lpk) { return new JSImplicitPointsToSetVisitor(this, lpk); } - }; + } @Override protected PropagationSystem makeSystem(AnalysisOptions options) { @@ -639,7 +639,7 @@ public class JSSSAPropagationCallGraphBuilder extends AstSSAPropagationCallGraph public String toString() { return "sub-dispatch for " + instruction + ": " + receiverType + ", " + fieldKey; } - }; + } system.newSideEffect(new FieldValueDispatch(), fieldKey); } diff --git a/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/PropertyNameContextSelector.java b/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/PropertyNameContextSelector.java index 8eff8f52c..b9ed63d0c 100755 --- a/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/PropertyNameContextSelector.java +++ b/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/PropertyNameContextSelector.java @@ -153,7 +153,7 @@ public class PropertyNameContextSelector implements ContextSelector { this.base = base; } - private enum Frequency { NEVER, SOMETIMES, ALWAYS }; + private enum Frequency { NEVER, SOMETIMES, ALWAYS } private final HashMap usesFirstArgAsPropertyName_cache = HashMapFactory.make(); /** Determine whether the method never/sometimes/always uses its first argument as a property name. */ diff --git a/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/translator/PropertyReadExpander.java b/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/translator/PropertyReadExpander.java index b7317893f..e066c5c7c 100644 --- a/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/translator/PropertyReadExpander.java +++ b/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/translator/PropertyReadExpander.java @@ -95,7 +95,7 @@ public class PropertyReadExpander extends CAstRewriter, K e */ Self parent(); - }; + } /** * interface to be implemented by contexts used while traversing the AST @@ -83,7 +83,7 @@ public abstract class CAstRewriter, K e */ K key(); - }; + } /** * represents a rewritten CAst diff --git a/com.ibm.wala.core.testdata/src/reflection/GetMethodContext.java b/com.ibm.wala.core.testdata/src/reflection/GetMethodContext.java index a8712494d..432b77961 100644 --- a/com.ibm.wala.core.testdata/src/reflection/GetMethodContext.java +++ b/com.ibm.wala.core.testdata/src/reflection/GetMethodContext.java @@ -28,7 +28,7 @@ public class GetMethodContext { } public void baz() { } - }; + } public static class B extends A { @Override @@ -40,7 +40,7 @@ public class GetMethodContext { @Override public void baz() { } - }; + } public static class C extends B { @Override @@ -49,7 +49,7 @@ public class GetMethodContext { @Override public void bar() { } - }; + } public static void main(String[] args) throws IllegalAccessException, NoSuchMethodException, IllegalArgumentException, InvocationTargetException { Method m; diff --git a/com.ibm.wala.core/src/com/ibm/wala/analysis/arraybounds/hypergraph/SoftFinalHyperNode.java b/com.ibm.wala.core/src/com/ibm/wala/analysis/arraybounds/hypergraph/SoftFinalHyperNode.java index 20c37d7ed..9a4680f73 100644 --- a/com.ibm.wala.core/src/com/ibm/wala/analysis/arraybounds/hypergraph/SoftFinalHyperNode.java +++ b/com.ibm.wala.core/src/com/ibm/wala/analysis/arraybounds/hypergraph/SoftFinalHyperNode.java @@ -23,5 +23,5 @@ public class SoftFinalHyperNode extends HyperNode { if (weight.equals(Weight.NOT_SET) || this.getWeight().equals(Weight.NOT_SET)) { super.setWeight(weight); } - }; + } } diff --git a/com.ibm.wala.core/src/com/ibm/wala/cfg/exc/intra/NullPointerState.java b/com.ibm.wala.core/src/com/ibm/wala/cfg/exc/intra/NullPointerState.java index 041d6ab75..829ed2a21 100644 --- a/com.ibm.wala.core/src/com/ibm/wala/cfg/exc/intra/NullPointerState.java +++ b/com.ibm.wala.core/src/com/ibm/wala/cfg/exc/intra/NullPointerState.java @@ -31,7 +31,7 @@ public class NullPointerState extends AbstractVariable { * Inital state is UNKNOWN. * Lattice: BOTH < { NULL, NOT_NULL } < UNKNOWN */ - public enum State { UNKNOWN, BOTH, NULL, NOT_NULL }; + public enum State { UNKNOWN, BOTH, NULL, NOT_NULL } // maps ssa variable number -> State private final State[] vars; diff --git a/com.ibm.wala.core/src/com/ibm/wala/demandpa/alg/DemandRefinementPointsTo.java b/com.ibm.wala.core/src/com/ibm/wala/demandpa/alg/DemandRefinementPointsTo.java index d33c2257f..98d9ca355 100644 --- a/com.ibm.wala.core/src/com/ibm/wala/demandpa/alg/DemandRefinementPointsTo.java +++ b/com.ibm.wala.core/src/com/ibm/wala/demandpa/alg/DemandRefinementPointsTo.java @@ -229,7 +229,7 @@ public class DemandRefinementPointsTo extends AbstractDemandPointsTo { * The budget specified in the {@link RefinementPolicy} was exceeded on all refinement passes */ BUDGETEXCEEDED - }; + } /** * re-initialize state for a new query diff --git a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/PointerAnalysisImpl.java b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/PointerAnalysisImpl.java index 8fd15f184..e76367e57 100644 --- a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/PointerAnalysisImpl.java +++ b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/PointerAnalysisImpl.java @@ -209,7 +209,7 @@ public class PointerAnalysisImpl extends AbstractPointerAnalysis { public void visitArrayLoad(SSAArrayLoadInstruction instruction) { pointsToSet = analysis.computeImplicitPointsToSetAtALoad(node, instruction); } - }; + } protected ImplicitPointsToSetVisitor makeImplicitPointsToVisitor(LocalPointerKey lpk) { return new ImplicitPointsToSetVisitor(this, lpk); diff --git a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/PropagationCallGraphBuilder.java b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/PropagationCallGraphBuilder.java index 1100d90b5..7d50217c7 100644 --- a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/PropagationCallGraphBuilder.java +++ b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/PropagationCallGraphBuilder.java @@ -1490,6 +1490,6 @@ public abstract class PropagationCallGraphBuilder implements CallGraphBuilder> PrunedCFG make(ControlFlowGraph cfg) { return PrunedCFG.make(cfg, new ExceptionEdgePruner(cfg)); diff --git a/com.ibm.wala.core/src/com/ibm/wala/ipa/slicer/PDG.java b/com.ibm.wala.core/src/com/ibm/wala/ipa/slicer/PDG.java index 47aa6b0ec..737808dad 100644 --- a/com.ibm.wala.core/src/com/ibm/wala/ipa/slicer/PDG.java +++ b/com.ibm.wala.core/src/com/ibm/wala/ipa/slicer/PDG.java @@ -77,7 +77,7 @@ import com.ibm.wala.util.intset.OrdinalSet; public class PDG implements NumberedGraph { /** BEGIN Custom change: control deps */ - public enum Dependency {CONTROL_DEP, DATA_AND_CONTROL_DEP}; + public enum Dependency {CONTROL_DEP, DATA_AND_CONTROL_DEP} private final SlowSparseNumberedLabeledGraph delegate = new SlowSparseNumberedLabeledGraph(Dependency.DATA_AND_CONTROL_DEP); diff --git a/com.ibm.wala.core/src/com/ibm/wala/ssa/IR.java b/com.ibm.wala.core/src/com/ibm/wala/ssa/IR.java index 4e536d6c5..182dee1c2 100644 --- a/com.ibm.wala.core/src/com/ibm/wala/ssa/IR.java +++ b/com.ibm.wala.core/src/com/ibm/wala/ssa/IR.java @@ -747,5 +747,5 @@ public abstract class IR implements IRView { */ public SSAOptions getOptions() { return options; - }; + } } diff --git a/com.ibm.wala.core/src/com/ibm/wala/util/ssa/SSAValueManager.java b/com.ibm.wala.core/src/com/ibm/wala/util/ssa/SSAValueManager.java index 257100335..6b47384c3 100644 --- a/com.ibm.wala.core/src/com/ibm/wala/util/ssa/SSAValueManager.java +++ b/com.ibm.wala.core/src/com/ibm/wala/util/ssa/SSAValueManager.java @@ -416,7 +416,7 @@ public class SSAValueManager { throw new IllegalArgumentException("The argument key may not be null"); } - final SSAValue cand;; + final SSAValue cand; currentScope--; assert(currentScope >= 0 ); cand = getCurrent(key); diff --git a/com.ibm.wala.ide.jsdt/source/com/ibm/wala/cast/js/client/EclipseJavaScriptAnalysisEngine.java b/com.ibm.wala.ide.jsdt/source/com/ibm/wala/cast/js/client/EclipseJavaScriptAnalysisEngine.java index 5f8303386..462267db5 100644 --- a/com.ibm.wala.ide.jsdt/source/com/ibm/wala/cast/js/client/EclipseJavaScriptAnalysisEngine.java +++ b/com.ibm.wala.ide.jsdt/source/com/ibm/wala/cast/js/client/EclipseJavaScriptAnalysisEngine.java @@ -61,7 +61,7 @@ import com.ibm.wala.util.functions.Function; public class EclipseJavaScriptAnalysisEngine extends EclipseProjectSourceAnalysisEngine { - public enum BuilderType { PESSIMISTIC, OPTIMISTIC, REFLECTIVE }; + public enum BuilderType { PESSIMISTIC, OPTIMISTIC, REFLECTIVE } private final BuilderType builderType; diff --git a/com.ibm.wala.ide.jsdt/source/com/ibm/wala/ide/util/JsdtUtil.java b/com.ibm.wala.ide.jsdt/source/com/ibm/wala/ide/util/JsdtUtil.java index 540e1fc8c..c9a3a4e95 100644 --- a/com.ibm.wala.ide.jsdt/source/com/ibm/wala/ide/util/JsdtUtil.java +++ b/com.ibm.wala.ide.jsdt/source/com/ibm/wala/ide/util/JsdtUtil.java @@ -73,7 +73,7 @@ public class JsdtUtil { public static class CGInfo { public final Graph cg = SlowSparseNumberedGraph.make(); public final Set calls = HashSetFactory.make(); - }; + } public static Set getJavaScriptCodeFromProject(String project) throws IOException, CoreException { IJavaScriptProject p = JavaScriptHeadlessUtil.getJavaScriptProjectFromWorkspace(project); diff --git a/com.ibm.wala.ide/src/com/ibm/wala/ide/util/EclipseProjectPath.java b/com.ibm.wala.ide/src/com/ibm/wala/ide/util/EclipseProjectPath.java index 9ff6e54d3..4d949ceb5 100644 --- a/com.ibm.wala.ide/src/com/ibm/wala/ide/util/EclipseProjectPath.java +++ b/com.ibm.wala.ide/src/com/ibm/wala/ide/util/EclipseProjectPath.java @@ -74,7 +74,7 @@ public abstract class EclipseProjectPath { public interface ILoader { ClassLoaderReference ref(); - }; + } /** * Eclipse projects are modeled with 3 loaders, as described above. @@ -93,7 +93,7 @@ public abstract class EclipseProjectPath { public ClassLoaderReference ref() { return ref; } - }; + } public enum AnalysisScopeType { NO_SOURCE, SOURCE_FOR_PROJ, SOURCE_FOR_PROJ_AND_LINKED_PROJS diff --git a/com.ibm.wala.shrike/src/com/ibm/wala/sourcepos/Debug.java b/com.ibm.wala.shrike/src/com/ibm/wala/sourcepos/Debug.java index b8678acd6..39e972993 100644 --- a/com.ibm.wala.shrike/src/com/ibm/wala/sourcepos/Debug.java +++ b/com.ibm.wala.shrike/src/com/ibm/wala/sourcepos/Debug.java @@ -45,7 +45,7 @@ public final class Debug { public boolean isHigherPriority(LogLevel l) { return priority > l.priority; } - }; + } private static PrintStream OUT_STREAM = System.out; diff --git a/com.ibm.wala.util/src/com/ibm/wala/util/graph/traverse/Topological.java b/com.ibm.wala.util/src/com/ibm/wala/util/graph/traverse/Topological.java index 7ffa1c66a..1b63ac024 100644 --- a/com.ibm.wala.util/src/com/ibm/wala/util/graph/traverse/Topological.java +++ b/com.ibm.wala.util/src/com/ibm/wala/util/graph/traverse/Topological.java @@ -52,7 +52,7 @@ public class Topological { finishTime = null; Graph G_T = GraphInverter.invert(graph); return DFS.iterateFinishTime(G_T, rev); - }; + } }; } } diff --git a/com.ibm.wala.util/src/com/ibm/wala/util/intset/SemiSparseMutableIntSet.java b/com.ibm.wala.util/src/com/ibm/wala/util/intset/SemiSparseMutableIntSet.java index 4b6968399..21e28fdd0 100644 --- a/com.ibm.wala.util/src/com/ibm/wala/util/intset/SemiSparseMutableIntSet.java +++ b/com.ibm.wala.util/src/com/ibm/wala/util/intset/SemiSparseMutableIntSet.java @@ -339,7 +339,6 @@ public class SemiSparseMutableIntSet implements MutableIntSet { return next; } } - ; if (sparsePart.isEmpty()) { if (densePart == null || densePart.isZero()) {