*
* @param offset offset to the instruction
* @param length length of the instruction, in bytes
- * @param cst {@code non-null;} the type of the array
- * @param type non-null; the type of the array
- * @param initVals non-null; list of bytecode offsets for init values
++ * @param type {@code non-null;} the type of the array
+ * @param initVals {@code non-null;} list of bytecode offsets for init values
*/
public void visitNewarray(int offset, int length, CstType type,
ArrayList<Constant> initVals);
/**
* Returns whether or not this instance matches the given spec.
- *
- * @param otherSpec non-null; the spec in question
- * @return <code>true</code> iff this instance matches
- * <code>otherSpec</code>
+ *
- * @param spec {@code non-null;} the spec in question
++ * @param otherSpec {@code non-null;} the spec in question
+ * @return {@code true} iff this instance matches
+ * {@code spec}
*/
public boolean matches(RegisterSpec otherSpec) {
return spec.equalsUsingSimpleType(otherSpec);