@Override
public void visit(final AssertStmt n, final A arg) {
visitComment(n.getComment(), arg);
n.getCheck().accept(this, arg);
if (n.getMessage() != null) {
n.getMessage().accept(this, arg);
}
}
@Override
public Boolean visit(final AssertStmt n1, final Node arg) {
final AssertStmt n2 = (AssertStmt) arg;
if (!nodeEquals(n1.getCheck(), n2.getCheck())) {
return Boolean.FALSE;
}
if (!nodeEquals(n1.getMessage(), n2.getMessage())) {
return Boolean.FALSE;
}
return Boolean.TRUE;
}