// This file is automatically generated by DemeterJ.

SubgraphVisitor {
  {{
    private java.util.Stack history = new java.util.Stack();
    public SubgraphVisitor(Object obj) {
      history.push(obj);
    }
  }}

  before -> ClassDict, al, Adjacency_List {{
    if (is_equal) {
      ClassDict obj = (ClassDict) history.peek();
      Object temp1 = obj.get_al();
      if(temp1==null) { is_equal = false; return; }
      history.push(temp1);
    }
  }}
  after -> ClassDict, al, Adjacency_List {{
    if (is_equal) history.pop();
  }}

  before ClassDict {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Adjacency, lhs, ClassName {{
    if (is_equal) {
      Adjacency obj = (Adjacency) history.peek();
      Object temp2 = obj.get_lhs();
      if(temp2==null) { is_equal = false; return; }
      history.push(temp2);
    }
  }}
  after -> Adjacency, lhs, ClassName {{
    if (is_equal) history.pop();
  }}

  before -> Adjacency, body, Body {{
    if (is_equal) {
      Adjacency obj = (Adjacency) history.peek();
      Object temp3 = obj.get_body();
      if(temp3==null) { is_equal = false; return; }
      history.push(temp3);
    }
  }}
  after -> Adjacency, body, Body {{
    if (is_equal) history.pop();
  }}

  before Adjacency {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Body, common, Common {{
    if (is_equal) {
      Body obj = (Body) history.peek();
      Object temp4 = obj.get_common();
      if(temp4==null) { is_equal = false; return; }
      history.push(temp4);
    }
  }}
  after -> Body, common, Common {{
    if (is_equal) history.pop();
  }}

  before -> Body, ptl, PartOrToken_List {{
    if (is_equal) {
      Body obj = (Body) history.peek();
      Object temp5 = obj.get_ptl();
      if(temp5==null) { is_equal = false; return; }
      history.push(temp5);
    }
  }}
  after -> Body, ptl, PartOrToken_List {{
    if (is_equal) history.pop();
  }}

  before Body {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before Construction {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Alternation, classname, ClassName {{
    if (is_equal) {
      Alternation obj = (Alternation) history.peek();
      Object temp6 = obj.get_classname();
      if(temp6==null) { is_equal = false; return; }
      history.push(temp6);
    }
  }}
  after -> Alternation, classname, ClassName {{
    if (is_equal) history.pop();
  }}

  before -> Alternation, classname_bl, ClassName_BL {{
    if (is_equal) {
      Alternation obj = (Alternation) history.peek();
      Object temp7 = obj.get_classname_bl();
      if(temp7==null) { is_equal = false; return; }
      history.push(temp7);
    }
  }}
  after -> Alternation, classname_bl, ClassName_BL {{
    if (is_equal) history.pop();
  }}

  before Alternation {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before PartOrToken {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before SyntaxToken {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    Object temp8 = host.get_string();
    Object temp9 = ((SyntaxToken) obj).get_string();
    if(temp8 == null && temp9 == null) {}
    else if(temp8 == null ||
            temp9 == null ||
            !temp8.equals(temp9)) { is_equal = false; return; }
  }}

  before Part {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Required, labelname, LabelName {{
    if (is_equal) {
      Required obj = (Required) history.peek();
      Object temp10 = obj.get_labelname();
      if(temp10==null) { is_equal = false; return; }
      history.push(temp10);
    }
  }}
  after -> Required, labelname, LabelName {{
    if (is_equal) history.pop();
  }}

  before -> Required, classname, ClassName {{
    if (is_equal) {
      Required obj = (Required) history.peek();
      Object temp11 = obj.get_classname();
      if(temp11==null) { is_equal = false; return; }
      history.push(temp11);
    }
  }}
  after -> Required, classname, ClassName {{
    if (is_equal) history.pop();
  }}

  before Required {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> Optional, required, Required {{
    if (is_equal) {
      Optional obj = (Optional) history.peek();
      Object temp12 = obj.get_required();
      if(temp12==null) { is_equal = false; return; }
      history.push(temp12);
    }
  }}
  after -> Optional, required, Required {{
    if (is_equal) history.pop();
  }}

  before Optional {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before Common {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before ClassName {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    Object temp13 = host.get_n();
    Object temp14 = ((ClassName) obj).get_n();
    if(temp13 == null && temp14 == null) {}
    else if(temp13 == null ||
            temp14 == null ||
            !temp13.equals(temp14)) { is_equal = false; return; }
  }}

  before LabelName {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    Object temp15 = host.get_n();
    Object temp16 = ((LabelName) obj).get_n();
    if(temp15 == null && temp16 == null) {}
    else if(temp15 == null ||
            temp16 == null ||
            !temp15.equals(temp16)) { is_equal = false; return; }
  }}

  before Adjacency_List {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before EAL {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> NAL, first, Adjacency {{
    if (is_equal) {
      NAL obj = (NAL) history.peek();
      Object temp17 = obj.get_first();
      if(temp17==null) { is_equal = false; return; }
      history.push(temp17);
    }
  }}
  after -> NAL, first, Adjacency {{
    if (is_equal) history.pop();
  }}

  before -> NAL, rest, Adjacency_List {{
    if (is_equal) {
      NAL obj = (NAL) history.peek();
      Object temp18 = obj.get_rest();
      if(temp18==null) { is_equal = false; return; }
      history.push(temp18);
    }
  }}
  after -> NAL, rest, Adjacency_List {{
    if (is_equal) history.pop();
  }}

  before NAL {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before PartOrToken_List {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before EPTL {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> NPTL, first, PartOrToken {{
    if (is_equal) {
      NPTL obj = (NPTL) history.peek();
      Object temp19 = obj.get_first();
      if(temp19==null) { is_equal = false; return; }
      history.push(temp19);
    }
  }}
  after -> NPTL, first, PartOrToken {{
    if (is_equal) history.pop();
  }}

  before -> NPTL, rest, PartOrToken_List {{
    if (is_equal) {
      NPTL obj = (NPTL) history.peek();
      Object temp20 = obj.get_rest();
      if(temp20==null) { is_equal = false; return; }
      history.push(temp20);
    }
  }}
  after -> NPTL, rest, PartOrToken_List {{
    if (is_equal) history.pop();
  }}

  before NPTL {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before ClassName_BL {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before ECBL {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before -> NCBL, first, ClassName {{
    if (is_equal) {
      NCBL obj = (NCBL) history.peek();
      Object temp21 = obj.get_first();
      if(temp21==null) { is_equal = false; return; }
      history.push(temp21);
    }
  }}
  after -> NCBL, first, ClassName {{
    if (is_equal) history.pop();
  }}

  before -> NCBL, rest, ClassName_BL {{
    if (is_equal) {
      NCBL obj = (NCBL) history.peek();
      Object temp22 = obj.get_rest();
      if(temp22==null) { is_equal = false; return; }
      history.push(temp22);
    }
  }}
  after -> NCBL, rest, ClassName_BL {{
    if (is_equal) history.pop();
  }}

  before NCBL {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  before Main {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    Object temp23 = host.get_s();
    Object temp24 = ((Main) obj).get_s();
    if(temp23 == null && temp24 == null) {}
    else if(temp23 == null ||
            temp24 == null ||
            !temp23.equals(temp24)) { is_equal = false; return; }
  }}

  before PrintVisitor {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    is_equal = is_equal && host.get_indent() == ((PrintVisitor) obj).get_indent();
    is_equal = is_equal && host.get_needSpace() == ((PrintVisitor) obj).get_needSpace();
  }}

  before CopyVisitor {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    Object temp25 = host.get_copy();
    Object temp26 = ((CopyVisitor) obj).get_copy();
    if(temp25 == null && temp26 == null) {}
    else if(temp25 == null ||
            temp26 == null ||
            !temp25.equals(temp26)) { is_equal = false; return; }
  }}

  before SubgraphVisitor {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    is_equal = is_equal && host.get_is_equal() == ((SubgraphVisitor) obj).get_is_equal();
  }}

  before EqualVisitor {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    is_equal = is_equal && host.get_is_equal() == ((EqualVisitor) obj).get_is_equal();
  }}

  before DisplayVisitor {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    is_equal = is_equal && host.get_indent() == ((DisplayVisitor) obj).get_indent();
  }}

  before TraceVisitor {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
    is_equal = is_equal && host.get_indent() == ((TraceVisitor) obj).get_indent();
  }}

  before UniversalVisitor {{
    Object obj = history.peek();
    is_equal = is_equal && obj.getClass().equals(host.getClass());
    if(!is_equal) return;
  }}

  return boolean {{ is_equal }}
}