int function ( AvlNode < AnyType > arg0 ) { return arg0 == null ? - 1 : arg0 . height ; }
return the height of node t , or -1 , if null . concode_field_sep int ALLOWED_IMBALANCE concode_elem_sep AvlNode<AnyType> left concode_elem_sep AvlNode<AnyType> root concode_elem_sep AvlNode<AnyType> right concode_elem_sep AnyType element concode_elem_sep int height concode_field_sep AvlNode<AnyType> doubleWithRightChild concode_elem_sep AvlNode<AnyType> rotateWithRightChild concode_elem_sep boolean isEmpty concode_elem_sep AvlNode<AnyType> rotateWithLeftChild concode_elem_sep void insert concode_elem_sep AvlNode<AnyType> insert concode_elem_sep void main concode_elem_sep void remove concode_elem_sep AvlNode<AnyType> remove concode_elem_sep AnyType findMax concode_elem_sep AvlNode<AnyType> findMax concode_elem_sep void printTree concode_elem_sep void printTree concode_elem_sep boolean contains concode_elem_sep boolean contains concode_elem_sep AvlNode<AnyType> balance concode_elem_sep AvlNode<AnyType> doubleWithLeftChild concode_elem_sep void makeEmpty concode_elem_sep AnyType findMin concode_elem_sep AvlNode<AnyType> findMin concode_elem_sep void checkBalance concode_elem_sep int checkBalance