/*   Generated by AspectJ version 0.7beta7 */
import EqualVisitor;
import Any_vertex;
import UniversalVisitor;
import CopyVisitor;
import Syntax_vertex;
import Labeled_vertex;
import Vertex;
import Adj_list;
import CountingVisitor;
import SubgraphVisitor;
import TraceVisitor;
import Empty;
import Any_vertex_list;
import Neighbors;
import Cd_graph;
import DisplayVisitor;
import Construct;
import Empty_cd_graph;
import PrintVisitor;
import Main;
import Adj;
import Nany_vertex_list;
import Alternat;
public class EqualVisitor extends UniversalVisitor  {       //from EqualVisitor.java:2
  protected boolean is_equal = true;                        //from EqualVisitor.java:3
  public boolean get_is_equal()  {                          //from EqualVisitor.java:4
    return is_equal;                                        //from EqualVisitor.java:4
  }

  public void set_is_equal(boolean new_is_equal)  {         //from EqualVisitor.java:5
    is_equal = new_is_equal;                                //from EqualVisitor.java:5
  }

  public EqualVisitor()  {                                  //from EqualVisitor.java:6
    super();                                                //from EqualVisitor.java:6
    ;                                                       //from EqualVisitor.java:6
  }

  public EqualVisitor(boolean is_equal)  {                  //from EqualVisitor.java:7
    super();                                                //from EqualVisitor.java:8
    ;                                                       //from EqualVisitor.java:8
    set_is_equal(is_equal);                                 //from EqualVisitor.java:9
  }

  private java.util.Stack history = new java.util.Stack();  //from EqualVisitor.java:12
  public EqualVisitor(java.lang.Object obj)  {              //from EqualVisitor.java:13
    history.push(obj);                                      //from EqualVisitor.java:14
  }

  public void before_first(Cd_graph source, Adj dest)  {    //from EqualVisitor.java:17
    if (is_equal)  {                                        //from EqualVisitor.java:18
      Cd_graph obj = (Cd_graph)history.peek();              //from EqualVisitor.java:19
      java.lang.Object temp1 = obj.get_first();             //from EqualVisitor.java:20
      if (temp1 == null)  {                                 //from EqualVisitor.java:21
        is_equal = false;                                   //from EqualVisitor.java:21
        return;                                             //from EqualVisitor.java:21
      }
      history.push(temp1);                                  //from EqualVisitor.java:22
    }
  }

  public void after_first(Cd_graph source, Adj dest)  {     //from EqualVisitor.java:25
    if (is_equal) history.pop();                            //from EqualVisitor.java:26
  }

  public void before_rest(Cd_graph source, Adj_list dest)  {  //from EqualVisitor.java:28
    if (is_equal)  {                                        //from EqualVisitor.java:29
      Cd_graph obj = (Cd_graph)history.peek();              //from EqualVisitor.java:30
      java.lang.Object temp2 = obj.get_rest();              //from EqualVisitor.java:31
      if (temp2 == null)  {                                 //from EqualVisitor.java:32
        is_equal = false;                                   //from EqualVisitor.java:32
        return;                                             //from EqualVisitor.java:32
      }
      history.push(temp2);                                  //from EqualVisitor.java:33
    }
  }

  public void after_rest(Cd_graph source, Adj_list dest)  {  //from EqualVisitor.java:36
    if (is_equal) history.pop();                            //from EqualVisitor.java:37
  }

  public void before(Cd_graph host)  {                      //from EqualVisitor.java:39
    java.lang.Object obj = history.peek();                  //from EqualVisitor.java:40
    is_equal = is_equal && obj.getClass().equals(host.getClass());  //from EqualVisitor.java:41
    if (!is_equal) return;                                  //from EqualVisitor.java:42
  }

  public void before_vertex(Adj source, Vertex dest)  {     //from EqualVisitor.java:44
    if (is_equal)  {                                        //from EqualVisitor.java:45
      Adj obj = (Adj)history.peek();                        //from EqualVisitor.java:46
      java.lang.Object temp3 = obj.get_vertex();            //from EqualVisitor.java:47
      if (temp3 == null)  {                                 //from EqualVisitor.java:48
        is_equal = false;                                   //from EqualVisitor.java:48
        return;                                             //from EqualVisitor.java:48
      }
      history.push(temp3);                                  //from EqualVisitor.java:49
    }
  }

