<?php

declare(strict_types=1);

namespace PHPJava\Packages\java\util;

use PHPJava\Exceptions\NotImplementedException;

/**

* The `Enumeration` interface was auto generated.

*/

interface Enumeration

{

/**

* Returns an Iterator that traverses the remaining elements covered by this enumeration.

*

* @param mixed $a

* @throws NotImplementedException

* @return mixed

* @see https://docs.oracle.com/en/java/javase/11/docs/api/java.base/java/util/package-summary.html#asIterator

* @NotImplemented

*/

// public function asIterator($a = null)

/**

* Tests if this enumeration contains more elements.

*

* @param mixed $a

* @throws NotImplementedException

* @return mixed

* @see https://docs.oracle.com/en/java/javase/11/docs/api/java.base/java/util/package-summary.html#hasMoreElements

* @NotImplemented

*/

// public function hasMoreElements($a = null)

/**

* Returns the next element of this enumeration if this enumeration object has at least one more element to provide.

*

* @param mixed $a

* @throws NotImplementedException

* @return mixed

* @see https://docs.oracle.com/en/java/javase/11/docs/api/java.base/java/util/package-summary.html#nextElement

* @NotImplemented

*/

// public function nextElement($a = null)

}