"<verbatim>" is not a valid HTML tag; perhaps "<pre>" was intended?

com.ibm.wala.core/src/com/ibm/wala/ssa/InstanceOfPiPolicy.java

@@ -19,12 +19,12 @@ import com.ibm.wala.util.collections.Pair;
  * A pi node policy with the following rule:
  * 
  * If we have the following code:
- * <p>
- * <verbatim> S1: c = v1 instanceof T S2: if (c == 0) { ... } </verbatim>
+ *
+ * <pre> S1: c = v1 instanceof T S2: if (c == 0) { ... } </pre>
  * 
  * replace it with:
- * <p>
- * <verbatim> S1: c = v1 instanceof T S2: if (c == 0) { v2 = PI(v1, S1) .... } </verbatim>
+ *
+ * <pre> S1: c = v1 instanceof T S2: if (c == 0) { v2 = PI(v1, S1) .... } </pre>
  * 
  * The same pattern holds if the test is c == 1. This renaming allows SSA-based analysis to reason about the type of v2 depending on
  * the outcome of the branch.

com.ibm.wala.core/src/com/ibm/wala/ssa/NullTestPiPolicy.java

@@ -18,9 +18,9 @@ import com.ibm.wala.util.collections.Pair;
 /**
  * A pi node policy with the following rule:
  * 
- * If we have the following code: <verbatim> S1: if (c op null) { ... } </verbatim>
+ * If we have the following code: <pre> S1: if (c op null) { ... } </pre>
  * 
- * replace it with: <verbatim> S1: if (c op null) { v2 = PI(c, S1) .... } </verbatim>
+ * replace it with: <pre> S1: if (c op null) { v2 = PI(c, S1) .... } </pre>
  * 
  * This renaming allows SSA-based analysis to reason about the nullness of v2 depending on the outcome of the branch.
  */

com.ibm.wala.core/src/com/ibm/wala/ssa/SSAPiInstruction.java

@@ -20,18 +20,18 @@ package com.ibm.wala.ssa;
  * 
  * for example, the following pseudo-code
  * <p>
- * <verbatim>
+ * <pre>
  *     boolean condition = (x instanceof Integer);
  *     if (condition) {
  *        S1;
  *     else {
  *        S2;
  *     }
- * </verbatim>
+ * </pre>
  * 
  * could be translated roughly as follows:
  * 
- * <verbatim>
+ * <pre>
  *     boolean condition = (x instanceof Integer);
  *     LABEL1: if (condition) {
  *        x_1 = pi(x, LABEL1);
@@ -40,7 +40,7 @@ package com.ibm.wala.ssa;
  *        x_2 = pi(x, LABEL2);
  *        S2;
  *     }
- * </verbatim>
+ * </pre>
  */
 public class SSAPiInstruction extends SSAUnaryOpInstruction {
   private final SSAInstruction cause;

com.ibm.wala.core/src/com/ibm/wala/types/generics/TypeArgument.java

@@ -18,12 +18,12 @@ import com.ibm.wala.types.TypeReference;
 /**
  * UNDER CONSTRUCTION
  * 
- * <verbatim> TypeArgument: WildcardIndicator? FieldTypeSignature *
+ * <pre> TypeArgument: WildcardIndicator? FieldTypeSignature *
  * 
  * WildcardIndicator: + -
  * 
  * 
- * </verbatim>
+ * </pre>
  * 
  * @author sjfink
  * 

com.ibm.wala.core/src/com/ibm/wala/types/generics/TypeSignature.java

@@ -19,13 +19,13 @@ import com.ibm.wala.util.debug.Assertions;
 /**
  * UNDER CONSTRUCTION.
  * 
- * <verbatim> TypeSignature: FieldTypeSignature BaseType (code for a primitive)
+ * <pre> TypeSignature: FieldTypeSignature BaseType (code for a primitive)
  * 
  * FieldTypeSignature: ClassTypeSignature ArrayTypeSignature TypeVariableSignature
  * 
  * TypeVariableSignature: T identifier ;
  * 
- * </verbatim>
+ * </pre>
  * 
  * @author sjfink
  *