code: private ArrayList<ClassVertex> getAllSuperclassVertices(ClassVertex vertex) throws ClassNotFoundException {
          ArrayList<ClassVertex> result = new ArrayList<>();
          ClassVertex cur = vertex;
          while (cur != null) {
              if (!cur.isResolved()) {
                  ClassDescriptor.throwClassNotFoundException(cur.getClassDescriptor());
              }
              result.add(cur);
              cur = cur.getDirectSuperclass();
          }
          return result;
      }
docs: Get list of all superclasses of class represented by given class vertex,
  in order, including the class itself (which is trivially its own
  superclass as far as "first common superclass" queries are concerned.)
  
  @param vertex
  a ClassVertex
  @return list of all superclass vertices in order