// 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 -> Graph, adjacencies, AdjacencyList {{ if (is_equal) { Graph obj = (Graph) history.peek(); Object temp3 = obj.get_adjacencies(); if(temp3==null) { is_equal = false; return; } history.push(temp3); } }} after -> Graph, adjacencies, AdjacencyList {{ if (is_equal) history.pop(); }} before Graph {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> Adjacency, node, Node {{ if (is_equal) { Adjacency obj = (Adjacency) history.peek(); Object temp4 = obj.get_node(); if(temp4==null) { is_equal = false; return; } history.push(temp4); } }} after -> Adjacency, node, Node {{ if (is_equal) history.pop(); }} before -> Adjacency, neighbors, NodeList {{ if (is_equal) { Adjacency obj = (Adjacency) history.peek(); Object temp5 = obj.get_neighbors(); if(temp5==null) { is_equal = false; return; } history.push(temp5); } }} after -> Adjacency, neighbors, NodeList {{ 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 Node {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; is_equal = is_equal && host.get_v() == ((Node) obj).get_v(); }} before AdjacencyList {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> AdjacencyCons, first, Adjacency {{ if (is_equal) { AdjacencyCons obj = (AdjacencyCons) history.peek(); Object temp6 = obj.get_first(); if(temp6==null) { is_equal = false; return; } history.push(temp6); } }} after -> AdjacencyCons, first, Adjacency {{ if (is_equal) history.pop(); }} before -> AdjacencyCons, rest, AdjacencyList {{ if (is_equal) { AdjacencyCons obj = (AdjacencyCons) history.peek(); Object temp7 = obj.get_rest(); if(temp7==null) { is_equal = false; return; } history.push(temp7); } }} after -> AdjacencyCons, rest, AdjacencyList {{ if (is_equal) history.pop(); }} before AdjacencyCons {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before AdjacencyEmpty {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before NodeList {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before -> NodeCons, first, Node {{ if (is_equal) { NodeCons obj = (NodeCons) history.peek(); Object temp8 = obj.get_first(); if(temp8==null) { is_equal = false; return; } history.push(temp8); } }} after -> NodeCons, first, Node {{ if (is_equal) history.pop(); }} before -> NodeCons, rest, NodeList {{ if (is_equal) { NodeCons obj = (NodeCons) history.peek(); Object temp9 = obj.get_rest(); if(temp9==null) { is_equal = false; return; } history.push(temp9); } }} after -> NodeCons, rest, NodeList {{ if (is_equal) history.pop(); }} before NodeCons {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before NodeEmpty {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; }} before Down {{ Object obj = history.peek(); is_equal = is_equal && obj.getClass().equals(host.getClass()); if(!is_equal) return; is_equal = is_equal && host.get_v() == ((Down) obj).get_v(); }} 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 temp10 = host.get_copy(); Object temp11 = ((CopyVisitor) obj).get_copy(); if(temp10 == null && temp11 == null) {} else if(temp10 == null || temp11 == null || !temp10.equals(temp11)) { 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 }} }