  public void after_vertex(Adj source, Vertex dest)  {      //from EqualVisitor.java:52
    if (is_equal) history.pop();                            //from EqualVisitor.java:53
  }

  public void before_ns(Adj source, Neighbors dest)  {      //from EqualVisitor.java:55
    if (is_equal)  {                                        //from EqualVisitor.java:56
      Adj obj = (Adj)history.peek();                        //from EqualVisitor.java:57
      java.lang.Object temp4 = obj.get_ns();                //from EqualVisitor.java:58
      if (temp4 == null)  {                                 //from EqualVisitor.java:59
        is_equal = false;                                   //from EqualVisitor.java:59
        return;                                             //from EqualVisitor.java:59
      }
      history.push(temp4);                                  //from EqualVisitor.java:60
    }
  }

  public void after_ns(Adj source, Neighbors dest)  {       //from EqualVisitor.java:63
    if (is_equal) history.pop();                            //from EqualVisitor.java:64
  }

  public void before(Adj host)  {                           //from EqualVisitor.java:66
    java.lang.Object obj = history.peek();                  //from EqualVisitor.java:67
    is_equal = is_equal && obj.getClass().equals(host.getClass());  //from EqualVisitor.java:68
    if (!is_equal) return;                                  //from EqualVisitor.java:69
  }

  public void before(Neighbors host)  {                     //from EqualVisitor.java:71
    java.lang.Object obj = history.peek();                  //from EqualVisitor.java:72
    is_equal = is_equal && obj.getClass().equals(host.getClass());  //from EqualVisitor.java:73
    if (!is_equal) return;                                  //from EqualVisitor.java:74
  }

  public void before_c_ns(Construct source, Any_vertex_list dest)  {  //from EqualVisitor.java:76
    if (is_equal)  {                                        //from EqualVisitor.java:77
      Construct obj = (Construct)history.peek();            //from EqualVisitor.java:78
      java.lang.Object temp5 = obj.get_c_ns();              //from EqualVisitor.java:79
      if (temp5 == null)  {                                 //from EqualVisitor.java:80
        is_equal = false;                                   //from EqualVisitor.java:80
        return;                                             //from EqualVisitor.java:80
      }
      history.push(temp5);                                  //from EqualVisitor.java:81
    }
  }

  public void after_c_ns(Construct source, Any_vertex_list dest)  {  //from EqualVisitor.java:84
    if (is_equal) history.pop();                            //from EqualVisitor.java:85
  }

  public void before(Construct host)  {                     //from EqualVisitor.java:87
    java.lang.Object obj = history.peek();                  //from EqualVisitor.java:88
    is_equal = is_equal && obj.getClass().equals(host.getClass());  //from EqualVisitor.java:89
    if (!is_equal) return;                                  //from EqualVisitor.java:90
  }

  public void before_first(Alternat source, Vertex dest)  {  //from EqualVisitor.java:92
    if (is_equal)  {                                        //from EqualVisitor.java:93
      Alternat obj = (Alternat)history.peek();              //from EqualVisitor.java:94
      java.lang.Object temp6 = obj.get_first();             //from EqualVisitor.java:95
      if (temp6 == null)  {                                 //from EqualVisitor.java:96
        is_equal = false;                                   //from EqualVisitor.java:96
        return;                                             //from EqualVisitor.java:96
      }
      history.push(temp6);                                  //from EqualVisitor.java:97
    }
  }

  public void after_first(Alternat source, Vertex dest)  {  //from EqualVisitor.java:100
    if (is_equal) history.pop();                            //from EqualVisitor.java:101
  }

  public void before_second(Alternat source, Vertex dest)  {  //from EqualVisitor.java:103
    if (is_equal)  {                                        //from EqualVisitor.java:104
      Alternat obj = (Alternat)history.peek();              //from EqualVisitor.java:105
      java.lang.Object temp7 = obj.get_second();            //from EqualVisitor.java:106
      if (temp7 == null)  {                                 //from EqualVisitor.java:107
        is_equal = false;                                   //from EqualVisitor.java:107
        return;                                             //from EqualVisitor.java:107
      }
      history.push(temp7);                                  //from EqualVisitor.java:108
    }
  }

  public void after_second(Alternat source, Vertex dest)  {  //from EqualVisitor.java:111
    if (is_equal) history.pop();                            //from EqualVisitor.java:112
  }

