// 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 Main {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; Object temp1 = host.get_s(); Object temp2 = ((Main) obj).get_s(); if(temp1 == null && temp2 == null) {} else if(temp1 == null || temp2 == null || !temp1.equals(temp2)) { is_equal = false; return; } }} before BSTInt {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> NodeInt, a, N1 {{ if (is_equal) { NodeInt obj = (NodeInt) history.peek(); Object temp3 = obj.get_a(); if(temp3==null) { is_equal = false; return; } history.push(temp3); } }} after -> NodeInt, a, N1 {{ if (is_equal) history.pop(); }} before -> NodeInt, b, N2 {{ if (is_equal) { NodeInt obj = (NodeInt) history.peek(); Object temp4 = obj.get_b(); if(temp4==null) { is_equal = false; return; } history.push(temp4); } }} after -> NodeInt, b, N2 {{ if (is_equal) history.pop(); }} before NodeInt {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; is_equal = is_equal && host.get_data() == ((NodeInt) obj).get_data(); }} before -> N1, t, BSTInt {{ if (is_equal) { N1 obj = (N1) history.peek(); Object temp5 = obj.get_t(); if(temp5==null) { is_equal = false; return; } history.push(temp5); } }} after -> N1, t, BSTInt {{ if (is_equal) history.pop(); }} before N1 {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> N2, t, BSTInt {{ if (is_equal) { N2 obj = (N2) history.peek(); Object temp6 = obj.get_t(); if(temp6==null) { is_equal = false; return; } history.push(temp6); } }} after -> N2, t, BSTInt {{ if (is_equal) history.pop(); }} before N2 {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before EmptyInt {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) 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 temp7 = host.get_copy(); Object temp8 = ((CopyVisitor) obj).get_copy(); if(temp7 == null && temp8 == null) {} else if(temp7 == null || temp8 == null || !temp7.equals(temp8)) { 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 }} }