package org.batfish.z3.expr;

import java.util.Objects;

public class Comment extends Statement {

  private String[] _lines;

  public Comment(String... lines) {
    _lines = lines;
  }

  @Override
  public <T> T accept(GenericStatementVisitor<T> visitor) {
    return visitor.visitComment(this);
  }

  @Override
  public void accept(VoidStatementVisitor visitor) {
    visitor.visitComment(this);
  }

  public String[] getLines() {
    return _lines;
  }

  @Override
  public int hashCode() {
    return Objects.hashCode(_lines);
  }

  @Override
  public boolean statementEquals(Statement e) {
    return Objects.equals(_lines, ((Comment) e)._lines);
  }
}

@@ -40,22 +40,21 @@
 va.util.
-Object
+Array
 s;%0A%0Apubl
@@ -502,22 +502,21 @@
  return 
-Object
+Array
 s.hashCo
@@ -607,14 +607,13 @@
 urn 
-Object
+Array
 s.eq

fix equals/hashCode (#967)