Method push

basex-core/src/main/java/org/basex/util/list/IntList.java:200–202

Pushes an element onto the stack. @param element element

(final int element)

   * @param element element
   */
  public void push(final int element) {
    add(element);
  }

  /**
   * Searches the specified element via binary search.