// This file is automatically generated by DemeterJ.

UniversalVisitor {
  start {{ }}
  before { 
    Main, -> Main,s,String,
    BSTInt,
    NodeInt, -> NodeInt,data,Integer, -> NodeInt,left,BSTInt, -> NodeInt,right,BSTInt,
    EmptyInt,
    BSTInt1,
    NodeInt1, -> NodeInt1,data,Integer, -> NodeInt1,left,BSTInt2, -> NodeInt1,right,BSTInt2,
    EmptyInt1,
    BSTInt2,
    NodeInt2, -> NodeInt2,data,Integer, -> NodeInt2,left,BSTInt3, -> NodeInt2,right,BSTInt4,
    EmptyInt2,
    BSTInt3,
    NodeInt3, -> NodeInt3,data,Integer, -> NodeInt3,left,BSTInt5, -> NodeInt3,right,BSTInt5,
    EmptyInt3,
    BSTInt4,
    BSTInt5,
    EmptyInt4,
    EmptyInt5,
    DiameterPair, -> DiameterPair,height,int, -> DiameterPair,diameter,int,
    CheckPair, -> CheckPair,res,boolean, -> CheckPair,data,int,
    Down, -> Down,parent,NodeInt,
    DownHeight, -> DownHeight,height,int,
    BST,
    Empty,
    Node
  } {{ }}
  after { 
    Main, -> Main,s,String,
    BSTInt,
    NodeInt, -> NodeInt,data,Integer, -> NodeInt,left,BSTInt, -> NodeInt,right,BSTInt,
    EmptyInt,
    BSTInt1,
    NodeInt1, -> NodeInt1,data,Integer, -> NodeInt1,left,BSTInt2, -> NodeInt1,right,BSTInt2,
    EmptyInt1,
    BSTInt2,
    NodeInt2, -> NodeInt2,data,Integer, -> NodeInt2,left,BSTInt3, -> NodeInt2,right,BSTInt4,
    EmptyInt2,
    BSTInt3,
    NodeInt3, -> NodeInt3,data,Integer, -> NodeInt3,left,BSTInt5, -> NodeInt3,right,BSTInt5,
    EmptyInt3,
    BSTInt4,
    BSTInt5,
    EmptyInt4,
    EmptyInt5,
    DiameterPair, -> DiameterPair,height,int, -> DiameterPair,diameter,int,
    CheckPair, -> CheckPair,res,boolean, -> CheckPair,data,int,
    Down, -> Down,parent,NodeInt,
    DownHeight, -> DownHeight,height,int,
    BST,
    Empty,
    Node
  } {{ }}
  finish {{ }}
}