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()) {