package com.biosimilarity.rlambdaDC.lang.rlambdaDC.Absyn; // Java Package generated by the BNF Converter.

public class PushPrompt extends ContinueExpr {
  public final Expression expression_1, expression_2;

  public PushPrompt(Expression p1, Expression p2) { expression_1 = p1; expression_2 = p2; }

  public <R,A> R accept(com.biosimilarity.rlambdaDC.lang.rlambdaDC.Absyn.ContinueExpr.Visitor<R,A> v, A arg) { return v.visit(this, arg); }

  public boolean equals(Object o) {
    if (this == o) return true;
    if (o instanceof com.biosimilarity.rlambdaDC.lang.rlambdaDC.Absyn.PushPrompt) {
      com.biosimilarity.rlambdaDC.lang.rlambdaDC.Absyn.PushPrompt x = (com.biosimilarity.rlambdaDC.lang.rlambdaDC.Absyn.PushPrompt)o;
      return this.expression_1.equals(x.expression_1) && this.expression_2.equals(x.expression_2);
    }
    return false;
  }

  public int hashCode() {
    return 37*(this.expression_1.hashCode())+this.expression_2.hashCode();
  }


}
