Method user

basex-core/src/main/java/org/basex/core/Context.java:152–154

Returns the user of this context. @return user (can be null if it has not yet been assigned

()

   * @return user (can be {@code null} if it has not yet been assigned
   */
  public User user() {
    return user;
  }

  /**
   * Sets the user of this context. This method should only be called once.