  public void before(Alternat host)  {                      //from EqualVisitor.java:114
    java.lang.Object obj = history.peek();                  //from EqualVisitor.java:115
    is_equal = is_equal && obj.getClass().equals(host.getClass());  //from EqualVisitor.java:116
    if (!is_equal) return;                                  //from EqualVisitor.java:117
  }

  public void before(Any_vertex host)  {                    //from EqualVisitor.java:119
    java.lang.Object obj = history.peek();                  //from EqualVisitor.java:120
    is_equal = is_equal && obj.getClass().equals(host.getClass());  //from EqualVisitor.java:121
    if (!is_equal) return;                                  //from EqualVisitor.java:122
  }

  public void before(Syntax_vertex host)  {                 //from EqualVisitor.java:124
    java.lang.Object obj = history.peek();                  //from EqualVisitor.java:125
    is_equal = is_equal && obj.getClass().equals(host.getClass());  //from EqualVisitor.java:126
    if (!is_equal) return;                                  //from EqualVisitor.java:127
    java.lang.Object temp8 = host.get_string();             //from EqualVisitor.java:128
    java.lang.Object temp9 = ((Syntax_vertex)obj).get_string();  //from EqualVisitor.java:129
    if (temp8 == null && temp9 == null)  {                  //from EqualVisitor.java:130
    }                                                       //from EqualVisitor.java:130
    else if (temp8 == null || temp9 == null || !temp8.equals(temp9))  {  //from EqualVisitor.java:133
      is_equal = false;                                     //from EqualVisitor.java:133
      return;                                               //from EqualVisitor.java:133
    }
  }

  public void before_class_name(Labeled_vertex source, Vertex dest)  {  //from EqualVisitor.java:135
    if (is_equal)  {                                        //from EqualVisitor.java:136
      Labeled_vertex obj = (Labeled_vertex)history.peek();  //from EqualVisitor.java:137
      java.lang.Object temp12 = obj.get_class_name();       //from EqualVisitor.java:138
      if (temp12 == null)  {                                //from EqualVisitor.java:139
        is_equal = false;                                   //from EqualVisitor.java:139
        return;                                             //from EqualVisitor.java:139
      }
      history.push(temp12);                                 //from EqualVisitor.java:140
    }
  }

  public void after_class_name(Labeled_vertex source, Vertex dest)  {  //from EqualVisitor.java:143
    if (is_equal) history.pop();                            //from EqualVisitor.java:144
  }

  public void before(Labeled_vertex host)  {                //from EqualVisitor.java:146
    java.lang.Object obj = history.peek();                  //from EqualVisitor.java:147
    is_equal = is_equal && obj.getClass().equals(host.getClass());  //from EqualVisitor.java:148
    if (!is_equal) return;                                  //from EqualVisitor.java:149
    java.lang.Object temp10 = host.get_label_name();        //from EqualVisitor.java:150
    java.lang.Object temp11 = ((Labeled_vertex)obj).get_label_name();  //from EqualVisitor.java:151
    if (temp10 == null && temp11 == null)  {                //from EqualVisitor.java:152
    }                                                       //from EqualVisitor.java:152
    else if (temp10 == null || temp11 == null || !temp10.equals(temp11))  {  //from EqualVisitor.java:155
      is_equal = false;                                     //from EqualVisitor.java:155
      return;                                               //from EqualVisitor.java:155
    }
  }

  public void before(Adj_list host)  {                      //from EqualVisitor.java:157
    java.lang.Object obj = history.peek();                  //from EqualVisitor.java:158
    is_equal = is_equal && obj.getClass().equals(host.getClass());  //from EqualVisitor.java:159
    if (!is_equal) return;                                  //from EqualVisitor.java:160
  }

  public void before(Any_vertex_list host)  {               //from EqualVisitor.java:162
    java.lang.Object obj = history.peek();                  //from EqualVisitor.java:163
    is_equal = is_equal && obj.getClass().equals(host.getClass());  //from EqualVisitor.java:164
    if (!is_equal) return;                                  //from EqualVisitor.java:165
  }

  public void before_first(Nany_vertex_list source, Any_vertex dest)  {  //from EqualVisitor.java:167
    if (is_equal)  {                                        //from EqualVisitor.java:168
      Nany_vertex_list obj = (Nany_vertex_list)history.peek();  //from EqualVisitor.java:169
      java.lang.Object temp13 = obj.get_first();            //from EqualVisitor.java:170
      if (temp13 == null)  {                                //from EqualVisitor.java:171
        is_equal = false;                                   //from EqualVisitor.java:171
        return;                                             //from EqualVisitor.java:171
      }
      history.push(temp13);                                 //from EqualVisitor.java:172
    }
  }

  public void after_first(Nany_vertex_list source, Any_vertex dest)  {  //from EqualVisitor.java:175
    if (is_equal) history.pop();                            //from EqualVisitor.java:176
  }

  public void before_rest(Nany_vertex_list source, Any_vertex_list dest)  {  //from EqualVisitor.java:178
    if (is_equal)  {                                        //from EqualVisitor.java:179
      Nany_vertex_list obj = (Nany_vertex_list)history.peek();  //from EqualVisitor.java:180
      java.lang.Object temp14 = obj.get_rest();             //from EqualVisitor.java:181
      if (temp14 == null)  {                                //from EqualVisitor.java:182
        is_equal = false;                                   //from EqualVisitor.java:182
        return;                                             //from EqualVisitor.java:182
      }
      history.push(temp14);                                 //from EqualVisitor.java:183
    }
  }

  public void after_rest(Nany_vertex_list source, Any_vertex_list dest)  {  //from EqualVisitor.java:186
    if (is_equal) history.pop();                            //from EqualVisitor.java:187
  }

  public void before(Nany_vertex_list host)  {              //from EqualVisitor.java:189
    java.lang.Object obj = history.peek();                  //from EqualVisitor.java:190
    is_equal = is_equal && obj.getClass().equals(host.getClass());  //from EqualVisitor.java:191
    if (!is_equal) return;                                  //from EqualVisitor.java:192
  }

  public void before(Empty host)  {                         //from EqualVisitor.java:194
    java.lang.Object obj = history.peek();                  //from EqualVisitor.java:195
    is_equal = is_equal && obj.getClass().equals(host.getClass());  //from EqualVisitor.java:196
    if (!is_equal) return;                                  //from EqualVisitor.java:197
  }

  public void before(Empty_cd_graph host)  {                //from EqualVisitor.java:199
    java.lang.Object obj = history.peek();                  //from EqualVisitor.java:200
    is_equal = is_equal && obj.getClass().equals(host.getClass());  //from EqualVisitor.java:201
    if (!is_equal) return;                                  //from EqualVisitor.java:202
  }

  public void before(Vertex host)  {                        //from EqualVisitor.java:204
    java.lang.Object obj = history.peek();                  //from EqualVisitor.java:205
    is_equal = is_equal && obj.getClass().equals(host.getClass());  //from EqualVisitor.java:206
    if (!is_equal) return;                                  //from EqualVisitor.java:207
    java.lang.Object temp15 = host.get_name();              //from EqualVisitor.java:208
    java.lang.Object temp16 = ((Vertex)obj).get_name();     //from EqualVisitor.java:209
    if (temp15 == null && temp16 == null)  {                //from EqualVisitor.java:210
    }                                                       //from EqualVisitor.java:210
    else if (temp15 == null || temp16 == null || !temp15.equals(temp16))  {  //from EqualVisitor.java:213
      is_equal = false;                                     //from EqualVisitor.java:213
      return;                                               //from EqualVisitor.java:213
    }
  }

  public void before(CountingVisitor host)  {               //from EqualVisitor.java:215
    java.lang.Object obj = history.peek();                  //from EqualVisitor.java:216
    is_equal = is_equal && obj.getClass().equals(host.getClass());  //from EqualVisitor.java:217
    if (!is_equal) return;                                  //from EqualVisitor.java:218
    is_equal = is_equal && host.get_total() == ((CountingVisitor)obj).get_total();  //from EqualVisitor.java:219
  }

  public void before(Main host)  {                          //from EqualVisitor.java:221
    java.lang.Object obj = history.peek();                  //from EqualVisitor.java:222
    is_equal = is_equal && obj.getClass().equals(host.getClass());  //from EqualVisitor.java:223
    if (!is_equal) return;                                  //from EqualVisitor.java:224
  }

  public void before(PrintVisitor host)  {                  //from EqualVisitor.java:226
    java.lang.Object obj = history.peek();                  //from EqualVisitor.java:227
    is_equal = is_equal && obj.getClass().equals(host.getClass());  //from EqualVisitor.java:228
    if (!is_equal) return;                                  //from EqualVisitor.java:229
    is_equal = is_equal && host.get_indent() == ((PrintVisitor)obj).get_indent();  //from EqualVisitor.java:230
    is_equal = is_equal && host.get_needSpace() == ((PrintVisitor)obj).get_needSpace();  //from EqualVisitor.java:231
  }

  public void before(CopyVisitor host)  {                   //from EqualVisitor.java:233
    java.lang.Object obj = history.peek();                  //from EqualVisitor.java:234
    is_equal = is_equal && obj.getClass().equals(host.getClass());  //from EqualVisitor.java:235
    if (!is_equal) return;                                  //from EqualVisitor.java:236
    java.lang.Object temp17 = host.get_copy();              //from EqualVisitor.java:237
    java.lang.Object temp18 = ((CopyVisitor)obj).get_copy();  //from EqualVisitor.java:238
    if (temp17 == null && temp18 == null)  {                //from EqualVisitor.java:239
    }                                                       //from EqualVisitor.java:239
    else if (temp17 == null || temp18 == null || !temp17.equals(temp18))  {  //from EqualVisitor.java:242
      is_equal = false;                                     //from EqualVisitor.java:242
      return;                                               //from EqualVisitor.java:242
    }
  }

  public void before(SubgraphVisitor host)  {               //from EqualVisitor.java:244
    java.lang.Object obj = history.peek();                  //from EqualVisitor.java:245
    is_equal = is_equal && obj.getClass().equals(host.getClass());  //from EqualVisitor.java:246
    if (!is_equal) return;                                  //from EqualVisitor.java:247
    is_equal = is_equal && host.get_is_equal() == ((SubgraphVisitor)obj).get_is_equal();  //from EqualVisitor.java:248
  }

  public void before(EqualVisitor host)  {                  //from EqualVisitor.java:250
    java.lang.Object obj = history.peek();                  //from EqualVisitor.java:251
    is_equal = is_equal && obj.getClass().equals(host.getClass());  //from EqualVisitor.java:252
    if (!is_equal) return;                                  //from EqualVisitor.java:253
    is_equal = is_equal && host.get_is_equal() == ((EqualVisitor)obj).get_is_equal();  //from EqualVisitor.java:254
  }

  public void before(DisplayVisitor host)  {                //from EqualVisitor.java:256
    java.lang.Object obj = history.peek();                  //from EqualVisitor.java:257
    is_equal = is_equal && obj.getClass().equals(host.getClass());  //from EqualVisitor.java:258
    if (!is_equal) return;                                  //from EqualVisitor.java:259
    is_equal = is_equal && host.get_indent() == ((DisplayVisitor)obj).get_indent();  //from EqualVisitor.java:260
  }

  public void before(TraceVisitor host)  {                  //from EqualVisitor.java:262
    java.lang.Object obj = history.peek();                  //from EqualVisitor.java:263
    is_equal = is_equal && obj.getClass().equals(host.getClass());  //from EqualVisitor.java:264
    if (!is_equal) return;                                  //from EqualVisitor.java:265
    is_equal = is_equal && host.get_indent() == ((TraceVisitor)obj).get_indent();  //from EqualVisitor.java:266
  }

  public void before(UniversalVisitor host)  {              //from EqualVisitor.java:268
    java.lang.Object obj = history.peek();                  //from EqualVisitor.java:269
    is_equal = is_equal && obj.getClass().equals(host.getClass());  //from EqualVisitor.java:270
    if (!is_equal) return;                                  //from EqualVisitor.java:271
  }

  boolean get_return_val()  {                               //from EqualVisitor.java:273
    return is_equal;                                        //from EqualVisitor.java:273
  }

  void universal_trv0_bef(UniversalVisitor _v_)  {          //from EqualVisitor.java:274
    super.universal_trv0_bef(_v_);                          //from EqualVisitor.java:275
  }

  void universal_trv0_aft(UniversalVisitor _v_)  {          //from EqualVisitor.java:278
    super.universal_trv0_aft(_v_);                          //from EqualVisitor.java:279
  }

  void universal_trv0(UniversalVisitor _v_)  {              //from EqualVisitor.java:282
    universal_trv0_bef(_v_);                                //from EqualVisitor.java:283
    super.universal_trv0(_v_);                              //from EqualVisitor.java:284
    universal_trv0_aft(_v_);                                //from EqualVisitor.java:285
  }

}